基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理

HANDLING UNCERTAIN KNOWLEDGE IN FUZZY LOGIC (Ⅱ)FUZZY INFERENCE OF TABLEAU STYLE

本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．

Some fuzzy generic implications have no proper proof theories. Based on TABLEAU method, this paper presents the proof procedures of these fuzzy generic implications and the fuzzy preferential implications. It is shown that the inference rules proposed by Yager is not complete for the fuzzy implication he discussed. By constructing Tableau for the premise and the negation of the conclusion respectively, the causal link between the premise and the conclusion under a given inference rule can be analyzed. The sound and complete decision Tableau of fuzzy implications can be used as frameworks for the fuzzy Prolog and have more potential parallelism to exploit,as compared with resolution procedure.