%0 Journal Article
%T 一般术语公理下的模糊描述逻辑FALCN推理
%A 康达周
%A 徐宝文
%A 李言辉
%A 陆建江
%J -
%D 2008
%X 分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度
%K 模糊 描述逻辑 语义Web 一般术语公理 知识表示
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20080311&flag=1