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.
展开▼
机译:Rapport de lasectionspécialiseepourles questions economiques sur la proposition de Resolution du Conseil portent complement a la Resolution du Conseil du 28 mai 1969 etablissant un program en vue de 1'elimination des entraves techniquesauxéchangesdeproduits industriels,résultantdedistritésentreles处置立法,regrandaires et administratives desEtats membres =经济问题科关于理事会决议提案的报告,补充理事会1969年5月28日决议,制定消除工业产品贸易技术壁垒的计划,该计划因法律,法规和行政规定之间的差异而产生。会员国。 CEs 584/72,1972年10月16日