Beliefs, belief revision, and splitting languages
Logic, language and computation, vol. 2
Boosting complete techniques thanks to local search methods
Annals of Mathematics and Artificial Intelligence
Relevance sensitive belief structures
Annals of Mathematics and Artificial Intelligence
An Inconsistency Tolerant Model for Belief Representation and Belief Revision
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Hi-index | 0.00 |
In this paper, we provide system of spheres semantics for the containment property. First, we extend Parikh's relevance-sensitive model for belief revision by generalizing the idea of a containment property of an inconsistency which is defined in a spatial context and defining a new model for belief representation and local Belief revision. Second, we identify two possible versions of the containment property, namely the strong and the weak versions. Finally, having Grove's system of spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that these constraints characterize precisely the containment property in the case of consistent complete theories. The containment property limits the effects of quality which means that an inconsistency cannot have an infinite influence on other information, but in an “area of local effect” which depends on the nature of data. For example, in meteorology, the effect is limited to a continental scale. It also depends on the structure or topology of information and the constraints defined on this structure.