一个新的基于EFALC的推理算法(英文)

作者：周波; 陆建江; 张亚非; 康达周; 李言辉

来源：Journal of Southeast University (english Edition), 2006, (04): 496-500.

• 扩展模糊描述逻辑
• 截概念
• TBox
• 推理算法

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

• 出版日期2006-12-15
• 单位中国人民解放军陆军工程大学; 东南大学