Agent programming in dribble: from beliefs to goals using plans

ABSTRACT

To support the practical development of intelligent agents, several programming languages have been introduced that incorporate concepts from agent logics: on the one hand, we have languages that incorporate beliefs and plans (i.e., procedural goals), and on the other hand, languages that implement the concepts of beliefs and (declarative) goals. We propose the agent programming language Dribble, in which these features of procedural and declarative goals are combined. The language Dribble thus incorporates beliefs and goals as well as planning features. The idea is, that a Dribble agent should be able to select a plan to reach a goal from where it is at a certain point in time. In order to do that, the agent has beliefs, goals and rules to select plans and to create and modify plans. Dribble comes with a formally defined operational semantics and, on top of this semantics, a dynamic logic is constructed that can be used to specify and verify properties of Dribble agents. The correspondence between the logic and the operational semantics is established.

REFERENCES

• 1: Mehdi Dastani , Frank de Boer , Frank Dignum , John-Jules Meyer, Programming agent deliberation: an approach illustrated using the 3APL language, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia [doi>10.1145/860575.860592]
• 2: Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer, A Formal Embedding of AgentSpeak(L) in 3APL, Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence, p.155-166, July 13-17, 1998
• 3: Koen V. Hindriks , Frank S. De Boer , Wiebe Van Der Hoek , John-Jules Ch. Meyer, Agent Programming in 3APL, Autonomous Agents and Multi-Agent Systems, v.2 n.4, p.357-401, November 1999 [doi>10.1023/A:1010084620690]
• 4: Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer, Agent Programming with Declarative Goals, Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, p.228-243, July 07-09, 2000
• 5: K. V. Hindriks, Y. Lespirance, and H. Levesque. A formal embedding of ConGolog in 3APL. In Proceedings of the 14th European Conference on Artificial Intelligence pages 558--562, 2002.
• 6: Dexter Zozen , Jerzy Tiuryn, Logics of programs, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
• 7: G. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, Computer Science Department, 1981.
• 8: Anand S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away, p.42-55, February 1996, Einhoven, The Netherlands
• 9: A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) pages 312--319, San Francisco, CA, June 1995.
• 10: 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 Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91) pages 473--484. Morgan Kaufmann, 1991.
• 11: Yoav Shoham, Agent-oriented programming, Artificial Intelligence, v.60 n.1, p.51-92, March 1993 [doi>10.1016/0004-3702(93)90034-9]
• 12: W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to rational agents. In M. Wooldridge and A. S. Rao, editors, Foundations of Rational Agency Applied Logic Series 14, pages 133--168. Kluwer, Dordrecht, 1998.
• 13: B. van Linder , W. van der Hoek , J.-J. Ch. Meyer, Formalising abilities and opportunities of agents, Fundamenta Informaticae, v.34 n.1-2, p.53-101, May 1998
• 14: M. B. van Riemsdijk. Agent programming in Dribble: from beliefs to goals with plans. Master's thesis, Utrecht University, 2002.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Logics of programs

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.5 Programming Languages and Software

General Terms:
Languages, Theory

Keywords:
agent-oriented programming, declarative goals, intelligent agent, plans, practical reasoning rule