Skip to main content
SpringerLink
Log in

Similarity versus Preference in Fuzzy Set-Based Logics

  • Chapter
Incomplete Information: Rough Set Analysis

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 13))

Abstract

There are presently two kinds of fuzzy set-based theories of approximate reasoning: possibilistic logic, and similarity-based logic. This paper is devoted to a comparison between the two lines of research, both at the formal and interpretation level. Similarity calculus, initiated by Ruspini, exploits the idea that interpretations of a formal classical propositional language are more or less close to each other. This is done by equipping this set of interpretations with a metric-like structure, under the form of a fuzzy similarity relation. Then “p approximately implies q” means that p is “not far” from implying q, where “not far” is evaluated by the amount of stretching applied to the models of q so as to make the conditional statement true. On the contrary, in possibilistic logic, the set of interpretations is equipped with a preference relation encoded as a possibility distribution. This possibility distribution expresses that some worlds are more plausible than others. Then “p approximately implies q” means that q is true in the most plausible worlds where p is true. Similarity-based reasoning is also compared with rough set theory, and it is pointed out that while the two approaches are strongly connected at the formal level, the former is devoted to casting interpolation in a logical setting while the latter focuses on incomplete information systems where objects cannot be distinguished.

This paper reformulates and expands the contents of two previous papers, namely i) an e extended abstract entitled “Graded indiscernibility, fuzzy rough sets and modal logics” presented at the 5th International Fuzzy Systems Association Congress (IFSA ’93) (Seoul, Korea, July 4–9,1993; proceedings pp. 85–88), and ii) a conference paper entitled “Comparison of two fuzzy set-based logics: Similarity logic and possibilistic logic” presented at the 4th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE’95) (Yokohama, Japan, March 20–24, 1995; proceedings pp. 1219–1226).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benferhat, S., Dubois, D., Prade, H.: Representing default rules in pos-sibilistic logic. Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’92) (Nebel, B., Rich, C., Swartout, W. eds.), Cambridge, MA, Oct. 25-29, (1992), 673-684

    Google Scholar 

  2. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge, UK, (1980)

    Book  MATH  Google Scholar 

  3. Dubois, D., Esteva, F., Garcia, P., Godo, L., Prade, H.: Similarity-based consequence relations. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. of the Europ. Conf. On ECSQARU’95, Fribourg, Switzerland, July 1995) (Froidevaux, C., Kohlas, J. eds.), Lecture Notes in Artificial Intelligence, Vol. 946, Springer Verlag, Berlin, (1995), 171 - 179

    Google Scholar 

  4. Dubois, D., Esteva, F., Garcia, P., Godo, L., Prade, H.: A logical approach to interpolation based on similarity relations. To appear in Int. J. of Approximate Reasoning, (1997)

    Google Scholar 

  5. Dubois, D., Lang, J., Prade, H.: Theorem proving under uncertainty–A possibility theory-based approach. Proc. the Inter. Joint Conf. on Artificial Intelligence (IJCAI’87), Milan, Italy, (1987), 984 - 986

    Google Scholar 

  6. Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights. IEEE Trans. on Data and Knowledge Engineering, 6 (1), (1994), 64 - 71

    Article  Google Scholar 

  7. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning (Gabbay, D.M., Hogger, C.J., Robinson, J.A., Nute, D. eds.), Oxford University Press, (1994), 439 - 513

    Google Scholar 

  8. Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, (1980)

    MATH  Google Scholar 

  9. Dubois, D., Prade, H.: Possibilistic inference under matrix form. In: Fuzzy Logic in Knowledge Engineering (Prade, H., Negoita, C.V. eds. ), Verlag TUV Rheinland, (1986), 112 - 126

    Google Scholar 

  10. Dubois, D., Prade, H.: Rough sets and fuzzy rough sets. Int. J. of General Systems, 17, (1990), 191 - 209

    Article  MATH  Google Scholar 

  11. Dubois, D., Prade, H.: Possibilistic logic, preferential models, nonmonotonicity and related issues. Proc. of the 12th Inter. Joint Conf. on Artificial Intelligence (IJCAI’91), Sydney, Australia, Aug. 24-30, (1991), 419 - 424

    Google Scholar 

  12. Dubois, D., Prade, H.: Conditional objects and non-monotonic reasoning. Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR’91) (Allen, J., Fikes, R., Sandewall, E. eds.), Cambridge, MA, April 22-25, (1991), 175-185

    Google Scholar 

  13. Dubois, D., Prade, H.: Putting rough sets and fuzzy sets together. In: Intelligent Decision Support — Handbook of Applications and Advances of the Rough Sets Theory (Slowinski, R. ed. ), Kluwer Academic Publ., (1992), 203 - 232

    Google Scholar 

  14. Dubois, D., Prade, H.: Belief change and possibility theory. In: Belief Revision ( Gärdenfors, P. ed.), Cambridge University Press, Cambridge, UK, (1992), 142 - 182

    Chapter  Google Scholar 

  15. Dubois, D., Prade, H: Similarity-based approximate reasoning. In: Computational Intelligence Imitating Life (Proc. of the IEEE Symp., Orlando, FL, June 27-July 1st, 1994) (Zurada, J.M., Marks II, R.J., Robinson, X.C.J. eds. ), IEEE Press, (1994), 69 - 80

    Google Scholar 

  16. Dubois, D., Prade, H.: A survey of belief revision and updating rules in various uncertainty models. Int. J. of Intelligent Systems, 9, (1994), 61 - 100

    Article  MathSciNet  MATH  Google Scholar 

  17. Dubois, D., Prade, H., Testemale, C.: In search of a modal system for possibility theory. Proc. of the Conf. on Artificial Intelligence, Munich, Germany, Aug. 1-5, (1988), 501 - 506

    Google Scholar 

  18. Dubucs, J.P.: Inductive logic revisited. In: Philosophy of Probability ( Dubucs, J.P. ed.), Kluwer Academic Publ., Dordrecht, (1993), 79 - 108

    Google Scholar 

  19. Esteva, F., Garcia-Calves, P., Godo, L.: On the relationship between preference and similarity-based approaches to possibilistic reasoning. Proc. of the 2nd IEEE Inter. Conf. on Fuzzy Systems (FUZZ-IEEE’93), San Francisco, CA, March 28-April 1st, (1993), 918 - 923

    Google Scholar 

  20. Esteva, F., Garcia-Calves, P., Godo, L., Rodriguez, R.: A modal account of similarity-based reasoning. International Journal of Approximate Reasoning, 16, (1997), 235 - 260

    Article  MathSciNet  MATH  Google Scholar 

  21. Jorrand, Ph., Kelemen, J. eds.), Smolenice Castle, Czechoslovakia, Sept. 8-12, 1991, SpringerVerlag, Berlin, (1991), 11 - 18

    Google Scholar 

  22. FHL1] Farinas del Cerro, L., Herzig, A., Lang, J.: From ordering-based nonmono-tonic reasoning to conditional logics. Proc. of the 10th Europ. Conf. On Artificial Intelligence (ECAI’92) (Neumann, B ed.), Vienna, Austria, Aug. 3-7, (1992), 38-42

    Google Scholar 

  23. Farinas del Cerro, L., Orlowska, E.: DAL - A logic for data analysis. Theoretical Computer Science, 36, (1985), 251 - 264

    MATH  Google Scholar 

  24. Gärdenfors, P.: Knowledge in Flux - Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, MA, (1988)

    MATH  Google Scholar 

  25. Gärdenfors, P., Makinson, D.: Non-monotonic inference based on expectations. Artificial Intelligence, 65, (1994), 197 - 245

    Article  MathSciNet  MATH  Google Scholar 

  26. Hisdal, E.: Conditional possibilities - Independence and non-interactivity. Fuzzy Sets and Systems, 1, (1978), 283 - 297

    Article  MATH  Google Scholar 

  27. KM1] Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning

    Google Scholar 

  28. KR’91] Allen, J., Fikes, R., Sandewall, E. (eds.), Cambridge, MA, April 22-25, 387-394. Revised version in: Belief Revision (Gärdenfors, P. ed.), Cambridge University Press, Cambridge, UK, 1992, (1991), 301-311

    Google Scholar 

  29. Lang, J., Dubois, D., Prade, H.: A logic of graded possibility and certainty coping with partial inconsistency. Proc. of the 7th Conf. On Uncertainty in Artificial Intelligence (D’Ambrosio, B.D., Smets, P., Bonissone, P.P. eds.), Los Angeles, CA, July 13-15, 1991, Morgan and Kaufmann, San Mateo, CA, (1991), 188 - 196

    Google Scholar 

  30. Lewis, D.: Counterfactuals. Blackwell, Oxford, (1973)

    Google Scholar 

  31. Makinson, D., Gärdenfors, P.: Relations between the logic of theory change and nonmonotonic logic. In: The Logic of Theory Change (Proc. of the Workshop, Konstanz, Germany, Oct. 1989) (Fuhrmann, A., Morreau, M. eds.), Lecture Notes in Artificial Intelligence, Vol. 465, Springer Verlag, Berlin, (1991), 185 - 205

    Google Scholar 

  32. Nakamura, A.: On a KTB-modal fuzzy logic. Tech. Report no C-31, Dept. of Applied Mathematics, Hiroshima University, Japan, (1989)

    Google Scholar 

  33. Nakamura, A.: Topological soft algebra for the S5 modal fuzzy logic. Proc. of the 21st Inter. Symp. on Multiple-Valued Logic, Victoria, BC, (1991), 80 - 84

    Google Scholar 

  34. Nakamura, A.: On a logic based on fuzzy modalities. Report MCS-10, Dept. of Computer Science, Meiji University, Japan, (1991)

    Google Scholar 

  35. Nakamura, A., Gao, J.M.: A logic for fuzzy data analysis. Fuzzy Sets and Systems, 39, (1991), 127 - 132

    Article  MathSciNet  MATH  Google Scholar 

  36. Nakamura, A., Kuniyoshi, M.: Graded rough-modal logic. Tech. Report TRCSN-2, Dept. of Computer Science, Meiji University, Kawasaki 214, Japan, (1993)

    Google Scholar 

  37. Orlowska, E.: Modal logics in the theory of information systems. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 30 (3), (1984), 213 - 222

    Article  MathSciNet  MATH  Google Scholar 

  38. r2] Orlowska, E.: A logic of indiscernibility relations. In: Lecture Notes in Computer Sciences, Vol. 208, Springer Verlag, Berlin, (1985), 177-186 [Pal] Pawlak, Z.: Rough sets. Int. J. of Information and Computer Sciences, 11, (1982), 341-356

    Google Scholar 

  39. Pawlak, Z.: Rough Sets -Theoretical Aspects of Reasoning about Data. Kluwer Academic Publ., Dordrecht, (1991)

    MATH  Google Scholar 

  40. Rodriguez, R.O., Garcia, P., Godo, L.: Similarity-based models, counterfac-tuals and belief change. Research Report IIIA-95/5, IIIA-CSIC, University of Barcelona, Bellaterra, Spain, (1995)

    Google Scholar 

  41. Ruspini, E.H.: The semantics of vague knowledge. Revue Inter. De Systémique (Dunod, Paris), 3 (4), (1989), 387 - 420

    MATH  Google Scholar 

  42. Ruspini, E.H.: Similarity-based interpretations of fuzzy-logic concepts. Proc. of the 2nd Inter. Conf. On Fuzzy Logic and Neural Networks (IIZUKA’90), lizuka, Japan, July 20-24,Vol. 2, (1990), 735 - 738

    Google Scholar 

  43. Ruspini, E.H.: On the semantics of fuzzy logic. Int. J. of Approximate Reasoning, 5, (1991), 45 - 88

    Article  MathSciNet  MATH  Google Scholar 

  44. Ruspini, E.H.: Approximate reasoning: Past, present, future. Information Sciences, 57 /58, (1991), 297 - 327

    Article  Google Scholar 

  45. Ruspini, E.H.: Truth as utility: A conceptual synthesis. Proc. of the 7th Conf. on Uncertainty in Artificial Intelligence (D’Ambrosio, B.D., Smets, Ph., Bonissone, P.P. eds.), Los Angeles CA, July 13-15, Morgan and Kaufmann, San Mateo, CA, (1991), 316 - 322

    Google Scholar 

  46. Ruspini, E.H.: On truth and utility. In: Symbolic and Quantitative Ap- proaches to Uncertainty (Proc. Of the Europ. Conf. ECSQAU, Marseille, Oct. 1991) (Kruse, R., Siegel, P. eds.), Lecture Notes in Computer Science, Vol. 548, Springer Verlag, Berlin, (1991), 297 - 304

    Google Scholar 

  47. Ruspini, E.H.: On truth, utility and similarity. Proc. of the Inter. Fuzzy Engineering Symp. (IFES’91), Yokohama, Japan, Nov. 13-15, Vol. 1: Fuzzy Engineering toward Human Friendly Systems, (1991), 42 - 50

    Google Scholar 

  48. Schweizer, B., Sklar, A.: Probabilistic Metric Spaces. North-Holland, New York, (1983)

    MATH  Google Scholar 

  49. Shoham, Y.: Reasoning About Change — Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, Cambridge, MA, (1988)

    Google Scholar 

  50. Valverde, L.: On the structure of F-indistinguishability operators. Fuzzy Sets and Systems, 17, (1985), 313 - 328

    Article  MathSciNet  MATH  Google Scholar 

  51. Weston, T.: Approximate truth. J. of Philos. Logic, 16, (1987), 203 - 227

    MathSciNet  MATH  Google Scholar 

  52. Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, (1978), 3 - 28

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse (I.R.I.T.) -C.N.R.S, Université Paul Sabatier, 118 route de Narbonne, 31062, Toulouse Cedex, France

    Didier Dubois & Henri Prade

Authors
  1. Didier Dubois
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henri Prade
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Telecommunications, ul. Szachowa 1, PL-04-894, Warsaw, Poland

    Ewa Orłowska

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dubois, D., Prade, H. (1998). Similarity versus Preference in Fuzzy Set-Based Logics. In: Orłowska, E. (eds) Incomplete Information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, vol 13. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1888-8_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-7908-1888-8_14

  • Publisher Name: Physica, Heidelberg

  • Print ISBN: 978-3-7908-2457-5

  • Online ISBN: 978-3-7908-1888-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation