A grounded specification language for agent programs

ABSTRACT

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable properties expressed in an agent specification language, i.e., that any agent implemented by the programming language satisfies the desirable property expressed in the specification language. We study this relation by defining and aligning the semantics of an agent specification language and implementation language, and prove that certain properties expressed in the specification language are satisfied by the implementation language.

REFERENCES

• 1: R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multiagent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.
• 2: Rafael H. Bordini and Alvaro F. Moreira. Proving the asymmetry thesis principles for a BDI agent-oriented programming language. Electronic Notes in Theoretical Computer Science, 70(5), 2002.
• 3: 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]
• 4: Mehdi Dastani , Dirk Hobo , John-Jules Ch. Meyer, Practical extensions in agent programming languages, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, May 14-18, 2007, Honolulu, Hawaii [doi>10.1145/1329125.1329294]
• 5: Mehdi Dastani, M. Birna van Riemsdijk, and John-Jules Ch. Meyer. Goal types in agent programming. In Proceedings of ECAI'06, 2006.
• 6: E. Allen Emerson , Joseph Y. Halpern, “Sometimes” and “not never” revisited: on branching versus linear time temporal logic, Journal of the ACM (JACM), v.33 n.1, p.151-178, Jan. 1986 [doi>10.1145/4904.4999]
• 7: 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
• 8: J.-J. Ch. Meyer , W. van der Hoek , B. van Linder, A logical approach to the dynamics of commitments, Artificial Intelligence, v.113 n.1-2, p.1-40, Sept. 1999 [doi>10.1016/S0004-3702(99)00061-2]
• 9: 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
• 10: Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of KR'91, pages 473--484, 1991.
• 11: Klaus Schild, On the Relationship Between BDI Logics and Standard Logics of Concurrency, Autonomous Agents and Multi-Agent Systems, v.3 n.3, p.259-283, September 2000 [doi>10.1023/A:1010076027707]
• 12: M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proc. of KR'02, 2002.
• 13: Laurens Winkelhagen, Mehdi Dastani, and Jan Broersen. Beliefs in agent implementation. In Proceedings DALT 2005, LNCS 3904. Springer, 2006.
• 14: Michael Woolridge , Michael J. Wooldridge, Introduction to Multiagent Systems, John Wiley & Sons, Inc., New York, NY, 2001

INDEX TERMS

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

Keywords:
agent programming language, agent specification language