一般术语公理下的模糊描述逻辑FALCN推理
李言辉[1,2] 徐宝文[1,2] 陆建江[3] 康达周[1,2]
[1]东南大学计算机科学与工程系,江苏南京210096 [2]江苏省软件质量研究所,江苏南京210096 [3]解放军理工大学指挥自动化学院,江苏南京210007
摘 要:
分析了一般术语公理下推理的主要难点：在模糊解释中的隶属度不是离散值，而是区间[0，1]上的连续值．为解决该难点，提出了模糊描述逻辑FALCN下的模糊解释离散化方法，从而使解释中的隶属度都属于一个特殊的有限离散集合．基于该离散化方法，给出一般术语公理下FALCN推理问题的离散Tableau推理技术，包括离散Tableau的定义以及离散Tableau的构造算法，并证明了算法的正确性、完备性和复杂度． (共11页)
学科分类:
TP18[工业技术 > 自动化技术、计算机技术 > 自动化基础理论 > 人工智能理论]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com