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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call