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
Link To Document