International Journal of Intelligence Science

Volume 3, Issue 2 (April 2013)

ISSN Print: 2163-0283   ISSN Online: 2163-0356

Google-based Impact Factor: 0.58  Citations  

Approximate Reasoning in Fuzzy Resolution

HTML  Download Download as PDF (Size: 355KB)  PP. 86-98  
DOI: 10.4236/ijis.2013.32010    4,414 Downloads   8,452 Views  Citations

ABSTRACT

Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a proof of a theorem. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Approximate reasoning is a methodology which can deduce a specific information from general knowledge and specific observation. It is dependent on the form of general knowledge and the corresponding deductive mechanism. In ordinary approximate reasoning, we derive from AB and by some mechanism. In inverse approximate reasoning, we conclude from AB and using an altogether different mechanism. An important observation is that similarity is inherent in fuzzy set theory. In approximate reasoning methodology-similarity relation is used in fuzzification while, similarity measure is used in fuzzy inference mechanism. This research proposes that similarity based approximate reasoning-modelling generalised modus ponens/generalised modus tollenscan be used to derive a resolution—like inference pattern in fuzzy logic. The proposal is well-illustrated with artificial examples.

Share and Cite:

B. Mondal and S. Raha, "Approximate Reasoning in Fuzzy Resolution," International Journal of Intelligence Science, Vol. 3 No. 2, 2013, pp. 86-98. doi: 10.4236/ijis.2013.32010.

Cited by

[1] Proving Geometric Problem by Adding Auxiliary Lines-Based on Hypothetical Test
… in Education: Emerging Technologies, Models and …, 2022
[2] Proof of Theorems in Fuzzy Logic Based on Structural Resolution
2019
[3] A Fuzzy Logic Based Resolution Principal for Approximate Reasoning
2017
[4] MỞ RỘNG QUY TẮC SUY DIỄN FUZZY SYLLOGISM TRONG LOGIC ĐA TRỊ NGÔN NGỮ
2017
[5] Efficacy of Fuzzy-Stat Modelling in Classification of Gynaecologists and Patients
Journal of Intelligent Systems, 2015
[6] 一种新的基于综合相似度的区间值模糊推理方法
计算机应用与软件, 2014
[7] Clinical monitoring using fuzzy system
2014
[8] Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra
Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
[9] Periodic dynamics of fermionic superfluids in the BCS regime
Journal of Physics: Condensed Matter, 2013
[10] Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases.
ECMS, 2013
[11] Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra
Knowledge and Systems Engineering, 2013

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.