A Declarative Agent Programming Language Based on Action Theories
- Cite this paper as:
- Drescher C., Schiffel S., Thielscher M. (2009) A Declarative Agent Programming Language Based on Action Theories. In: Ghilardi S., Sebastiani R. (eds) Frontiers of Combining Systems. FroCoS 2009. Lecture Notes in Computer Science, vol 5749. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.