一个新的基于EFALC的推理算法

• 作者: 周波 康达周 张亚非 李言辉 陆建江
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 扩展模糊描述逻辑 截概念 TBox 推理算法
• 年，卷（期）: 2006,（4）
• 页码范围: 496-500
• 页数: 5页
• 分类号: TP3
• 字数: 2822字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2006.04.011

摘要

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tableau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李言辉	东南大学计算机科学与工程学院	9	115	6.0	9.0
2	陆建江	解放军理工大学指挥自动化学院	51	791	17.0	27.0
3	康达周	东南大学计算机科学与工程学院	10	108	5.0	10.0
4	张亚非	解放军理工大学指挥自动化学院	55	661	13.0	23.0
5	周波	解放军理工大学指挥自动化学院	11	31	3.0	5.0