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

被引：6

作者：

李言辉 ^{[1
]}

徐宝文 ^{[1
]}

陆建江 ^{[2
]}

康达周 ^{[1
]}

机构：

[1] 东南大学计算机科学与工程系

[2] 解放军理工大学指挥自动化学院

来源：

软件学报 | 2008年 / 03期

基金：

高等学校博士学科点专项科研基金;

关键词：

模糊; 描述逻辑; 语义Web; 一般术语公理; 知识表示;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：594 / 604

页数：11

共 7 条

[1] 支持数量约束的扩展模糊描述逻辑复杂性研究 [J].