Approximate reasoning in fuzzy resolution

Resolution is useful in modelling the refutation proof procedure for mechanical theorem proving. Resolution is used in constructing a ‘proof’ of a ‘theorem’. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. In approximate reasoning methodology — similarity is used in fuzzy inference mechanism. This research proposes that similarity based approximate reasoning — modelling generalised modus ponens/generalised modus tollens — can be used to derive a resolution-like inference pattern in fuzzy logic. The proposal is well-illustrated with artificial examples.

[1]  Swapan Raha,et al.  Approximate reasoning based on generalized disjunctive syllogism , 1994 .

[2]  Didier Dubois,et al.  Implicative and conjunctive fuzzy rules - A tool for reasoning from knowledge and examples , 1999, AAAI/IAAI.

[3]  M. Mukaidono,et al.  Fuzzy resolution principle , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[4]  Jang-Suk Park,et al.  A new fuzzy resolution principle based on the antonym , 2000, Fuzzy Sets Syst..

[5]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[6]  Richard C. T. Lee.  Fuzzy Logic and the Resolution Principle , 1971, JACM.

[7]  Bernadette Bouchon-Meunier,et al.  Towards general measures of comparison of objects , 1996, Fuzzy Sets Syst..

[8]  John Kelly.  The Essence of Logic , 1996 .

[9]  Rami Zwick,et al.  Measures of similarity among fuzzy concepts: A comparative analysis , 1987, Int. J. Approx. Reason..

[10]  Frank Klawonn,et al.  Similarity in fuzzy reasoning , 1995 .

[11]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[12]  Didier Dubois,et al.  Necessity Measures and the Resolution Principle , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  Bernadette Bouchon-Meunier,et al.  Abductive reasoning and measures of similitude in the presence of fuzzy rules , 2003, Fuzzy Sets Syst..

[14]  Nikhil R. Pal,et al.  Similarity-based approximate reasoning: methodology and application , 2002, IEEE Trans. Syst. Man Cybern. Part A.

[15]  Richard C. T. Lee,et al.  Some Properties of Fuzzy Logic , 1971, Inf. Control..

[16]  Francesca Arcelli Fontana,et al.  A similarity‐based resolution rule , 2002, Int. J. Intell. Syst..

[17]  D. Dubois,et al.  Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .

[18]  Swapan Raha,et al.  Similarity-Based Inverse Approximate Reasoning , 2011, IEEE Transactions on Fuzzy Systems.

[19]  Beatrice Lazzerini,et al.  Some considerations on input and output partitions to produce meaningful conclusions in fuzzy inference , 2000, Fuzzy Sets Syst..