面向矛盾问题的动态描述逻辑扩展研究
DOI: 10.3969/j.issn.1006-7043.2009.07.013
Keywords: 动态描述逻辑 可拓集合 可拓变换 矛盾问题
Abstract:
为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.
| [1] | 1. BAADER F.NUTr W Basic description logic 2003
|
| [2] | 2. STRACCIA U Reasoning within fuzzy description logics 2001(1)
|
| [3] | 3. ZADEH L A Fuzzy logic = Computing with words 1996(2)
|
| [4] | 4. SANCHEZ D.TETrAMANZI G Generalizing quantification in fuzzy description logic 2004
|
| [5] | 5. 蒋运承.史忠植.汤庸.王驹 面向语义Web语义表示的模糊描述逻辑 [期刊论文] -软件学报2007(6)
|
| [6] | 6. 李言辉.徐宝文.陆建江.汪鹏.周晶晶 一种扩展的模糊描述逻辑 [期刊论文] -东南大学学报（自然科学版）2005(5)
|
| [7] | 7. 史忠植.董明楷.蒋运承.张海俊 语义Web的逻辑基础 [期刊论文] -中国科学E辑2004(10)
|
| [8] | 8. 王驹.蒋运承.唐素勤 一种模糊动态描述逻辑 [期刊论文] -计算机科学与探索2007(2)
|
| [9] | 9. 蔡文.杨春燕.何斌 可拓逻辑初步 2003
|
| [10] | 10. 蔡文.杨春燕.林伟初 可拓工程方法 2000
|
| [11] | 11. SCHMIT-SCHAUB M.SMOLKA G Attributive concept description with complements 1991(1)
|
Full-Text
