论文信息 - Agents as Reasoners, Observers or Believers

Agents as Reasoners, Observers or Believers

The work described in this paper aims at the definition of a general framework for the formal specification of agents' beliefs in a multiagent environment. The basic idea is to model both agents' beliefs and the view that each agent has of other agents' beliefs as logical theories. The logical theories and the relations among them characterize a belief system. Belief systems are naturally presented using Multi context systems. We show how some of the modal approaches to the formalization of (non) omniscient belief can be captured within our framework.

[1] Andrew R. Haas,et al. A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[2] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[3] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .

[4] Yorick Wilks,et al. Speech Acts and Multiple Environments , 1979, IJCAI.

[5] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .

[6] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.

[7] Arnon Avron,et al. Simple Consequence Relations , 1988, Inf. Comput..

[8] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[9] Fausto Giunchiglia,et al. Non-Omniscient Belief as Context-Based Resoning , 1993, IJCAI.

[10] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[11] R. A. Bull,et al. Basic Modal Logic , 1984 .

[12] AMY L. LANSKY,et al. Localized event‐based reasoning for multiagent domain 1 , 1988, Comput. Intell..

[13] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[14] Lewis G. Creary,et al. Propositional Attitudes: Fregean Representation and Simulative Reasoning , 1979, IJCAI.