Abstract
The formalization of agents attitudes, and belief in particular, has been investigated in the past by the authors of this paper, along two different but related streams. Giunchiglia and Giunchiglia investigate the properties of contexts for the formal specification of agents mutual beliefs, combining extensional specification with (finite) presentation by means of contexts. Cimatti and Serafini address the representational and implementational implications of the use of contexts for representing prepositional attitudes by tackling a paradigmatic case study. The goal of this paper is to show how these two streams are actually complementary, i.e. how the methodology proposed in the former can be successfully applied to formally specify the case study discussed in the latter. In order to achieve this goal, the formal framework is extended to take into account some relevant aspects of the case study, the specification of which is then worked out in detail.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
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, 1996. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
P.R. Cohen and H.J. Levesque. Intention Is Choice with Commitment. Artificial Intelligence, 42:213–261,1990.
R. Fagin and J.Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39–76, 1988.
F. Giunchiglia. Multilanguage systems. In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. Also IRST-Technical Report 9011-17, IRST, Trento, Italy.
F. Giunchiglia and E. Giunchiglia. Ideal and Real Belief about Belief: Some intuitions. In Agents Breaking Away, Proc. MAAMAW'96, number 1038 in Lecture Notes in Artificial Intelligence, pages 1–12. Springer Verlag, 1996.
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.
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.
K. Konolige. A deduction model of belief. Pitman, London, 1986.
K. Konolige. Explanatory Belief Ascription: notes and premature formalization. In Proc of the third Conference on Theoretical Aspects of Reasoning about Knowledge, pages 85–96, 1990.
A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319–339, 1988.
A. Lomuscio and M. Colombetti. QLB: a quantified logic for belief. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 254–260, 1996.
J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense — Papers by John McCarthy, pages 158–166. Ablex Publishing Corporation, 1990.
J. McCarthy. Notes on Formalizing Context. Unpublished, 1991.
P. Noriega and C. Sierra. Towards layered dialogical agents. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III —Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
A. S. Rao and M. Georgeff. BDI-Agents, from Theory to Practice. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 312–319, 1996.
A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principle of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1991.
M. J. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benerecetti, M., Cimatti, A., Giunchiglia, E., Giunchiglia, F., Serafini, L. (1997). Formal specification of beliefs in multi-agent systems. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013581
Download citation
DOI: https://doi.org/10.1007/BFb0013581
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62507-0
Online ISBN: 978-3-540-68057-4
eBook Packages: Springer Book Archive