Heuristic planning: a declarative approach based on strategies for action selection

Authors:
Josefina Sierra-Santibáñez
Affiliations:
Dept. Lenguajes y Sistemas Informáticos, Universidad Politécnica de Cataluña, E-08034 Barcelona, Spain
Venue:
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Year:
2004

Citing 20
Cited 2

Logic programs with classical negation

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

Proceedings of the first international conference on Principles of knowledge representation and reasoning
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus

Artificial Intelligence
Using temporal logic to control search in a forward chaining planner

New directions in AI planning
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Answer set planning

Proceedings of the 1999 international conference on Logic programming
Concepts of logical AI

Logic-based artificial intelligence
Planning as heuristic search

Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Answer set programming and plan generation

Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy

Formalizing Commonsense: Papers by John McCarthy
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner

Annals of Mathematics and Artificial Intelligence
Open World Planning in the Situation Calculus

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Extending Planning Graphs to an ADL Subset

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Encoding Planning Problems in Nonmonotonic Logic Programs

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning

Annals of Mathematics and Artificial Intelligence
Applications of the situation calculus to formalizing control-and strategic information: the prolog cut operator

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Planning for temporally extended goals

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

From here to human-level AI

Artificial Intelligence
GLAM: a generic layered adaptation model for adaptive hypermedia systems

AH'06 Proceedings of the 4th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces the notion of heuristic planning, and describes a particular approach to heuristic planning based on a declarative formalization of strategies for action selection. This approach is compared with some heuristic planning systems proposed in the literature. The heuristic information and declarative formalisms for the representation of heuristic knowledge used by these systems are compared in terms of their capacity of controlling the search process and their effectiveness for solving some planning problems. Finally, the results of some experiments on heuristic answer set planning are described in order to show how heuristics can be used to improve the scalability of answer set planning.