Sciweavers

Share
FROCOS
2009
Springer

A Declarative Agent Programming Language Based on Action Theories

11 years 5 months ago
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.
Conrad Drescher, Stephan Schiffel, Michael Thielsc
Added 24 Jul 2010
Updated 24 Jul 2010
Type Conference
Year 2009
Where FROCOS
Authors Conrad Drescher, Stephan Schiffel, Michael Thielscher
Comments (0)
books