A Declarative Agent Programming Language Based on Action Theories

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the standard inference mechanisms for (constraint) logic programs with reasoning about actions.

• Type: Conference
• Year: 2009
• Where: FROCOS
• Authors: Conrad Drescher, Stephan Schiffel, Michael Thielscher
• Keywords: Agent Logic Programs, Agent’s Strategic Behavior, Declarative Agent Programming, FROCOS 2009