TY - JOUR
T1 - A fluent calculus semantics for ADL with plan constraints
AU - Drescher, Conrad
AU - Thielscher, Michael
PY - 2008
Y1 - 2008
N2 - Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.
AB - Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.
UR - http://handle.uws.edu.au:8081/1959.7/549782
U2 - 10.1007/978-3-540-87803-2_13
DO - 10.1007/978-3-540-87803-2_13
M3 - Article
SN - 0302-9743
VL - 5293
SP - 140
EP - 152
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
ER -