As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
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.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.