Planning with Qualitative Temporal Preferences
KR, pp. 134-144, 2006.
first orderevaluation functionsituation calculus
In this paper, we address the problem of specifying and gener- ating preferred plans using rich, qualitative user preferences. We propose a logical language for specifying non-Markovian preferences over the evolution of states and actions associated with a plan. The semantics for our first-order preference lan- guage is defined in the sit...More
PPT (Upload PPT)