The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
How to clear a block: A theory of plans
Journal of Automated Reasoning
Fast planning through planning graph analysis
Artificial Intelligence
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Induction of Recursive Program Schemes
ECML '98 Proceedings of the 10th European Conference on Machine Learning
Learning Sorting and Decision Trees with POMDPs
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Planning as Heuristic Search: New Results
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variables are introduced and, consequently, predicates are defined over general terms. Preconditions of operators are characterized as variable binding constraints with standard preconditions as a special case of equality constraints. Operator effects can be expressed by ADD/DEL effects and additionally by updates of fluent variables. Mixing ADD/DEL effects and updates in an operator is allowed. Updating can involve the application of user-defined and built-in functions of the language in which the planner is realized. We present an operational semantics of the extended language. We will give a variety of example domains which can be dealt with in an uniform way: planning with resource variables, numerical problems such as water jug, functional variants of Tower of Hanoi and blocks-world, list sorting, and constraint-logic programming.