From preference logics to preference languages, and back

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 414-424

  Bienvenu, Meghyn ^a   Lang, Jérôme ^b   Wilson, Nic ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

^c UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

CP-NETS; EXPRESSIVE POWER; PREFERENCE LOGIC; PREFERENCE REPRESENTATION; SATISFIABILITY; TWO-STREAM;

KNOWLEDGE REPRESENTATION;

EID: 79955754695     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Benferhat, S.; Cayrol, C.; Dubois, D.; Lang, J.; and Prade, H. 1993. Inconsistency management and prioritized syntaxbased entailment. In Proc. of IJCAI, 640-645.
2. Benhamou, B.; Sais, L.; and Siegel, P. 1994. Two proof procedures for a cardinality based language in propositional calculus. In Proc. of STACS, 71-82.
3. Boutilier, C.; Brafman, R.; Domshlak, C.; Hoos, H.; and Poole, D. 2004. CP-nets: a tool for representing and reasoning with conditional ceteris paribus statements. Journal of Artificial Intelligence Research 21:135-191.
4. Boutilier, C. 1994. Toward a logic for qualitative decision theory. In Proc. of KR, 75-86.
5. Bouveret, S.; Endriss, U.; and Lang, J. 2009. Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In Proc. of IJCAI, 67-72.
6. Brafman, R.; Domshlak, C.; and Shimony, S. E. 2006. On graphical modeling of preference and importance. Journal of Artificial Intelligence Research 25:389-424.
7. Brewka, G.; Niemelä, I.; and Truszczynski, M. 2005. Prioritized component systems. In Proc. of AAAI, 596-601.
8. Brewka, G. 2004. A rank-based description language for qualitative preferences. In Proc. of ECAI, 303-307.
9. Cadoli, M.; Donini, F. M.; Liberatore, P.; and Schaerf, M. 2000. Space efficiency of propositional knowledge representation formalisms. Journal of Artificial Intelligence Research 13:1-31.
10. Catañeda, H. 1958. Review of Sören Halld́en, On the logic of 'better' Philosophy and Phenomenological Research 19:266.
11. Coste-Marquis, S.; Lang, J.; Liberatore, P.; and Marquis, P. 2004. Expressive power and succinctness of propositional languages for preference representation. In Proc. of KR, 203-212.
12. de Jongh, D., and Liu, F. 2009. Preference, priorities and belief. In Preference Change: Approaches from Philosophy, Economics and Psychology. Theory and Decision Library. 85-108.
13. Doyle, J., and Wellman, M. P. 1994. Representing preferences as ceteris paribus comparatives. In Working Notes of the AAAI Symposium on Decision-Theoretic Planning.
14. Doyle, J.; Shoham, Y.; andWellman, M. P. 1991. A logic of relative desire. In Proc.of ISMIS, 16-31.
15. Girard, P. 2008. Modal logic for belief and preference change. Ph.D. Dissertation, Stanford University.
16. Goldsmith, J.; Lang, J.; Truszczynski, M.; and Wilson, N. 2008. The computational complexity of dominance and consistency in CP-nets. Journal of Artificial Intelligence Research 33:403-432.
17. Halldén, S. 1957. On the logic of 'better'. Library of Theoria, Lund.
18. Hansson, S. O. 1989. A new semantical approach to the logic of preferences. Erkenntnis 31:1-42.
19. Hansson, S. O. 2001. The structure of values and norms. Cambridge University Press.
20. Kaci, S., and van der Torre, L. 2008. Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms. Annals of OR 163(1):89-114.
21. Lang, J.; van der Torre, L.; and Weydert, E. 2003. Hidden uncertainty in the logical representation of desires. In Proc. of IJCAI, 685-690.
22. Liu, L., and Truszczynski, M. 2003. Local-search techniques for propositional logic extended with cardinality constraints. In Proc. of CP, 495-509.
23. Liu, F. 2008. Changing for the Better. Preference Dynamics and Agent Diversity. Ph.D. Dissertation, ILLC, University of Amsterdam.
24. Tan, S., and Pearl, J. 1994. Specification and evaluation of preferences for planning under uncertainty. In Proc. of KR, 530-539.
25. Uckelman, J.; Chevaleyre, Y.; Endriss, U.; and Lang, J. 2009. Representing utility functions via weighted goals. Mathematical Logic Quarterly 55(4):341-361.
26. van Benthem, J., and Liu, F. 2007. Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logic 17(2).
27. van Benthem, J.; Girard, P.; and Roy, O. 2009. Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic 38(1):83-125.
28. vonWright, G. H. 1963. The logic of preference. Edinburgh University Press.
29. Wilson, N. 2004a. Consistency and constrained optimisation for conditional preferences. In Proc. of ECAI, 888-892.
30. Wilson, N. 2004b. Extending CP-nets with stronger conditional preference statements. In Proc. of AAAI, 735-741.
31. Wilson, N. 2009. Efficient inference for expressive comparative preference languages. In Proc. of IJCAI, 961-966.