A Fluent Calculus Semantics for ADL with Plan Constraints

Authors:
Conrad Drescher;Michael Thielscher
Affiliations:
Department of Computer Science, Dresden University of Technology, Dresden, Germany 01187;Department of Computer Science, Dresden University of Technology, Dresden, Germany 01187
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 9
Cited 0

ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
A situation-calculus semantics for an expressive fragment of PDDL

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
PDDL2.1: an extension to PDDL for expressing temporal planning domains

Journal of Artificial Intelligence Research
STRIPS: a new approach to the application of theorem proving to problem solving

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Towards an integration of Golog and planning

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Multivalued action languages with constraints in CLP(FD)

ICLP'07 Proceedings of the 23rd international conference on Logic programming
A unifying action calculus

Artificial Intelligence
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.