@article{DelgrandeSchaubTompits2007, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {A general framework for expressing preferences in causal reasoning and planning}, issn = {0955-792X}, doi = {10.1093/logcom/exm046}, year = {2007}, abstract = {We consider the problem of representing arbitrary preferences in causal reasoning and planning systems. In planning, a preference may be seen as a goal or constraint that is desirable, but not necessary, to satisfy. To begin, we define a very general query language for histories, or interleaved sequences of world states and actions. Based on this, we specify a second language in which preferences are defined. A single preference defines a binary relation on histories, indicating that one history is preferred to the other. From this, one can define global preference orderings on the set of histories, the maximal elements of which are the preferred histories. The approach is very general and flexible; thus it constitutes a base language in terms of which higher-level preferences may be defined. To this end, we investigate two fundamental types of preferences that we call choice and temporal preferences. We consider concrete strategies for these types of preferences and encode them in terms of our framework. We suggest how to express aggregates in the approach, allowing, e.g. the expression of a preference for histories with lowest total action costs. Last, our approach can be used to express other approaches and so serves as a common framework in which such approaches can be expressed and compared. We illustrate this by indicating how an approach due to Son and Pontelli can be encoded in our approach, as well as the language PDDL3.}, language = {en} } @article{DelgrandeLiuSchaubetal.2007, author = {Delgrande, James Patrick and Liu, Daphne H. and Schaub, Torsten H. and Thiele, Sven}, title = {COBA 2.0 : a consistency-based belief change system}, year = {2007}, language = {en} } @article{DelgrandeSchaub2007, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {A consistency-based framework for merging knowledge bases}, issn = {1570-8683}, year = {2007}, language = {en} } @article{DelgrandeSchaub1997, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Compiling specificity into approaches to nonmonotonic reasoning}, issn = {0004-3702}, year = {1997}, language = {en} } @article{DelgrandeSchaub1997, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Compiling reasoning with and about preferences into default logic}, isbn = {1-558-60480-4}, issn = {1045-0823}, year = {1997}, language = {en} } @article{DelgrandeSchaub1998, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Reasoning with sets of preferences in default logic}, isbn = {3-540- 65271-x}, year = {1998}, language = {en} } @article{DelgrandeSchaub2000, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {A consistency-based model for belief change: preliminary report}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {A compiler for ordered logic programs}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {Logic programs with compiled preferences}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {Logic programs with compiled preferences}, isbn = {1-58603-013-2}, year = {2000}, language = {en} } @article{DelgrandeSchaub2000, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {A consistency-based model for belief change: preliminary report}, isbn = {0-262-51112-6}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2000, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {A compilation of Brewka and Eiter's approach to prioritizationtion}, isbn = {3-540-41131-3}, year = {2000}, language = {en} } @article{DelgrandeSchaub2000, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {Expressing preferences in default logic}, issn = {0004-3702}, year = {2000}, language = {en} } @article{DelgrandeSchaub2000, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {The role of default logic in knowledge representation}, isbn = {0-7923-7224-7}, year = {2000}, language = {en} } @article{DelgrandeSchaubTompits2001, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans}, title = {A generic compiler for ordered logic programs}, isbn = {3-540-42593-4}, year = {2001}, language = {en} } @article{DelgrandeSchaub2001, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {How to reason credulously and skeptically within a single extension.}, isbn = {3-540- 42464-4}, year = {2001}, language = {en} } @article{DelgrandeSchaub2001, author = {Delgrande, James Patrick and Schaub, Torsten H.}, title = {How to reason credulously and skeptically within a single extension}, year = {2001}, language = {en} } @article{DelgrandeSchaubTompitsetal.2001, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans and Woltran, Stefan}, title = {On computing solutions to belief change scenarios}, isbn = {3-540- 42464-4}, year = {2001}, language = {en} } @article{DelgrandeSchaubTompitsetal.2002, author = {Delgrande, James Patrick and Schaub, Torsten H. and Tompits, Hans and Wang, Kewen}, title = {Towards a classification of preference handling approaches in nonmonotonic reasoning}, isbn = {1-577-35166-5}, year = {2002}, language = {en} } @article{DelgrandeHunterSchaub2002, author = {Delgrande, James Patrick and Hunter, Anthony and Schaub, Torsten H.}, title = {COBA: a consistency-based belief revision system}, isbn = {3-540-44190-5}, year = {2002}, language = {en} }