Title :
Approximate reasoning in fuzzy resolution
Author :
Mondal, Banibrata ; Raha, Swapan
Author_Institution :
Dept. of Math., Visva Bharati, Santiniketan, India
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;
Conference_Titel :
Fuzzy Information Processing Society (NAFIPS), 2012 Annual Meeting of the North American
Conference_Location :
Berkeley, CA
Print_ISBN :
978-1-4673-2336-9
Electronic_ISBN :
pending
DOI :
10.1109/NAFIPS.2012.6291062
