论文部分内容阅读
为了使动态描述逻辑DDL具有处理简单矛盾问题的能力，引入可拓集合和可拓变换对它进行扩展．文章提出了一种动态描述逻辑DDLESET，给出了DDLESET的语法形式和语义解释；对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析；研究了DDLESET的基本推理问题，对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展．描述逻辑DDLESET具有对关联度值分别为正负域的模糊断言的表示与推理能力，并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略，从而使其变得可