Izvorni znanstveni članak
On the Semantics of Revision and Model-Fitting in Weighted Case
Andras Benczur
; Department of General Computer Science, Faculty of Science, Ečtvčs Lorand University, Budapest, Hungary
Agnes B. Novak
; Department of Information Technology, Banki Donat Polytechnic, Budapest, Hungary
Peter Z. Revesz
; Department of Computer Science and Engineering, University of Nebraska-Lincoln, USA
Sažetak
Revision and update operators add new information to same old information represented by a logical theory. Katzuno and Mendelzon show that both revision and update operators can be characterized as accomplishing a minimal change in the old information to accommodate the new one. In this paper we generalize the result of the revision by considering weighted knowledgebases, where weights indicate the relative importance of the information. Furthermore we give a modified version of weighted model-fitting based on the model-fitting introduced by Revesz. Categories and subject descriptors: F. 4.1 [Mathematical Logic]: Model Theory
Ključne riječi
weighted knowledgebases; revision; model-fitting; finite models; minimal model change
Hrčak ID:
78993
URI
Datum izdavanja:
14.6.1996.
Posjeta: 612 *