Australian Joint Conference on Artificial Intelligence

AI 1998: Advanced Topics in Artificial Intelligence pp 155-166

A formal embedding of agentspeak(L) in 3APL

  • Koen V. Hindriks
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Scientific Track

DOI: 10.1007/BFb0095049

Volume 1502 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Hindriks K.V., de Boer F.S., van der Hoek W., Meyer JJ.C. (1998) A formal embedding of agentspeak(L) in 3APL. In: Antoniou G., Slaney J. (eds) Advanced Topics in Artificial Intelligence. AI 1998. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 1502. Springer, Berlin, Heidelberg

Abstract

Agent-based computing in Artificial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. For several reasons it has been difficult to evaluate and compare those different proposals. One of the main reasons is the lack of a general semantic framework. In this paper, we give a formal embedding of the agent language AgentSpeak(L) in our own agent language 3APL. To this end we define a notion of simulation based on the formal operational semantics of the languages. A main result of the paper is a proof that 3APL can simulate AgentSpeak(L). As a consequence, 3APL has at least the same expressive power as AgentSpeak(L). The comparison yields some new insights into the features of the agent languages. One of the results in that AgentSpeak(L) can be substantially simplified.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Koen V. Hindriks
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Department of Computer ScienceUniversity UtrechtUtrechtThe Netherlands