Fuzzy Resolution with Similarity-Based Reasoning

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


Resolution is an useful tool for mechanical theorem proving. Resolution models the refutation proof procedure, which is mostly used in constructing a ‘proof’ of a ‘theorem’. In this chapter, an attempt is made to derive a fuzzy resolvent from imprecise information expressed as standard rule using similarity based inverse approximate reasoning methodology. For complex clauses, we investigate similarity based ordinary approximate reasoning to derive a fuzzy resolvent. The proposal is well-illustrated with artificial examples and a real life problem.


Approximate reasoning Similarity based reasoning Resolution principle 


  1. 1.
    Robinson, J.A.: A machine oriented logic based on the resolution principle. J.ACM 12(1), 23–41 (1965)Google Scholar
  2. 2.
    Lee, R., Chang, C.L.: Some properties of fuzzy logic. Inf. Control 19(1), 417–431 (1971)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Lee, R.: Fuzzy logic and the resolution principle. J. ACM 19(1), 109–119 (1972)Google Scholar
  4. 4.
    Shen, Z., Ding, L., Mukaidono, M.: Fuzzy resolution principle. In: Proceedings of the Eighteenth International Symposium on Multivalued Logic, Spain, May 24–26, 1988Google Scholar
  5. 5.
    Mukaidono, M.: Fuzzy inference of resolution style. In: Yager, R.R. (ed.) Fuzzy Set and Possibility Theory, pp. 224–231. Pergamon Press, New York (1982)Google Scholar
  6. 6.
    Dubois, D., Prade, H.: Necessity measure and the resolution principle. IEEE Trans. Syst. Man Cybern. 17(3), 474–478 (1987)Google Scholar
  7. 7.
    Kim, C., Kim, D.S., Park, J.: A new fuzzy resolution principle based on the antonym. Fuzzy Sets Syst. 113(2), 299–307 (2000)CrossRefMATHGoogle Scholar
  8. 8.
    Fontana, F.A., Formato, F.: A similarity-based resolution principle. Int. J. Intell. Syst. 17(9), 853–872 (2002)CrossRefMATHGoogle Scholar
  9. 9.
    Sessa, M.I.: Approximate reasoning by similarity-based sld resolution. Theor. Comput. Sci. 275, 389–426 (2002)Google Scholar
  10. 10.
    Habiballa, H., Novak, V.: Fuzzy general resolution. In: Proceedings of International Conference Aplimat 2002, pp. 199–206. Slovak Technical University, Bratislava (2002)Google Scholar
  11. 11.
    Raha, S., Ray, K.S.: Approximate reasoning based on generalised disjunctive syllogism. Fuzzy Sets Syst. 61(2), 143151 (1994)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Mondal, B., Raha, S.: Similarity based inverse approximate reasoning. IEEE Trans. Fuzzy Syst. 19(6), 10581071 (2011)CrossRefGoogle Scholar
  13. 13.
    Mondal, B., Mazumdar, D., Raha, S.: Similarity in approximate reasoning. Int. J. Comput. Cognit. 4(3), 46–56 (2006)Google Scholar
  14. 14.
    Kelly, J.J.: The Essence of Logic. Prentice-Hall, New Delhi (1997)MATHGoogle Scholar
  15. 15.
    Zadeh, L.A.: The concept of linguistic variable and its application to approximate reasoning: Part I and part II. Inf. Sci. 8, 301–357 (1975)Google Scholar
  16. 16.
    Lazzerini, B., Marcelloni, F.: Some considerations on input and output partitions to produce meaningful conclusions in fuzzy inference. Fuzzy Sets Syst. 113(2), 221–235 (2000)CrossRefMATHMathSciNetGoogle Scholar
  17. 17.
    Bouchon-Meunier, B., Rifqi, M., Bothorel, S.: Towards general measures of comparison of objects. Fuzzy Sets Syst. 84(2), 143–153 (1996)CrossRefMATHMathSciNetGoogle Scholar
  18. 18.
    Zwick, R., Carlstein, E., Budescu, D.V.: Measures of similarity among fuzzy concepts: a comparative analysis. Int. J. Approx. Reason. 1(2), 221–242 (1987)CrossRefMathSciNetGoogle Scholar
  19. 19.
    Raha, S., Pal, N.R., Ray, K.S.: Similarity based approximate reasoning: methodology and application. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 32(4), 541547 (2002)CrossRefGoogle Scholar
  20. 20.
    Ughetto, L., Dubois, D., Prade, H.: Implicative and conjunctive fuzzy rule -a tool for reasoning from knowledge and examples. In: Proceedings of AAAI/IAAI’1999, Menlo Paru, CA, USA, pp. 214–219 (1999)Google Scholar
  21. 21.
    Zadeh, L.A.: A theory of approximate reasoning. In: Hayes, J.E., Michie, D., Mikulich, L.I. (eds.) Machine Intelligence, vol. 9, pp. 149–194. Elsevier, New York (1979)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Department of MathematicsVisva BharatiSantiniketanIndia

Personalised recommendations