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

• 作者: 张健沛 杨静 王静 程丽丽
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 动态描述逻辑 可拓集合 可拓变换 矛盾问题
• 年，卷（期）: 2009,（7）
• 页码范围: 792-796
• 页数: 5页
• 分类号: TP18
• 字数: 5887字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2009.07.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张健沛	哈尔滨工程大学计算机科学与技术学院	156	1356	19.0	28.0
2	程丽丽	哈尔滨工程大学计算机科学与技术学院	11	74	5.0	8.0
3	杨静	哈尔滨工程大学计算机科学与技术学院	178	2073	24.0	37.0
4	王静	哈尔滨工程大学计算机科学与技术学院	51	683	17.0	25.0