A Declarative Agent Programming Language Based On Action Theories

Conference item

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.

Authors: Drescher, C; Schiffel, S; Thielscher, M

• Publisher: Trento‚ Italy
• Host title: Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009)
• Publication date: 2009-01-01
• DOI: 10.1007/978-3-642-04222-5_14
• ISSN: 0302-9743