liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning.
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning.
2008 (engelsk)Inngår i: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR) / [ed] Gerhard Brewka, Jérôme Lang, AAAI Press , 2008, 560-570 s.Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
AAAI Press , 2008. 560-570 s.
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-44619Lokal ID: 77194ISBN: 978-1-57735-384-3 (tryckt)OAI: oai:DiVA.org:liu-44619DiVA: diva2:265481
Tilgjengelig fra: 2009-10-10 Laget: 2009-10-10 Sist oppdatert: 2012-02-13

Open Access i DiVA

Fulltekst mangler

Personposter BETA

Doherty, PatrickSzalas, Andrzej

Søk i DiVA

Av forfatter/redaktør
Doherty, PatrickSzalas, Andrzej
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 126 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf