The BOID architecture: conflicts between beliefs, obligations, intentions and desires

ABSTRACT

In this paper we introduce the so-called Beliefs-Obligations-Intentions-Desires or BOID architecture. It contains feedback loops to consider all effects of actions before committing to them, and mechanisms to resolve conflicts between the outputs of its four components. Agent types such as realistic or social agents correspond to specific types of conflict resolution embedded in the BOID archecture.

REFERENCES

• 1: C. Alchourron, P. Gardenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
• 2: John Bell , Zhisheng Huang, Dynamic Goal Hierarchies, Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues, p.88-103, August 26-30, 1996
• 3: C. Boutilier. Toward a logic for qualitative decision theory. InProceedings of the KR'94, pages 75-86, 1994.
• 4: M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Cambridge Mass, 1987.
• 5: J. Broersen, M. Dastani, and L. van der Torre. Wishful thinking. In Proceedings of DGNMR'01, 2001.
• 6: Cristiano Castelfranchi , Frank Dignum , Catholijn M. Jonker , Jan Treur, Deliberative Normative Agents: Principles and Architecture, 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),, p.364-378, July 15-17, 1999
• 7: Philip R. Cohen , Hector J. Levesque, Intention is choice with commitment, Artificial Intelligence, v.42 n.2-3, p.213-261, March 1990 [doi>10.1016/0004-3702(90)90055-5]
• 8: M. Dastani, Z. Huang, and L. van der Torre. Dynamic desires. In Proceedings of ICMAS2000 Workshop on game-theoretic and decision-theoretic approaches to agency (GTDT'00), 2000.
• 9: M. Dastani, J. Hulstijn, and L. van der Torre. BDI and QDT: a comparison based on classical decision theory. InProceedings of AAAI Spring Symposium GTDT'01, 2000.
• 10: F. Dignum. Autonomous agents and norms. Artificial Intelligence andLaw, 7:69-79, 1999.
• 11: Towards Socially Sophisticated BDI Agents, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.111, July 10-12, 2000
• 12: Thomas Eiter , V. S. Subrahmanian , George Pick, Heterogeneous active agents, I: semantics, Artificial Intelligence, v.108 n.1-2, p.179-255, March 1999 [doi>10.1016/S0004-3702(99)00005-3]
• 13: C. L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Inteligence, 19:17-37, 1982.
• 14: Andrew J. I. Jones , Marek Sergot, On the characterization of law and computer systems: the normative systems perspective, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, UK, 1994
• 15: J. Pearl. From conditional oughts to qualitative decision theory. InProceedings of the UAI'93, pages 12-20, 1993.
• 16: A. Rao and M. Georgeff. Modeling rational agents within a BDI architecture. In Proceedings of the KR91, 1991.
• 17: A. Rao and M. Georgeff. An abstract architecture for rational agents. In Proceedings of the KR92, 1992.
• 18: A. Rao and M. Georgeff. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), 1995.
• 19: R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
• 20: R Reiter, A theory of diagnosis from first principles, Artificial Intelligence, v.32 n.1, p.57-95, April 1987 [doi>10.1016/0004-3702(87)90062-2]
• 21: R. Thomason. Desires and defaults. In Proceedings of the KR'2000. Morgan Kaufmann, 2000.
• 22: Leendert van der Torre , Yao-Hua Tan, Contrary-to-duty reasoning with preference-based dyadic obligations, Annals of Mathematics and Artificial Intelligence, v.27 n.1-4, p.49-78, 1999 [doi>10.1023/A:1018975332469]
• 23: L. van der Torre and Y. Tan. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 7:51-67, 1999.
• 24: G. von Wright. Practical Reason. Basil Blackwell, Oxford, 1983.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.2 Types of Systems
          Subjects: Decision support (e.g., MIS)

General Terms:
Design, Management, Performance, Theory