• Title of article

    Classical and weighted knowledgebase transformations

  • Author/Authors

    ras A. Benczur ، نويسنده , , a. B. Novak، نويسنده , , P. Z. Revesz، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 1996
  • Pages
    14
  • From page
    85
  • To page
    98
  • Abstract
    In this paper, there is a review of some knowledgebase change operators, namely the revision, update, (symmetrical) model-fitting well known in the propositional case and some new problems concerning them. There is an extended set of axioms to avoid a certain problem in connection with revision. Based on the propositional case, we give some generalization of revision for first-order case. Furthermore we define an extension of the propositional knowledgebase to weighted knowledgebase. Finally we deal with the weighted knowledgebase transformations.
  • Keywords
    Modelfitting , Mathematical logic , Knowledgebases , Minimal model changes , Revision
  • Journal title
    Computers and Mathematics with Applications
  • Serial Year
    1996
  • Journal title
    Computers and Mathematics with Applications
  • Record number

    917896