Abstract
Beliefs-Desires-Intentions models (or BDI models) of agents have been around for quit a long time. The purpose of these models is to characterize agents using anthropomorphic notions, such as mental states and actions. However, despite the fact that many systems have been developed based on these models, it is a general concern that there is a gap between those powerful BDI logics and practical systems. The purpose of this paper is to present a BDI model that, besides being a formal model of agents, is also suitable to be used to implement agents. Instead of defining a new BDI logic or choosing an existing one, and extending it with an operational model, we define the notions of belief, desires and intentions using a logic formalismthat is both well-defined and computational.
Supported by project DIXIT/JNICT.
Supported by CNPq/Brazil.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.J. Alferes and L.M. Pereira. Reasoning with Logic Programming. Springer-Verlag, Berlin DE., 1996. Lecture Notes in Artificial Intelligence Series (LNAI 1111).
J.J. Alferes, L.M. Pereira, and T. Przymusinski. Belief revision in non-monotonic reasoning and logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA’93), Berlin, Germany, 1995. APIA, Springer-Verlag. Lecture Notes on Artificial Intelligence (LNAI 990).
L. Beaudoin. Goal Processing in Autonomous Agents. PhD thesis, Birmingham University, Birmingham,UK, August 1994.
J. Bell. A planning theory of practical reasoning. In Proceedings of the AAAI’95 Fall Symposium on Rational Agents Concepts. AAAI, 1995.
J. Bell and Z. Huang. Dynamic goal hierarchies. In Proceedings of the Second Workshop on Practical Reasoning and Rationality, London, England, 1997. AISB Workshop Series.
L.M. Botelho and H. Coelho. Agents that rationalize their decisions. In Proceedings of the II International Conference on Multi-Agent Systems, Kyoto, Japan, 1996. AAAI Org.
M. Bratman. Planning and the stability of intentions. Minds and Machines, 2:1–16, 1992.
M. Bratman, D.J. Israel, and M.E Pollack. Plans and resource bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.
M.E. Bratman. What is intention? In P.R. Cohen, J.L. Morgan,and M. Pollack, editors, Intentions in Communication, chapter 1. The MIT Press, Cambridge, MA, 1990.
P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
M. Corrêa and H. Coelho. Around the architectural approach to model conversations. In Proceedings of the Fifth European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW’93), 1993.
M. Corrêa and H. Coelho. A framework for mental states and agent architectures. In Proceedings of the MASTAS Workshop at EPIA’97, 1997.
M. Corrêa and S. Mendes. A computational approach to situation theory based on logic programming to design cognitive agents. In Advances in Artificial Intelligence: Proceedings of the 12th Brazilian Symposium on Artificial Intelligence. Springer-Verlag, 1995. (Lecture Notes on Artificial Intelligence 991).
C. Damásio, W. Nejdl, and L.M. Pereira. Revise: An extended logic programming system for revising knowledge bases. In Knowledge Representation and Reasoning. Morgan Kaufmann inc., 1994.
K. Devlin. Logic and Information. Cambridge University Press, 1991.
M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the National Conference of Artificial Intelligence (AAAI’91). AAAI inc., 1991.
A. Haddadi. Communication and Cooperation in Agent Systems: a Pragmatic Theory. Springer-Verlag, Berlin, DE., 1996. Lecture Notes in Artificial Intelligence Series (LNAI) 1056.
K. Konolige and M. Pollack. A representationalist theory of intentions. In Proceedings of the XII International Joint Conference on Artificial Intelligence (IJCAI’93), Chambéry, France, 1993. IJCAI inc.
R. Li and L.M. Pereira. Knowledge assimilation in domains of actions: A possible causes approach. Journal of Applied Non-Classical Logic, 1996. Special issue on Inconsistency Handling in Knowledge Systems.
M.C. Móra, J.G. Lopes, H. Coelho, and R. Viccari. Affecting the stability of intentions. In E. Costa, editor, 8th Portuguese Conference on Artificial Intelligence. Springer-Verlag, 1997.
M.C. Móra, J.G. Lopes, H. Coelho, and R. Viccari. Modelling agents with extended logic programa. In International Workshop on Engineering of Intelligent Systems. ICSC co., 1998.
N. Moussale, R.M. Viccari, and M. Corr≸. Tutor-student interaction modelling in an agent architecture based on mental states. In D. Borges and C. Kaestner, editors, Advances in Artificial Intelligence: Proceedings of the Thirteenth Brasilian Symposium on Artificial Intelligence, Berlin, Germany, 1996. SBC, Springer-Verlag. Lecture Notes in Artificial Intelligence (LNAI 1159).
H. Nakashima, I. Ohsawa, and Y. Kinoshita. Inference with mental situation. Technical report, Umezono, Tsukuba, Ibaraki,Japan, 1981. (TR-91-7).
J. Quaresma and J.G. Lopes. A logic programming framework for the abduction of events in a dialogue system. In Proceedings of the Workshop on Automated Reasoning, London, England, 1997. AISB Workshop Series.
A.. Rao. Agentspeak(1): BDI agents speak out in a logical computable language. In Proceedings of the European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds 1996 (MAAMAW’96), Berlin, Germany, 1996. Springer-Verlag.
A.S. Rao andM.P. Georgeff. Modelling rational agents within a BDI-architecture. In R. Fikes and E Sandewall, editors, Proceedings of the Knowledge Representation and Reasoning’91 (KR&R’91), San Mateo,CA., 1991. Morgan Kauffman Publishers.
K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
M. Schroeder, Iara de Almeida Móra, and Luís Moniz Pereira. A deliberative and reactive diagnosis agent based on logic programming. 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), volume 1193 of Lecture Notes in Artificial Intelligence, pages 293–308. Springer-Verlag, Heidelberg, 1997.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.
M. Singh. Multiagent systems: a theoretical framework for intentions, know-how, and communications. Springer-Verlag, Heidelberg,Germany, 1994. Lecture Notes in Artificial Intelligence (LNAI 799).
B. van Linder, W. van der Hoek, and J. J. Ch. Meyer. Formalizing motivational attitudes of agents: On preferences, goals, and commitments. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II — Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL-95), volume 1037 of Lecture Notes in Artificial Intelligence, pages 17–32. Springer-Verlag, Heidelberg, 1996.
G. Wagner. A logical and operational model of scalable knowledge and perception-based agents. In Proceedings of the European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds 1996 (MAAMAW’96), Berlin, Germany, 1996. Springer-Verlag.
M. J. Wooldridge and S. D. Parsons. Intention reconsideration reconsidered. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mora, M.C., Lopes, J.G., Viccariz, R.M., Coelho, H. (1999). BDI Models and Systems: Reducing the Gap. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_2
Download citation
DOI: https://doi.org/10.1007/3-540-49057-4_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65713-2
Online ISBN: 978-3-540-49057-9
eBook Packages: Springer Book Archive