论文部分内容阅读
分析了一般术语公理下推理的主要难点：在模糊解释中的隶属度不是离散值，而是区间[0，1]上的连续值．为解决该难点，提出了模糊描述逻辑FALCN下的模糊解释离散化方法，从而使解释中的隶属度都属于一个特殊的有限离散集合．基于该离散化方法，给出一般术语公理下FALCN推理问题的离散Tableau推理技术，包括离散Tableau的定义以及离散Tableau的构造算法，并证明了算法的正确性、完备性和复杂度．