Skip to main content
SpringerLink
Log in

Fuzzy Resolution with Similarity-Based Reasoning

  • Chapter
  • First Online:
Recent Developments and New Directions in Soft Computing

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

Abstract

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.

This research has been partially supported by the UGC SAP (DRS) Phase-II project under the Department of Mathematics, Visva-Bharati and UGC major research project no. 36-293/2008(SR);26.03.09.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.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

References

  1. Robinson, J.A.: A machine oriented logic based on the resolution principle. J.ACM 12(1), 23–41 (1965)

    Google Scholar 

  2. Lee, R., Chang, C.L.: Some properties of fuzzy logic. Inf. Control 19(1), 417–431 (1971)

    Article  MathSciNet  Google Scholar 

  3. Lee, R.: Fuzzy logic and the resolution principle. J. ACM 19(1), 109–119 (1972)

    Google Scholar 

  4. Shen, Z., Ding, L., Mukaidono, M.: Fuzzy resolution principle. In: Proceedings of the Eighteenth International Symposium on Multivalued Logic, Spain, May 24–26, 1988

    Google Scholar 

  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. Dubois, D., Prade, H.: Necessity measure and the resolution principle. IEEE Trans. Syst. Man Cybern. 17(3), 474–478 (1987)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  8. Fontana, F.A., Formato, F.: A similarity-based resolution principle. Int. J. Intell. Syst. 17(9), 853–872 (2002)

    Article  MATH  Google Scholar 

  9. Sessa, M.I.: Approximate reasoning by similarity-based sld resolution. Theor. Comput. Sci. 275, 389–426 (2002)

    Google Scholar 

  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. Raha, S., Ray, K.S.: Approximate reasoning based on generalised disjunctive syllogism. Fuzzy Sets Syst. 61(2), 143151 (1994)

    Article  MathSciNet  Google Scholar 

  12. Mondal, B., Raha, S.: Similarity based inverse approximate reasoning. IEEE Trans. Fuzzy Syst. 19(6), 10581071 (2011)

    Article  Google Scholar 

  13. Mondal, B., Mazumdar, D., Raha, S.: Similarity in approximate reasoning. Int. J. Comput. Cognit. 4(3), 46–56 (2006)

    Google Scholar 

  14. Kelly, J.J.: The Essence of Logic. Prentice-Hall, New Delhi (1997)

    MATH  Google Scholar 

  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. 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)

    Article  MATH  MathSciNet  Google Scholar 

  17. Bouchon-Meunier, B., Rifqi, M., Bothorel, S.: Towards general measures of comparison of objects. Fuzzy Sets Syst. 84(2), 143–153 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Visva Bharati, Santiniketan, West Bengal, India

    Banibrata Mondal & Swapan Raha

Authors
  1. Banibrata Mondal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Swapan Raha
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Banibrata Mondal .

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, California, USA

    Lotfi A. Zadeh

  2. Minister of Communications and Information Technologies of the Republic of Azerbaijan, Baku, Azerbaijan

    Ali M. Abbasov

  3. Iona College, Machine Intelligence Institute, New Rochelle, New York, USA

    Ronald R. Yager

  4. Department of Information Technology and Programming, Azerbaijan Technical University, Baku, Azerbaijan

    Shahnaz N. Shahbazova

  5. Electrical and Computer Engineering, University of Alberta, Edmonton, Alberta, Canada

    Marek Z. Reformat

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Mondal, B., Raha, S. (2014). Fuzzy Resolution with Similarity-Based Reasoning. In: Zadeh, L., Abbasov, A., Yager, R., Shahbazova, S., Reformat, M. (eds) Recent Developments and New Directions in Soft Computing. Studies in Fuzziness and Soft Computing, vol 317. Springer, Cham. https://doi.org/10.1007/978-3-319-06323-2_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06323-2_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06322-5

  • Online ISBN: 978-3-319-06323-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation