Formalizing belief reports — The approach and a case study

  • Massimo Benerecetti
  • Paolo Bouquet
  • Chiara Ghidini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1480)


One of the most interesting puzzles in formalizing belief contexts is the fact that many belief reports can be given both an opaque and a transparent readings. A traditional explanation is that the two readings are related to the failure and success of the principle of substitutivity respectively, and this in turn is explained with the de re/de dicto distinction. We propose an alternative analysis, based on the idea that another agent's beliefs can just be quoted (preserving opacity) or translated into the reporter's language (allowing for transparency). We show that MultiContext systems allow for the formalization of these two phenomena at the same time, thanks to their multi-language feature.


Definite Description Compatibility Relation Local Football Team Belief Report Complete Observer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Bonomi. Eventi mentali. Il Saggiatore, 1983.Google Scholar
  2. 2.
    A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71–85. Springer Verlag, 1995. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.Google Scholar
  3. 3.
    G. Frege. über Sinn und Bedeutung. Zeitschrift fur Philosophie und Philosophische Kritik, 100:25–50, 1892. English translation in [12].Google Scholar
  4. 4.
    C. Ghidini and L. Serafini. Distributed First Order Logics. Technical Report 9804-02, IRST, May 1998. Accepted for presentation at the First International Workshop on Labelled Deduction (LD'98). Freiburg, Germany. September 7–9, 1998.Google Scholar
  5. 5.
    E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, number 1085 in Lecture Notes in Artificial Intelligence, pages 261–275. Springer Verlag, 1996.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    F. Giunchiglia and C. Ghidini. A Local Models Semantics for Propositional Attitudes. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 363–372, Rio de Jeneiro, Brazil, 1997. Also IRST-Technical Report 9607-12, IRST, Trento, Italy.Google Scholar
  8. 8.
    F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 282–289, Trento, 1998. Morgan Kaufmann. Short version presented at the AAAI Fall 1997 symposium on context in KR and NL. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.Google Scholar
  9. 9.
    F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.zbMATHMathSciNetCrossRefGoogle Scholar
  10. 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 IRSTTechnical Report 9206-03, IRST, Trento, Italy.Google Scholar
  11. 11.
    J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.Google Scholar
  12. 12.
    A. P. Martinich. The philosophy of language. Oxford University Press, 1985.Google Scholar
  13. 13.
    D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.Google Scholar
  14. 14.
    B. Russell. On denoting. Mind, XIV, 1905.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Massimo Benerecetti
    • 1
    • 2
  • Paolo Bouquet
    • 2
    • 3
  • Chiara Ghidini
    • 2
  1. 1.DISAUniversity of TrentoTrentoItaly
  2. 2.DISTUniversity of GenovaGenovaItaly
  3. 3.Department of PhilosophyUniversity of GenovaGenovaItaly

Personalised recommendations