Approximate reasoning in fuzzy resolution

Author

Mondal, Banibrata ; Raha, Swapan

Author_Institution

Dept. of Math., Visva Bharati, Santiniketan, India

fYear

2012

fDate

6-8 Aug. 2012

Firstpage

1

Lastpage

6

Abstract

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.

Keywords

fuzzy logic; fuzzy set theory; inference mechanisms; theorem proving; approximate reasoning methodology; fuzzy inference mechanism; fuzzy logic; fuzzy resolution; generalised modus ponens modelling; generalised modus tollen modelling; mechanical theorem proving; refutation proof procedure modelling; resolution-like inference pattern; Approximation algorithms; Cognition; Fuzzy logic; Fuzzy sets; Indexes; Shape; Approximate reasoning; Resolution principle; Similarity index; Similarity-based reasoning;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Information Processing Society (NAFIPS), 2012 Annual Meeting of the North American

Conference_Location

Berkeley, CA

ISSN

pending

Print_ISBN

978-1-4673-2336-9

Electronic_ISBN

pending

Type

conf

DOI

10.1109/NAFIPS.2012.6291062

Filename

6291062