The goal of this paper is to provide a taxonomic characterization of the possible forms of belief about belief. Our analysis is performed in two steps. First, we give a set-theoretic specification of beliefs about beliefs, i.e. we characterize them as particular sets satisfying certain closure conditions. Second, we define a set of constructors which generate all and only the objects belonging to these sets. The constructors defined turn out to be inference rules inside a multicontext system. We provide some intuitions about the expressive power and conceptual importance of the multicontext systems defined by proving and discussing some equivalence results with some important modal systems
Ideal and Real Belief about Belief
Giunchiglia, Fausto
2000-01-01
Abstract
The goal of this paper is to provide a taxonomic characterization of the possible forms of belief about belief. Our analysis is performed in two steps. First, we give a set-theoretic specification of beliefs about beliefs, i.e. we characterize them as particular sets satisfying certain closure conditions. Second, we define a set of constructors which generate all and only the objects belonging to these sets. The constructors defined turn out to be inference rules inside a multicontext system. We provide some intuitions about the expressive power and conceptual importance of the multicontext systems defined by proving and discussing some equivalence results with some important modal systemsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
