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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1502)

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

Personalised recommendations