Specifying and computing preferred plans
In this paper, we address the problem of specifying and computing preferred plans using rich, qualitative, user preferences. We propose a logical language for specifying preferences over the evolution of states and actions associated with a plan. We provide a semantics for our first-order preference language in the situation calculus, and prove that progression of our preference formulae preserves this semantics. This leads to the development of PPlan, a bounded best-first search planner that computes preferred plans. Our preference language is amenable to integration with many existing planners, and beyond planning, can be used to support a diversity of dynamical reasoning tasks that employ preferences.
Bienvenu, M.; Fritz, C.; McIlraith, S. A. Specifying and computing preferred plans. Artificial Intelligence. 2011 May; 175 (7-8): 1308-1345.