人工智能逻辑-文档资料.pptVIP

描述逻辑的扩展研究 * 史忠植 高级人工智能 * A.Artale和E.Franconi (2019)提出了一个知识表示系统， 用时间约束的方法将状态、动作和规划的表示统一起来。 为了能让描述逻辑处理模态词，F.Baader将模态操作 引入描述逻辑，证明了该描述逻辑公式的可满足性问题 是可判定的。 Wolter等对具有模态算子的描述逻辑进行了深入系统 的调查分析，并证明在恒定的领域假设下多种认知和时序 描述逻辑是可判定的。 另外如时序扩展(Artale, Wolter)、模糊扩展(Straccia)等。 * 史忠植 高级人工智能 * 描述逻辑在许多领域中被作为知识表示的工具，如 信息系统（Catarci,1993） 数据库（Borgida,2019; Bergamaschi 1992; Sheth, 1993） 软件工程(Devambu, 1991) 网络智能访问（Levy， 2019； Blanco，1994） 规划（Seida, 1992）等 Horrocks对表达能力较强的描述逻辑进行了研究， 并建立了一些逻辑框架和系统，如FaCT，SHIQ等。他 和Dieter Fensel等人将描述逻辑、语义网和DAML结合 起来，提出了DAML+OIL，其中以描述逻辑作为核心的 表示和推理基础。并在XML及其RDF上面进行了扩展， 用描述逻辑来研究语义网络和本体论。 描述逻辑的应用研究 研究背景 语义Web [Bemers-Lee 2019, 2019] 描述逻辑：OWL的逻辑基础[Horrocks 2019] 特点：描述能力 + 可判定；有效的判定算法和推理机制。 局限：不能处理动态领域中与动作相关的知识。 OWL Lite OWL DL OWL Full SHIF(D) SHOIN(D) 不可判定 * 史忠植 高级人工智能 * 描述逻辑的体系结构 一个描述逻辑系统包含四个基本组成部分： 1）表示概念和关系（Role）的构造集 2）Tbox——关于概念术语的断言 3）Abox——关于个体的断言 4）Tbox和Abox上的推理机制。 * 史忠植 高级人工智能 * ◆ 概念 ——解释为一个领域的子集 例子：所有在校学习的人员的集合构成“学生”概念 又如：孩子，已婚的，哺乳动物等概念 {x | Student(x) } ，{x | Married(x) } ◆ 关系(Roles) ——属性(二元谓词，关系) 例子：朋友，爱人， {x,y | Friend(x,y) } ，{x,y | Loves(x,y) } DL的基本元素——概念和关系 * 史忠植 逻辑基础 * 默认理论 一个默认理论?由两个部分组成，即默认规则 集D和公式集W，一般用二元组来表示 ?＝ D,W 若D中的规则是闭规则时，则?为闭默认理论。 定义：设?＝ D,W 为一闭默认理论， ?为关于D的 一个算子，?作用于任意的命题集合S，而其值为满 足下列三个性质的最小命题集合?(S)： (1) W ? ?(S) (2) Th(?(S)) = ?(S)，其中Th(?(S)) = {A|?(S) ? A} (3) 如果D中有规则 ， 且?∈?(S)，??1, …, ??m ? S ，那么?∈?(S) * 史忠植 逻辑基础 * 默认理论的扩充 定义：对命题集合E，如果?(E) = E，则E称为关于 D的算子?的不动点(fixpoint)。此时称E为默认理论 ?＝ D,W 的一个扩充(extension)。 例1：设D ＝ { }，W ＝ ?，计算默认 理论?＝ D,W 的扩充。 ?＝ D,W 有唯一的扩充E ＝ Th({?B, ?F})。 默认理论的扩充 * 史忠植 逻辑基础 * 例2：设 D ＝ { }， W ＝ {B, C?F∨A, A∧C ? ?E}，计算默认理论 ?＝ D,W 的扩充。 ?＝ D,W 有三个扩充 E1 ＝ Th(W?{A, C}) E2 ＝ Th(W?{A, E}) E3 ＝ Th(W?{C, E, G}) * 史忠植 逻辑基础 * 限定推理 1980年，McCarthy提出了一种非单调的推理—— 限定推理(Circumscription)。 基本思想：从某些事实A出发能够推出具有某一性质的P的对象就是满足性质P的全部对象。只有当发现其它对象也具有该性质时，才修改这种看法。 限定逻辑 * 史忠植 逻辑基础 * 限定逻辑CIRC是一种极小化逻辑。下面，从一个基于 极小模型定义的命题限定出发，给出限定的基本定义, 进 而给出一阶限定的基本结果，并将它推广。 定义 2.1 设L0是一个命题语言，p1,p2是在命