From preference logics to preference languages, and back
Bienvenu, Meghyn; Lang, Jérôme; Wilson, Nic (2010), From preference logics to preference languages, and back, in Truszczynski, Miroslaw, Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010), AAAI Press : Palo Alto (USA), p. 624
TypeCommunication / Conférence
Book titleTwelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)
Book authorTruszczynski, Miroslaw
MetadataShow full item record
Abstract (EN)Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research have had little interaction. This paper contributes to the bridging of these areas. We start by constructing a “prototypical” preference logic, which combines features of existing preference logics, and then we show that many well-known preference languages, such as CP-nets and its extensions, are natural fragments of it. After establishing useful characterizations of dominance and consistency in our logic, we study the complexity of satisfiability in the general case as well as for meaningful fragments, and we study the expressive power as well as the relative succinctness of some of these fragments. 1.
Subjects / Keywordspreference logics
Showing items related by title and author.
Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers Bosch, Peter; Gabelaia, David; Lang, Jérôme (2009) Communication / Conférence
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods Bouveret, Sylvain; Endriss, Ulle; Lang, Jérôme (2009) Communication / Conférence