Principles of artificial intelligence
Principles of artificial intelligence
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
O-Plan: the open planning architecture
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Constraint satisfaction using constraint logic programming
Artificial Intelligence - Special volume on constraint-based reasoning
Learning by analogical reasoning in general problem-solving
Learning by analogical reasoning in general problem-solving
Tractable planning with state variables by exploiting structural restrictions
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Representing action: indeterminacy and ramifications
Artificial Intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Learning action strategies for planning domains
Artificial Intelligence
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Unifying SAT-based and Graph-based Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The Detection and Exploitation of Symmetry in Planning Problems
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
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
On the Compilability and Expressive Power of Propositional Planning
On the Compilability and Expressive Power of Propositional Planning
Human Problem Solving
Efficient implementation of the plan graph in STAN
Journal of Artificial Intelligence Research
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Finding optimal solutions to Rubik's cube using pattern databases
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A robust and fast action selection mechanism for planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Multiagent planning with partially ordered temporal plans
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with resources and concurrency a forward chaining approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
Task planning for an autonomous service robot
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Linear logic as a tool for planning under temporal uncertainty
Theoretical Computer Science
Hi-index | 0.00 |
Effective planning requires good modeling languages and good algorithms. The Strips language has shaped most of the work in planning since the early 70's due to its effective solution of the frame problem and its support for divide-and-conquer strategies. In recent years, however, planning strategies not based on divide-and-conquer and work on theories of actions suggest that alternative languages can make modeling and planning easier. With this goal in mind, we have developed Functional Strips, a language that adds first-class function symbols to Strips providing additional flexibility in the codification of planning problems. This extension is orthogonal and complementary to extensions accommodated in other languages such as conditional effects, quantification, negation, etc. Function symbols, unlike relational symbols, can be nested so objects need not be referred to by their explicit names and as a result more efficient encodings can be provided. For example, a problem like the 8-puzzle can be codified in terms of four actions with no arguments; Hanoi, can be codified with a number of ground actions independent of the number of disks; resources and constraints can be easily presented, etc. Functional Strips is both an action and a planning language in the sense that actions are understood declaratively in terms of a state-based semantics and operationally in terms of efficient updates on state representations. In this paper, we present the language, the semantics and a number of examples, and discuss possible uses in planning and problem solving.