首页> 正文

描述逻辑概念可满足性推理研究

2020-12-07阅读(510)

描述逻辑概念可满足性推理研究

论文摘要

在WEB上提供机器可理解的知识并实现WEB信息的自动处理逐渐成为人们重要的生活、工作需求之一。这其中,如何恰当地表示知识并在其上实现快速有效的推理以找出其它的相关知识是这个浩大工程中的关键点。随着研究的深入,关于知识表示与推理的研究已经转移到集中了其它诸多表示方法的优点而克服了它们缺点的描述逻辑当中。本文所关注的是在描述逻辑当中如何实现高效的概念可满足性的推理。因为概念可满足性是描述逻辑推理的基本问题之一,对该类问题进行高效处理具有相当重要的意义。经过一段时期的研究,本文取得了如下研究成果:1)提出了基于概念描述本身进行推理的新思路。概念可满足性算法Tableau是基于断言库ABox可满足性的,由此也带来了许多不必要的操作以及空间浪费。本文所提出的CDNF（Complete Disjunctive Normal Form）算法则是直接在初始概念描述上构建可满足性已知的完全析取范式,实现了“计算”概念可满足性,并可取得更好的空间性能。2)提出了面向ALCN的基础型CDNF算法。在描述逻辑基础语言ALCN中,Tableau算法就已存在描述重复情况。而CDNF算法在不改变描述的语义的前提下,移去（?）算子并合并部分描述,最后形成一个可满足性直接可知的描述,几乎消除了描述重复的现象,且移去（?）算子可进一步降低了空间的使用。3)提出了面向ALCNIR+的子句重用的CDNF判定算法。在描述逻辑语言ALCNIR+中,逆角色使得描述的重组织存在反复的可能,而传递性角色则可能导致描述无限扩展。必须采取一定的策略及时检测并阻止这种不必要的扩展。CDNF算法的子句重用与Tableau算法的精化阻塞技术相比,效果相同但只需更少的空间。4)提出了面向SHOIN（D）的CDNF算法。在与本体描述语言OWL DL相对应的描述逻辑SHOIN（D）中,CDNF算法在此要处理命名个体、数据类型,以及角色分层。此时,一个（?）算子的出现代表的涵义往往是两种事物之间的多重关系。此外,在前述基础上再考虑数量限制约束后,必须对子句重用的判断施加更强的条件。此时,CDNF算法相对于Tableau算法的优越性主要体现在减少∩、∪算子导致的描述重复。

论文目录

  • 摘要
  • Abstract
  • 第1章 绪论
  • 1.1 课题背景
  • 1.1.1 问题的提出
  • 1.1.2 研究内容
  • 1.1.3 意义
  • 1.2 描述逻辑简介
  • 1.2.1 发展过程
  • 1.2.2 与其它形式化方法的关系
  • 1.2.3 研究领域
  • 1.3 描述逻辑形式化方法
  • 1.3.1 ALC语言
  • 1.3.2 知识库
  • 1.4 描述逻辑系统
  • 1.5 描述逻辑的扩展
  • 1.5.1 模糊描述逻辑
  • 1.5.2 时态描述逻辑
  • 1.5.3 动态描述逻辑
  • 1.6 描述逻辑的应用
  • 1.6.1 在语义WEB中的应用
  • 1.6.2 在配置中的应用
  • 1.6.3 在自然语言处理中的应用
  • 1.6.4 在数字图书馆和基于WEB的信息系统中的应用
  • 1.6.5 在数据库中的应用
  • 1.7 本章小结
  • 第2章 描述逻辑的推理
  • 2.1 描述逻辑的主要推理问题
  • 2.1.1 概念的推理任务
  • 2.1.2 消除TBox
  • 2.1.3 含有包含公理的TBox
  • 2.1.4 Abox的推理任务
  • 2.2 结构包含算法
  • 2.3 Tableau算法
  • 2.3.1 算法简介
  • 2.3.2 面向ALCN的Tableau算法
  • 2.3.3 复杂性问题
  • 2.3.4 扩展到:Abox一致性问题
  • 2.3.5 扩展到一般包含公理
  • 2.4 本章小结
  • 第3章 去（?）化的CDNF判定ALCN-可满足性
  • 3.1 引言
  • 3.2 ALCN的语法与语义
  • 3.3 ALCN-CDNF概念可满足性算法
  • 3.3.1 相关基本定义
  • 3.3.2 ALCN-CDNF算法过程
  • 3.3.3 ALCN-CDNF的树结构及语义解释
  • 3.4 ALCN-CDNF算法的可靠性、完备性和终止性
  • 3.5 复杂性问题讨论
  • 3.6 与Tableau的性能比较
  • 3.7 本章小结
  • R+-可满足性'>第4章 子句重用的CDNF判定ALCNIR+-可满足性
  • 4.1 引言
  • R+的语法与语义'>4.2 ALCNIR+的语法与语义
  • R+的CDNF算法'>4.3 面向ALCNIR+的CDNF算法
  • 4.3.1 相关基本定义
  • R+-CDNF算法过程'>4.3.2 ALCNIR+-CDNF算法过程
  • R+-CDNF的树结构及语义解释'>4.3.3 ALCNIR+-CDNF的树结构及语义解释
  • R+-CDNF算法的可靠性、完备性和终止性'>4.4 ALCNIR+-CDNF算法的可靠性、完备性和终止性
  • 4.5 复杂性问题讨论
  • 4.6 与Tableau的性能比较
  • 4.7 本章小结
  • 第5章 CDNF群判定SHOIN（D）-可满足性
  • 5.1 引言
  • 5.2 语义WEB与本体论
  • 5.3 SHOIN（D）的语法与语义
  • 5.3.1 具体数据类型（D）
  • 5.3.2 命名个体（O）
  • 5.3.3 语法与语义
  • 5.4 面向SHOIN（D）的CDNF算法
  • 5.4.1 相关基本定义
  • 5.4.2 SHOIN（D）-CDNF算法过程
  • 5.4.3 SHOIN（D）-CDNF群的森林结构及语义解释
  • 5.5 SHOIN（D）-CDNF算法的可靠性、完备性和终止性
  • 5.6 扩展到一般包含公理
  • 5.7 复杂性问题讨论
  • 5.8 与Tableau的性能比较
  • 5.9 本章小结
  • 第6章 应用分析
  • 6.1 实例分析
  • 6.2 应用前景
  • 第7章 结论与展望
  • 7.1 结论
  • 7.2 展望
  • 参考文献
  • 攻读博士学位期间主要的研究成果
  • 致谢

    • 相关论文文献

    • [1].探析“军事体育”的概念[J]. 当代体育科技 2017(27)
    • [2].《国际功能、残疾和健康分类》:对物理和康复医学进行统一概念描述的模式[J]. 中国康复理论与实践 2008(12)
    • [3].《国际功能、残疾和健康分类》:对康复策略进行统一概念描述的模式[J]. 中国康复理论与实践 2008(12)
    • [4].基于特征化概念描述的气象短信重点用户数据挖掘方法[J]. 移动通信 2015(02)
    • [5].仿真学术的解脱向度[J]. 高教发展与评估 2019(02)
    • [6].中医药本体概念描述体系的自动构建研究[J]. 现代图书情报技术 2008(05)
    • [7].描述逻辑系统εLN中的概念包含推理算法研究[J]. 毕节学院学报 2010(08)
    • [8].CRM:维系顾客最重要——对话RAPP上海分析洞察总领李静[J]. 中国广告 2013(05)
    • [9].“方程”教学设计与思考[J]. 小学教学(数学版) 2011(04)
    • [10].阿尼那的建造生活[J]. 城市环境设计 2009(03)
    • [11].大数据隐患与无秩序的代价[J]. 领导科学 2016(30)
    • [12].厚重度:学习辅导类报刊的紧迫命题[J]. 编辑之友 2009(07)
    • [13].正视生死哲学，构建生命管理的方程式[J]. 家族企业 2019(10)
    • [14].基于知识发现的历史档案情报价值实现[J]. 档案学研究 2008(06)
    • [15].近15年国内养生旅游综述[J]. 市场论坛 2013(09)
    • [16].我对“总体、个体”概念的理解[J]. 中小学数学(初中版) 2017(12)
    • [17].概念描述数据挖掘的虚拟社区主要成员研究[J]. 现代经济信息 2009(04)
    • [18].无边的作坊[J]. 新美术 2018(08)
    • [19].“社会建设”概念研究综述[J]. 兰州教育学院学报 2013(09)
    • [20].升华生命是大学教育的哲学理念[J]. 教书育人 2012(21)
    • [21].非线性营销[J]. 新营销 2013(12)
    • [22].农村信息化 路还有多远?[J]. 上海信息化 2013(12)
    • [23].CITA突破传统 用纺织物建造Hybrid Tower[J]. 现代装饰 2017(05)
    • [24].产品的涵义[J]. 肉类研究 2009(03)
    • [25].大数据隐患与无秩序的代价[J]. 南风窗 2016(19)
    • [26].新疆林果业发展与果园机械产品需求的调研分析[J]. 新疆农机化 2008(01)
    • [27].中新教材高中“摩擦力”概念编写方式的比较研究[J]. 物理教学探讨 2019(05)
    • [28].罗纳克剧院，奥地利，维也纳[J]. 城市环境设计 2020(04)
    • [29].讲物理概念也需要“咬文嚼字”[J]. 中国教师 2018(S1)
    • [30].“平行与垂直”教学实录与评析[J]. 小学数学教育 2018(Z1)

    标签：;  ;  ;  ;  

    描述逻辑概念可满足性推理研究
    下载Doc文档

    猜你喜欢

    © 2024 毕速过 版权所有 鄂ICP备12018319号-5