TY - JOUR
T1 - A declarative agent programming language based on action theories
AU - Drescher, Conrad
AU - Schiffel, Stephan
AU - Thielscher, Michael
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://handle.uws.edu.au:8081/1959.7/549896
U2 - 10.1007/978-3-642-04222-5_14
DO - 10.1007/978-3-642-04222-5_14
M3 - Article
SN - 0302-9743
VL - 5749
SP - 230
EP - 245
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
ER -