具有两种否定的描述逻辑系统MALC

• 作者: 潘正华 程天笑
• 来源期刊: 计算机工程与科学
• 学科: 数学
• 关键词: 描述逻辑ALC 中介逻辑 中介无穷值语义模型
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 65-67,91
• 页数: 4页
• 分类号: O159
• 字数: 4599字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.020

摘要

否定信息在知识表示和推理中具有非常重要的作用.随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定.描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定.本文将模糊否定词～和对立否定词,引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力.同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘正华	江南大学理学院	45	217	9.0	13.0
2	程天笑	江南大学理学院	3	14	2.0	3.0