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