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
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.