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

• 作者: 康达周 徐宝文 李言辉 陆建江
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模糊 描述逻辑 语义Web 一般术语公理 知识表示
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 594-604
• 页数: 11页
• 分类号: TP18
• 字数: 12194字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.00594

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李言辉	东南大学计算机科学与工程系	9	115	6.0	9.0
5	徐宝文	东南大学计算机科学与工程系	118	3034	31.0	51.0
9	陆建江	解放军理工大学指挥自动化学院	51	791	17.0	27.0
10	康达周	东南大学计算机科学与工程系	10	108	5.0	10.0