带n-元存在量词的描述逻辑MSC推理

摘要：

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)一描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)-的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑、n-元存在量词、描述树、描述图、非标准推理、MSC

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60663001,60573010;中国科学院计算机科学国家重点实验室开放课题基金SYSKF0904;广西自然科学基金桂科青0640030,桂科自0991100,桂科自0832103

在线出版日期：2009-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1500-1510