面向矛盾问题的描述逻辑SHOQ扩展

• 作者: 李剪 樊红杰 王红 王静
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 描述逻辑 可拓集合 可拓学 矛盾问题 动作理论
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 1139-1143
• 页数: 5页
• 分类号: TP18
• 字数: 7948字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2014.04.1139

摘要

为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王红	中国民航大学计算机科学与技术学院	45	320	11.0	16.0
2	王静	中国民航大学计算机科学与技术学院	41	100	5.0	8.0
3	李剪	中国民航大学计算机科学与技术学院	3	7	1.0	2.0
4	樊红杰	中国民航大学计算机科学与技术学院	4	10	2.0	3.0