Title of article :
Classical and weighted knowledgebase transformations
Author/Authors :
ras A. Benczur ، نويسنده , , a. B. Novak، نويسنده , , P. Z. Revesz، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
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
Journal title :
Computers and Mathematics with Applications