Integrating Action Calculi and AgentSpeak: Closing the Gap

11 years 7 months ago
Integrating Action Calculi and AgentSpeak: Closing the Gap
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and geared towards practical applications of cognitive agents. In this paper, we close the gap between these two lines of research by integrating action calculi and AgentSpeak programs. Specifically, we develop a new and purely declarative semantics for AgentSpeak, which paves the way for combining this language with any suitable action calculus in a strictly modular fashion. As the main technical result, we prove that the new declarative semantics is correct wrt. the standard operational semantics for AgentSpeak. This provides the basis for a modular integration of a BDIbased agent programming language with sophisticated methods for reasoning about actions.
Michael Thielscher
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2010
Where KR
Authors Michael Thielscher
Comments (0)