From preference logics to preference languages, and back
dc.contributor.author | Bienvenu, Meghyn | |
dc.contributor.author | Lang, Jerome | |
dc.contributor.author | Wilson, Nic | |
dc.contributor.funder | Science Foundation Ireland | en |
dc.date.accessioned | 2020-11-18T14:15:59Z | |
dc.date.available | 2020-11-18T14:15:59Z | |
dc.date.issued | 2010 | |
dc.date.updated | 2020-11-04T13:25:57Z | |
dc.description.abstract | 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. | en |
dc.description.status | Peer reviewed | en |
dc.description.version | Accepted Version | en |
dc.format.mimetype | application/pdf | en |
dc.identifier.citation | 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. | en |
dc.identifier.endpage | 424 | en |
dc.identifier.startpage | 414 | en |
dc.identifier.uri | https://hdl.handle.net/10468/10775 | |
dc.language.iso | en | en |
dc.publisher | Association for the Advancement of Artificial Intelligence (AAAI | en |
dc.relation.ispartof | Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), | |
dc.relation.project | info:eu-repo/grantAgreement/SFI/SFI Principal Investigator Programme (PI)/08/IN.1/I1912/IE/The Development of Artificial intelligence Approaches for Preferences in Combinational Problems/ | en |
dc.relation.uri | https://aaai.org/ocs/index.php/KR/KR2010/paper/view/1360 | |
dc.rights | © 2010, Association for the Advancement of Artificial Intelligence (AAAI). All rights reserved. | en |
dc.subject | Preference logic | en |
dc.subject | AI | en |
dc.subject | Artificial intelligence | en |
dc.subject | CP-nets | en |
dc.subject | Preference languages | en |
dc.title | From preference logics to preference languages, and back | en |
dc.type | Conference item | en |