Ideal and Real Belief about Belief

摘要

The goal of this paper is to provide a formalization of monotonic belief and belief about belief in a multiagent environment. We distinguish between ideal beliefs, i. e those beliefs which satisfy certain 'idealized' properties which are unlikely to be possessed by real agents, and real beliefs. Our formalization is base don a set-theoretic specification of beliefs and, then, on the definition of the appropriate constructors which intentionally present the sets identified.