Ideal and real belief about belief: Some intuitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1038, Issue , 1996, Pages 1-12

  Giunchiglia, Fausto ^a,b   Giunchiglia, Enrico ^c  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SEMANTICS;

DISTRIBUTED ENVIRONMENTS; INFERENCE RULES; LOGICAL CONSEQUENCES; LOGICAL OMNISCIENCE; MULTI-CONTEXT SYSTEMS; POSSIBLE WORLD SEMANTICS;

AUTONOMOUS AGENTS;

EID: 79959594621     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031842     Document Type: Conference Paper

References (17)

1. J.Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief: preliminary draft. In Proc. of the 9th International Joint Conference on Artificial Intelligence, pages 480-490, Los Angeles, CA, 1985. Morgan Kaufmann Publ. Inc.
2. R. Fagin and J.Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39-76, 1988.
3. R. Fagin, J.Y Halperrn, Y. Moses, and M. Y. Vardi. Reasoning about knowledge, Stanford Bookstore, 1992.
4. K. Konolige. A deduction model of belief. Pitnam, London, 1986.
5. J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.
6. A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319-339, 1988.
7. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.
8. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345-364, 1993. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39-49. Also IRSTTechnical Report 9211-20, IRST, Trento, Italy.
9. H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198-202, 1984.
10. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548-554, Chambery, France, 1993. Also IRST-Technical Report 9206-03, IRST, Trento, Italy
11. E. Giunchiglia, F. Giunchiglia, and L. Serafini. Agents as Resasoners, Observers or Believers. In AI*IA 95, 4rd Congress of the Italian Association for Artificial Intelligence, number 992 in LNAI, pages 414-425, Firenze, October 1995. Springer Verlag.
12. Y. Wilks and J. Biem. Speech acts and multiple environments. In Proc. of the 6th International Joint Conference on Artificial Intelligence, 1979.
13. F. Giunchiglia and R.W. Weyhrauch. A multi-context monotonic axiomatization of inessential non-monotonicity. In D. Nardi and P. Maes, editors, Meta-level architectures and Reflection, pages 271-285. North Holland, 1988. Also DIST Technical Report 9105-02, DIST, University of Genova, Italy.
14. J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 555-560, Chambery, France, 1993.
15. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS- 95), pages 57-64, 1995. Also IRST-Teehnical Report 9412-09, IRST, Trento, Italy. To be presented at Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
16. F. Giunchiglia. The GETFOL Manual - GETFOL version 1. Technical Report 92-0010, DIST- University of Genova, Genoa, Italy, 1992.
17. R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133-176, 1980.