Ideal and Real Belief about Belief

Giunchiglia, Enrico and Giunchiglia, Fausto (1996) Ideal and Real Belief about Belief. UNSPECIFIED.

Download (737Kb) | Preview


    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 based on a set-theoretic specification of beliefs and, then, on the definition of the appropriate constructors which present the sets identified. This allows us to provide a uniform and taxonomic characterization of the possible ways in which ideal and real beliefs can arise. We provide intuitions about the conceptual importance of the cases analyzed by proving and discussing some equivalence results with some important modal systems modeling various forms of (non) logical omniscience.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Additional Information: Appeared on Journal of Logic and Computation, Vol. 11, No 1. pp. 157-192, 2001.
    Report Number: DIT-02-072
    Repository staff approval on: 30 Sep 2002

    Actions (login required)

    View Item