%0 Journal Article
%T 面向矛盾问题的动态描述逻辑扩展研究
%A 王静
%A 张健沛
%A 杨静
%A 程丽丽
%J 哈尔滨工程大学学报
%D 2009
%R 10.3969/j.issn.1006-7043.2009.07.013
%X 为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.
%K 动态描述逻辑 可拓集合 可拓变换 矛盾问题
%U http://heuxb.hrbeu.edu.cn/oa/darticle.aspx?type=view&id=20090713