面向矛盾问题的动态描述逻辑扩展研究 (2009年)

【文件属性】：
文件名称：面向矛盾问题的动态描述逻辑扩展研究 (2009年)
文件大小：188KB
文件格式：PDF
更新时间：2021-06-13 22:32:37
工程技术 论文 为了使动态描述逻辑 DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展。文章提出了 一种动态描述逻辑 DDLESET,给出了 DDLESET的语法形式和语义解释;对传统描述逻辑、模糊 DDL和 DDLESET中的 ABox形 式进行了比较分析;研究了 DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法 Tableau算法进行了可拓扩展。 描述逻辑 DDLESET具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可 满足的概念或不可实现的动作提