Approximate Reasoning in Fuzzy Resolution

• 作者: Banibrata Mondal Swapan Raha
• 来源期刊: 智能科学国际期刊(英文)
• 学科: 数学
• 关键词: APPROXIMATE REASONING SIMILARITY Index SIMILARITY Based REASONING RESOLUTION PRINCIPLE
• 年，卷（期）: 2013,（2）
• 页码范围: 86-98
• 页数: 13页
• 分类号: O1

摘要

Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Approximate reasoning is a methodology which can deduce a specific information from general knowledge and specific observation. It is dependent on the form of general knowledge and the corresponding deductive mechanism. In ordinary approximate reasoning, we derive from A→B and by some mechanism. In inverse approximate reasoning, we conclude from A→B and using an altogether different mechanism. An important observation is that similarity is inherent in fuzzy set theory. In approximate reasoning methodology-similarity relation is used in fuzzification while, similarity measure 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.