A Logic-based View of Similarities and Preferences

  • Enrique H. Ruspini
Part of the CISM International Centre for Mechanical Sciences book series (CISM, volume 504)


We start by recalling previous work leading to an interpretation of fuzzy logic in terms of metric structures defined in a set of possible worlds. These possible worlds, or possible states of a system, are characterized by the truth values of clasical logical assertions about the state of the world.

We consider next the nature of the information required to generate the underlying metrics, concluding that similarity measures are typically derived from preference relations that induce a generalized order in the space of possible worlds. Recalling the relation between similarity measures and utility functions underlying several fundamental results such as the representation theorem of Valverde, we extend our similarity-based formalism by introduction of corresponding utilitarian notions, such as marginal preference and conditional preference. On the basis of these definitions we derive a formula to infer the value of marginal preference functions.

Finally we briefly present several examples of the application of these ideas to the development of intelligent planners and controllers for robots and teams of robots. These examples motivate basic requirements for a comprehensive logic-based approach to a calculus of similarities and preferences. We note that logic-based preference formalisms permit to explicitly specify context-dependent formulas that tradeoff the relative utilities of attaining potential system states from the perspective of different preference criteria, allow specification of the interaction of individual agents, and control the behavior of groups of interacting agents.


Marginal Preference Logical Assertion Utilitarian Notion Potential System State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ronald C. Arkin. Behavior-based robotics. MIT Press, 1998.Google Scholar
  2. Richard E. Bellman and Lotfi A. Zadeh. Decision-making in a fuzzy environment. Management Science, 17:141–164, 1970.CrossRefMathSciNetGoogle Scholar
  3. James C. Bezdek. Fuzzy clustering. In E. H. Ruspini, P. P. Bonissone, and W. Pedrycz, editors, Handbook of Fuzzy Computation chapter F6.2. Institute of Physics Press, 1998.Google Scholar
  4. Jaime G. Carbonell. Learning by analogy: formulating and generalizing plans from past. In Ryszard S. Michalski, Jaime G. Carbonell, and Tom M. Mitchell, editors, Machine learning: an AI approach. Tioga Press, Palo Alto, California, 1982.Google Scholar
  5. Jean Dieudonné. Foundations of Modern Analysis. Academic Press, New York, 1960.zbMATHGoogle Scholar
  6. Didier Dubois and Henri Prade. An introduction to possibilistic and fuzzy logics. In Didier Dubois, Henri Prade, and P. Smets, editors, Non-Standard Logics for Automated Reasoning. Academic Press, 1988.Google Scholar
  7. Didier Dubois, Jerome Lang, and Henri Prade. Possibilistic logic. In Dov M. Gabbay, Christopher J. Hogger, and John A. Robinson, editors, Handbook of Logic in AI and Logic Programming volume 3. Oxford University Press, 1994.Google Scholar
  8. Didieer Dubois, Francesc Esteva, Pere García, Lluís Godó, and Henri Prade. A logical approach to interpolation based on similarity relations. International Journal of Approximate Reasoning, 17:1–36, 1997.zbMATHCrossRefMathSciNetGoogle Scholar
  9. Frances Esteva, Pere García, and Lluis Godó. Relating and extending approaches to possibilistic reasoning. International Journal of Approximate Reasoning, 10:311–344, 1994a.zbMATHCrossRefMathSciNetGoogle Scholar
  10. Francesc Esteva, Pere García, Lluís Godó, Llorenç Valverde, and Enrique H. Ruspini. On similarity logic and the generalized modus ponens. In Proceedings of the 1994 IEEE International Conference on Fuzzy Systems, pages 1423–1427, Orlando, Florida, 1994b. IEEEE Press.Google Scholar
  11. Francesc Esteva, Pere García, Lluís Godó, and Ricardo Rodríguez. A modal account of similarity-based reasoning. International Journal of Approximate Reasoning, 16:235–260, 1997.zbMATHCrossRefMathSciNetGoogle Scholar
  12. János Fodor and Marc Roubens. Fuzzy Preference Modelling and Multicriteria Decision Support. Kluwer Academic Publishers, 1994.Google Scholar
  13. Robin Giles. The concept of grade of membership. Fuzzy Sets and Systems, 25(3):297–323, 1988.zbMATHCrossRefMathSciNetGoogle Scholar
  14. Robert C. Glen and Samuel E. Adams. Similarity metrics and descriptor spaces. QSAR Comb. Sci., 25(12):1133–1142, 2006.CrossRefGoogle Scholar
  15. Lluís Godó, Francesc Esteva, Pere García, and J. Aguist-Cullel. A formal semantic approach to fuzzy logic. In Proceedings of the 21st International Symposium on Multiple-Valued Logic, pages 72–79. IEEE Computer Society Press, 1991.Google Scholar
  16. George E. Hughes and Maxwell J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.Google Scholar
  17. Ralph W. Keeney and Howard Raiffa. Decisions with multiple objectives: preferences and value tradeoffs. Wiley, 1976.Google Scholar
  18. Erich Peter Klement. Triangular Norms. Kluwer, Dordrecht, 2000.zbMATHGoogle Scholar
  19. Janet Kolodner. Case-Based Reasoning. Morgan-Kauffman Publishers, San Mateo, California, 1993.Google Scholar
  20. Kurt Konolige, Karen L. Myers, Enrique H. Ruspini, and Alessandro Saffiotti. The Saphira architecture: A design for autonomy. Journal of experimental & theoretical artificial intelligence: JETAI, 9(1):215–235, 1997.Google Scholar
  21. David K. Lewis. Counterfactuals. Harvard University Press, Cambridge, Massachusetts, 1973.Google Scholar
  22. Dennis V. Lindley. Scoring rules and the inevitability of probability. Int. Stat. Rev., 50:1–26, 1982.zbMATHMathSciNetCrossRefGoogle Scholar
  23. Maja J. Mataric. Behavior-based control: Examples from navigation, learning, and group behavior. Journal of Experimental and Theoretical Artificial Intelligence, 9(2–3), 1997.Google Scholar
  24. David W. Mount. Bioinformatics: Sequence and Genome Analysis. Cold Spring Harbor Laboratory Press, Cold Sping Harbor, NY, 2nd ed. edition, 2004.Google Scholar
  25. Ilkka Niiniluoto. Truthlikeness. Reidel, Dordrecht, 1987.zbMATHGoogle Scholar
  26. Nina Nikolova and Joanna Jaworska. Approaches to measure chemical similarity—a review QSAR Comb. Sci., 22(9–10):1006–1026, 2003.CrossRefGoogle Scholar
  27. Graham Oddie. Likeness to Truth. Western Ontario Series on Philosophy of Science. Reidel, Dordrecht, 1987.Google Scholar
  28. Sergei V. Ovchinnikov. Similarity relations, fuzzy partitions, and fuzzy orderings. Fuzzy Sets and Systems, 40:107–126, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  29. Zdzisław Pawlak. Rough sets—basic concepts. ICS Research Report 13/92, Institute of Computer Science, Warsaw, 1992.Google Scholar
  30. Ricardo Rodríguez, Pere García, and Lluís Godó. Using fuzzy similarity relations to revise and update a knowledge base. Mathware & Soft Computing, III:357–370, 1996.Google Scholar
  31. Enrique H. Ruspini. A new approach to clustering. Information and Control, 15(1):22–32, 1969.zbMATHCrossRefGoogle Scholar
  32. Enrique H. Ruspini. Applications of intelligent multiobjective decision making. In Okyay Kaynak, Lotfi A. Zadeh, Burhan Turksen, and Imre J. Rudas, editors, Computational Intelligence: Soft Computing and Fuzzy Neurointegration with Applications, NATO ASI Series. Series F, Computer and System Sciences. Springer-Verlag, 1998.Google Scholar
  33. Enrique H. Ruspini. On the semantics of fuzzy logic. Int. J. of Approximate Reasoning, 5:45–88, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  34. Enrique H. Ruspini and Francesc Esteva. Interpretations of fuzzy sets. In Enrique H. Ruspini, Piero P. Bonissone, and Witold Pedrycz editors, The Handbook of Fuzzy Computation. Institute of Physics, 1998.Google Scholar
  35. Alessandro Saffiotti, Kurt Konolige, and Enrique H. Ruspini. A multivaluedlogic approach to integrating planning and control. Artificial Intelligence, 76(1–2):481–526, 1995.CrossRefGoogle Scholar
  36. Alessandro Saffiotti, Nina B. Zumel, and Enrique H. Ruspini. Multirobot team coordination using desirabilities. In Proceedings of IAS-6: Sixth Intl. Conf. on Intelligent Autonomous Systems, Venice, Italy, 2000.Google Scholar
  37. Berthold Schweizer and Abe Sklar. Associative functions and abstract semigroups. Publ. Math. Debrecen, 10:69–81, 1983.MathSciNetGoogle Scholar
  38. Eldar Shafir, editor. Preference, Belief, Similarity: Selected Writings of Amos Tversky. The MIT Press, 2003.Google Scholar
  39. Eleni Stroulia and Yiquiao Wang. Structural and semantic matching for assessing web-service similarity. International Journal of Cooperative Information Systems, 14(4):407–437, 2005.CrossRefGoogle Scholar
  40. Joseph F. Traub, Grzegoz W. Wasilkowski, and Henryk Woźniakowski. Information-based Complexity. Academic Press, 1998.Google Scholar
  41. Enric Trillas and Llorenç Valverde. On mode and implication in approximate reasoning. In Madam M. Gupta, Abe Kandel, Willis Bandler, and Jerzy B. Kiszka, editors, Approximate Reasoning in Expert Systems, pages 157–166. North Holland, Amsterdam, 1985.Google Scholar
  42. Amos Tversky. Features of similarity. Psychological Review, 84:327–352, 1977.CrossRefGoogle Scholar
  43. Llorenç Valverde. On the structure of f-indistinguishability operators. Fuzzy Sets and Systems, 17:313–328, 1985.zbMATHCrossRefMathSciNetGoogle Scholar
  44. Michael Wolverton, Pauline Berry, Ian Harrison, John Lowrance, David Morley, Andrés Rodriguez, Enrique Ruspini, and Jerome Thomere. LAW: A workbench for approximate pattern matching in relational data. In Proceedings of the Fifteenth Innovative Applications of Artificial Intelligence Conference (IAAI-03), 2003.Google Scholar
  45. Lotfi A. Zadeh. Similarity relations and fuzzy orderings. Information Sciences, 3:177–200, 1971a.zbMATHCrossRefMathSciNetGoogle Scholar
  46. Lotfi A. Zadeh. Similarity relations and fuzzy orderings. Information Sciences, 3:177–200, 1971b.zbMATHCrossRefMathSciNetGoogle Scholar
  47. Lotfi. A. Zadeh. A theory of approximate reasoning. In J. Hayes, D. Mitchie, and L. Mikulich, editors, Machine Intelligence, pages 149–194. Wiley, 1979.Google Scholar
  48. Lotfi A. Zadeh. Fuzzy sets as the basis for a theory of possibility. Fuzzy Sets and Systems, 1:3–28, 1978.zbMATHCrossRefMathSciNetGoogle Scholar
  49. Igor S. Zwir and Enrique H. Ruspini. Automated qualitative description of measurements. In Proc. 16th IEEE Instrumentation and Measurement Technology Conf., 1999a.Google Scholar
  50. Igor S. Zwir and Enrique H. Ruspini. Qualitative object description: Initial reports of the exploration of the frontier. In Proc. Joint EUROFUSESIC’99 Intl. Conf., 1999b.Google Scholar
  51. Igor S. Zwir, Rocío Romero Zaliz, and Enrique H. Ruspini. Automated biological sequence description by genetic multiobjective generalized clustering. Annals of the New York Academy of Sciences, 980, December 2002.Google Scholar

Copyright information

© CISM, Udine 2008

Authors and Affiliations

  • Enrique H. Ruspini
    • 1
  1. 1.Artificial Intelligence CenterSRI InternationalMenlo ParkUSA

Personalised recommendations