Arbitration: A Commutative Operator for Belief Revision

Paolo Liberatore and Marco Schaerf

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI'95)

The ability of Database Systems to cope with changing situations and information coming from different sources is crucial for their applicability in real-world scenarios. Recent work in the field of belief revision and update has provided us tecniques to handle change. In this paper we introduce a different form of revision aiming at capturing the process of ''merging'' possibly inconsistent pieces of information. We call this process arbitration. Along the lines of Gardenfors' work, we propose a set of postulates for this operator and prove a representation theorem.


 @inproceedings{libe-scha-95-b,
 title = {Arbitration: A Commutative Operator for Belief
 Revision},
 year = {1995},
 author = {Liberatore, Paolo and Schaerf, Marco},
 booktitle = {Proceedings of the Second World Conference on the
 Fundamentals of Artificial Intelligence (WOCFAI'95)},
 pages = {217--228},
 publisher = {Angkor Press},
 }
 
HTTP download.
FTP download.