人工智能逻辑(描述逻辑)

《人工智能逻辑(描述逻辑)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1高级人工智能第二章人工智能逻辑史忠植中国科学院计算技术研究所描述逻辑DescriptionLogicsAdvancedArtificialIntelligence第二章人工智能逻辑2.1逻辑-----重要的形式工具2.2非单调逻辑2.3默认逻辑2.4限定逻辑2.5自认知逻辑2.6真值维护系统2.7情景演算的逻辑基础2.8动态描述逻辑主要内容◆什么是描述逻辑？◆为什么用描述逻辑？◆描述逻辑的研究进展◆描述逻辑的体系结构◆描述逻辑的构造算子◆描述逻辑的推理问题◆我们的工作8.1什么是描述逻辑(DL)？一种基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑。建立在概念和关

2、系(Role)之上－概念解释为对象的集合－关系解释为对象之间的二元关系源于语义网络和KL-ONE是一阶逻辑FOL的一个可判定的子集具有合适定义的语义(基于逻辑)特点◆是以往表示工具的逻辑重构和统一形式化－框架系统(Frame-basedsystems)－语义网络(SemanticNetworks)－面向对象表示(OOrepresentation)－语义数据模型(Semanticdatamodels)－类型系统(Typesystems)－特征逻辑(FeatureLogics)◆具有很强的表达能力◆是可判定的，总能保证推理算法终止描述逻辑的应用◆概念建模◆查询优化和视图维护◆

3、自然语言语义◆智能信息集成◆信息存取和智能接口◆工程的形式化规范◆术语学和本体论◆规划◆…8.2为什么用描述逻辑？若直接使用一阶逻辑，而不附加任何约束，则：◆知识的结构将被破坏，这样就不能用来驱动推理◆对获得可判定性和有效的推理问题来说，其表达能力太高，（也许是太抽象了）◆对兴趣表达，但仍然可判定的理论，其推理能力太低。DL的重要特征是：◆很强的表达能力；◆可判定性，它能保证推理算法总能停止，并返回正确的结果。在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于以下三点:◆它们有清晰的模型-理论机制;◆它们很适合于通过概念分类学来表示应用领域；

4、◆它们提供了很用的推理服务。它们可以被认为是从基于框架的表示形式化向着精确的语义特征方向发展。此外，描述逻辑将分类学中表示和推理（专业推理）与在分类学中项的事实或实例的表示和推理（断言推理）区别开来。3描述逻辑的研究进展◆描述逻辑的基础研究研究描述逻辑的构造算子、表示和推理的基本问题，如可满足性、包含检测、一致性、可判定性等。一般都在最基本的ALC的基础上在扩展一些构造算子，如数量约束、逆关系、特征函数、关系的复合等。TBox和Abox上的推理问题、包含检测算法等。Schmidt-Schaub和Smolka首先建立了基于描述逻ALC的Tableau算法，该算法能在多项式时

5、间内判断描述逻辑ALC概念的可满足性问题。◆描述逻辑的扩展研究A.Artale和E.Franconi(1998)提出了一个知识表示系统，用时间约束的方法将状态、动作和规划的表示统一起来。为了能让描述逻辑处理模态词，F.Baader将模态操作引入描述逻辑，证明了该描述逻辑公式的可满足性问题是可判定的。Wolter等对具有模态算子的描述逻辑进行了深入系统的调查分析，并证明在恒定的领域假设下多种认知和时序描述逻辑是可判定的。另外如时序扩展(Artale,Wolter)、模糊扩展(Straccia)等。◆描述逻辑的应用研究描述逻辑在许多领域中被作为知识表示的工具，如信息系统（Ca

6、tarci,1993）数据库（Borgida,1995;Bergamaschi1992;Sheth,1993）软件工程(Devambu,1991)网络智能访问（Levy，1996；Blanco，1994）规划（Seida,1992）等Horrocks对表达能力较强的描述逻辑进行了研究，并建立了一些逻辑框架和系统，如FaCT，SHIQ等。他和DieterFensel等人将描述逻辑、语义网和DAML结合起来，提出了DAML+OIL，其中以描述逻辑作为核心的表示和推理基础。并在XML及其RDF上面进行了扩展，用描述逻辑来研究语义网络和本体论。4描述逻辑的体系结构一个描述逻辑系统

7、包含四个基本组成部分：1）表示概念和关系（Role）的构造集2）Tbox——关于概念术语的断言3）Abox——关于个体的断言4）Tbox和Abox上的推理机制。1）DL的基本元素——概念和关系◆概念——解释为一个领域的子集例子：所有在校学习的人员的集合构成“学生”概念又如：孩子，已婚的，哺乳动物等概念{x

8、Student(x)}，{x

9、Married(x)}◆关系(Roles)——属性(二元谓词，关系)例子：朋友，爱人，{

10、Friend(x,y)}，{

11、Loves(x,y)}知识库TBox(模式)Man≐H