LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Szalas, Andrzej (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)
Editor:
Gerhard Brewka, Jérôme Lang
Publisher: AAAI Press
Pages:
560-570
Year of publ.:
2008
URI:
urn:nbn:se:liu:diva-44619
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-44619
ISBN:
978-1-57735-384-3
Local ID:
77194
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

The topic of preference modeling has recently attracted the interest of a number of sub-disciplines in artificial intelligence such as the nonmonotonic reasoning and action and change communities. The approach in these communities focuses on qualitative preferences and preference models which provide more natural representations from a~commonsense perspective. In this paper, we show how generalized circumscription can be used as a highly expressive framework for qualitative preference modeling. Generalized circumscription proposed by Lifschitz allows for predicates (and thus formulas) to be minimized relative to arbitrary pre-orders (reflexive and transitive). Although it has received little attention, we show how it may be used to model and reason about elaborate qualitative preference relations. One of the perceived weaknesses with any type of circumscription is the 2nd-order nature of the representation. The paper shows how a large variety of preference theories represented using generalized circumscription can in fact be reduced to logically equivalent first-order theories in a constructive way. Finally, we also show how preference relations represented using general circumscription can be extended with cardinality constraints and when these extensions can also be reduced to logically equivalent first-order theories.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2012-02-13
Statistics:
17 hits