Planning in domains with derived predicates through rule-action graphs and local search

  • Authors:

  • Alfonso E. Gerevini;Alessandro Saetti;Ivan Serina

  • Affiliations:

  • Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Brescia, Brescia, Italy 25123;Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Brescia, Brescia, Italy 25123;Free University of Bozen --- Bolzano, Bressanone, Italy 39042

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The ability to express derived predicates in the formalization of a planning domain is both practically and theoretically important. In this paper, we propose an approach to planning with derived predicates where the search space consists of "Rule-Action Graphs", particular graphs of actions and rules representing derived predicates. We propose some techniques for representing such rules and reasoning with them, which are integrated into a framework for planning through local search and rule-action graphs. We also present some heuristics for guiding the search of a rule-action graph representing a valid plan. Finally, we analyze our approach through an extensive experimental study aimed at evaluating the importance of some specific techniques for the performance of the approach. The results of our experiments also show that our planner performs quite well compared to other state-of-the-art planners handling derived predicates.