描述逻辑循环定义的理论框架及其推理机制研究

描述逻辑循环定义是计算机科学和人工智能长期以来的研究难点。在对国际上关于描述逻辑循环定义作了深入分析的基础上，本申请项目将以循环定义的理论框架的重构和完善为研究方向，研究描述逻辑循环定义不动点语义存在的语法条件，以及建立基于roles集特征的不动点语义、描述语义的理论框架，并研究用自动机刻画循环定义的语义。研究带若干条循环定义的扩充SHIQ 系统，以及给出基于roles集特征的SHIQ的推理机制。在最大不动点语义、最小不动点语义和描述语义下，研究带循环定义描述逻辑系统具多项式复杂性的综合推理机制。研究使用描述图之间的模拟与互模拟进行描述逻辑的推理方法。实现一个拥有完全自主知识产权的带循环定义的描述逻辑推理软件系统。这些研究，将对描述逻辑的理论及技术发展，对计算机科学、人工智能的理论及技术的发展产生一定的影响。