Original scientific paper

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

Abstract

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

Keywords

weighted knowledgebases; revision; model-fitting; finite models; minimal model change

Hrčak ID:

78993

URI

https://hrcak.srce.hr/78993

Publication date:

14.6.1996.

Visits: 893 *