A General Framework for Expressing Preferences in Causal Reasoning and Planning

13 years 4 months ago

Download www.iccl.tu-dresden.de

We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satisfy. We work within the context of transition systems; however, our results are applicable to general planning formalisms. To begin, we deﬁne a query language for specifying arbitrary conditions that may be satisﬁed by a history, or interleaved sequence of world states and actions. Given this, we specify a second language in which preferences are deﬁned. A single preference deﬁnes a binary relation on histories, so that in an ordered pair of histories the second history is preferred to the ﬁrst. From this, one can deﬁne global preference orderings on the set of histories, the maximal elements of which are the preferred histories. The approach is very general and ﬂexible; thus it constitutes a “base” language in terms of which higher-level operators may be deﬁned. The approach can be used to...

James P. Delgrande, Torsten Schaub, Hans Tompits

Real-time Traffic