From preference logics to preference languages, and back

Thumbnail Image
BienvenuLWKR2010.pdf(198.54 KB)
Accepted version
Bienvenu, Meghyn
Lang, Jerome
Wilson, Nic
Journal Title
Journal ISSN
Volume Title
Association for the Advancement of Artificial Intelligence (AAAI
Published Version
Research Projects
Organizational Units
Journal Issue
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.
Preference logic , AI , Artificial intelligence , CP-nets , Preference languages
Bienvenu, M., Lang, J. and Wilson, N. (2010) 'From preference logics to preference languages, and back', Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, 9 -13 May, pp. 414-424.
© 2010, Association for the Advancement of Artificial Intelligence (AAAI). All rights reserved.