Fuzzy Resolution with Similarity-Based Reasoning

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.