Propositional distances and compact preference representation

Abstract Distances between possible worlds play an important role in logic-based knowledge representation (especially in belief change, reasoning about action, belief merging and similarity-based reasoning). We show here how they can be used for representing in a compact and intuitive way the preference profile of an agent, following the principle that given a goal G , then the closer a world w to a model of G , the better w . We give an integrated logical framework for preference representation which handles weighted goals and distances to goals in a uniform way. Then we argue that the widely used Hamming distance (which merely counts the number of propositional symbols assigned a different value by two worlds) is generally too rudimentary and too syntax-sensitive to be suitable in real applications; therefore, we propose a new family of distances, based on Choquet integrals, in which the Hamming distance has a position very similar to that of the arithmetic mean in the class of Choquet integrals.

[1]  Sébastien Konieczny,et al.  Merging with Integrity Constraints , 1999, ESCQARU.

[2]  Lakhdar Sais,et al.  Two Proof Procedures for a Cardinality Based Language in Propositional Calculus , 1994, STACS.

[3]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[4]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[5]  M. Sugeno,et al.  An interpretation of fuzzy measures and the Choquet integral as an integral with respect to a fuzzy , 1989 .

[6]  D. Fensel Principles of knowledge representation and reasoning : proceedings of the eighth International Conference (KR2002), Toulouse, France, April 22-25, 2002 , 2002 .

[7]  D. Schmeidler Integral representation without additivity , 1986 .

[8]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[9]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decision-making , 1988 .

[10]  Jinxin Lin,et al.  Integration of Weighted Knowledge Bases , 1996, Artif. Intell..

[11]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[12]  H. Prade,et al.  Possibilistic logic , 1994 .

[13]  Didier Dubois,et al.  Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging , 2000, ECAI.

[14]  Jon Doyle,et al.  Preferential Semantics for Goals , 1991, AAAI.

[15]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[16]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[17]  Marco Schaerf,et al.  Arbitration: A Commutative Operator for Belief Revision , 1995, WOCFAI.

[18]  Alan Bundy,et al.  Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95 , 1995 .

[19]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[20]  Thomas Schiex,et al.  Penalty Logic and its Link with Dempster-Shafer Theory , 1994, UAI.

[21]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[22]  Fahiem Bacchus,et al.  Graphical models for preference and utility , 1995, UAI.

[23]  Jérôme Lang,et al.  Propositional Distances and Preference Representation , 2001, ECSQARU.

[24]  Jérôme Lang,et al.  Logical representation of preferences for group decision making , 2000, KR.

[25]  Leon van der Torre,et al.  Parameters for Utilitarian Desires in a Qualitative Decision Theory , 2001, Applied Intelligence.

[26]  Kenneth D. Forbus Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[27]  Yoav Shoham,et al.  Expected Utility Networks , 1999, UAI.

[28]  Didier Dubois,et al.  Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework , 2002, KR.

[29]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[30]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .