一般术语公理下的模糊描述逻辑FALCN推理

摘要：

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

关键词：模糊、描述逻辑、语义Web、一般术语公理、知识表示

所属期刊栏目：19

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60373066;60425206;90412003;国家重点基础研究发展计划973计划2002CB312000;教育部高等学校博士学科点专项科研基金20020286004

在线出版日期：2008-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：594-604