Proceedings:
Logical Formalizations of Commonsense Reasoning
Volume
Issue:
Papers from the 2007 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
This paper describes a method for planning with rich qualitative, temporally extended preferences (QTEPs) using lookahead heuristics inspired by those employed in state-of-the-art classical planners. Key to our approach is a transformation of the planning domain into an equivalent but simplified planning domain. First, compound preference formulae are transformed into simpler, equivalent preference formulae. Second, temporally extended preferences are replaced by equivalent, atemporal preferences. These two simplifications enable us to propose a number of simple heuristic strategies for planning with QTEPs. We propose an algorithm that uses these heuristics and that furthermore is provably k-optimal, i.e. it finds all optimal plans of length no greater than a parameter k. We compare our planner against the pplan planner, which does not use lookahead heuristics. Preliminary results show a significant improvement in performance.
Spring
Papers from the 2007 AAAI Spring Symposium