DMCA
On the Semantics of Theory Change: Arbitration between Old and New Information (1993)
| Venue: | In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases |
| Citations: | 63 - 0 self |
BibTeX
@INPROCEEDINGS{Revesz93onthe,
author = {Peter Z. Revesz},
title = {On the Semantics of Theory Change: Arbitration between Old and New Information},
booktitle = {In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases},
year = {1993},
pages = {71--82}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: Katsuno and Mendelzon divide theory change, the problem of adding new information to a logical theory, into two types: revision and update. We propose a third type of theory change: arbitration. The key idea is the following: the new information is considered neither better nor worse than the old information represented by the logical theory. The new information is simply one voice against a set of others already incorporated into the logical theory. From this follows that arbitration should be commutative. First we define arbitration by a set of postulates and then describe a model-theoretic characterization of arbitration for the case of propositional logical theories. We also study weighted arbitration where different models of a theory can have different weights. 1 Introduction The problem of updating logical theories is a common fundamental concern to databases, to Artificial Intelligence [McC68, Rei92], and to belief revision [Mak85, Gar88]. It is well-known that giving semant...
