《计算机学报》文章摘要   全文下载
文章题目	带n-元存在量词的描述逻辑MSC推理
作者	蒋运承1),2) 唐素勤3)
作者单位	1)(华南师范大学计算机学院 广州 510631) 2)(中国科学院计算机科学国家重点实验室 北京 100190) 3)(广西师范大学计算机科学与信息工程学院 广西桂林 541004)
发表年份	2009
发表月份	8期(1500—1510)
文章摘要	摘要 分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑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 中图法分类号：TP301 DOI号: 10.3724/SP.J.1016.2009.01500