Declarative Formalization of Reasoning Strategies: a Case Study on Blocks World Nonlinear Planning
- Sierra-Santibáñez, Josefina
- Santibáñez Velilla, Josefina
Verlag: Allied Publishers
ISBN: 978-8177641103
Datum der Publikation: 2000
Seiten: 446-457
Art: Buch-Kapitel
beta Ver similares en nube de resultadosZusammenfassung
We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented.