人工智能逻辑76.ppt

Prolog 的执行方式 搜索： 在程序中自上而下地搜索事实和规则； 匹配： 将目标中的项与事实和规则进行匹配； 回溯： 当目标中一项失败时，如果目标中有已经 成功的的项 ( 应在失败项的左边 ) ，那末就重新调 用这些成功项中最右边的一个，谋求新的成功。 Prolog 的基本特点 Horn 子句逻辑是 Prolog 的基础。 ? Prolog 既是一种逻辑程序设计语言，又是一个逻辑 系统。 ? Prolog 是一种描述性语言，它是一种面向问题的语 言，你只需要告诉它要做什么，即给出问题的形式 描述，而不需要知道应该如何做。 ? Prolog 完全依靠匹配、回溯来进行搜索。 Prolog 的 求解过程是一个寻求否证的消解过程。 ? Prolog 也使用元语言种的谓词，有很强的描述能力。 ? Prolog 采用统一的数据结构 —— 项，它包含控制成 分，且有专门进行数值计算和符号处理的模块。 逻辑程序设计 PROLOG B ? A 1 , … , A n B ? ? ? A 1 , … , A n 单调逻辑 ? 在现有知识的基础上，通过严密的逻辑论证和 推理获得的新知识必须与已有的知识相一致。 A ， A ? B ? B ? 推理系统的定理集合随着推理过程的进行而单 调地增大。 单调性： (1) ? ∈ Th( ? ) (2) 若 ? 1 ? ? 2 ，则 Th( ? 1 ) ? Th( ? 2 ) (3) Th(Th( ? )) ＝ Th( ? ) ( 不动点 ) 非单调逻辑 推理系统的定理集合并不随着推理过程的进行 而单调地增大，新推出地定理很可能会否定、 改变原来地一些定理，使得原来能够解释地某 些现象变得不能解释了。 新规则： (4) ? ? ? P ( 不动点 ) 非单调逻辑 推理系统的定理集合并不随推理 过程的进行而单调地增大 , 新推出的 定理很可能会否定、改变原来的一些 定理 , 使得原来能够解释的某些现象变 得不能解释了。 非单调逻辑 推理系统的定理集合并不随推理 过程的进行而单调地增大 , 新推出的 定理很可能会否定、改变原来的一些 定理 , 使得原来能够解释的某些现象变 得不能解释了。 t1<t2 F(t1) ? F(t2) 非单调逻辑 鸟会飞 鸵鸟是鸟 所以 , 鸵鸟会飞 非单调推理 1 John 在时刻 t 1 是活着的 2 Dell 在时刻 t 2 >t 1 把子弹装进枪膛 3 Dell 在时刻 t 3 >t 2 举枪对 John 射击 4 问题： John 在时刻 t 4 >t 3 还是活着吗？ 非单调逻辑 设 ? 表示推理规则集 , 则单调逻辑语言 Th( ? )={A| ?? A} (1) ?? Th( ? ) (2) if ? 1 ? ? 2, then Th( ? 1 ) ? Th( ? 2) (3) Th(Th( ? )) = Th( ? ) ( 不动点 ) (4) if ? ? ? ? ? P,then ? ?? MP 其中 M 模态词 默认逻辑 1980 年， Reiter 提出了默认缺省逻辑 (Default Logic) 。 “一般情况下鸟是会飞的” “鸵鸟不会飞” “企鹅不会飞” ) ( ) ( : ) ( x fly x Mfly x Bird 会飞 会飞”与系统不矛盾 “ 是鸟 x x x : 默认规则 一个默认规则是如下形式的规则： ) ( ) ( , ), ( : ) ( 1 x x M x M x n ? ? ? ? ? ? ( x ) : 称为前提条件 ? i ( x ) : 称为缺省条件，或检验条件 ? ( x ) : 称为结论 为简便，通常情况下可以省略检验条件中的 M 。 规则的使用： 出检验条件的否定 ? ? i ( x ) ，则可以得出结论成立。 默认理论 一个 默认理论 ? 由两个部分组成，即 默认 规则 集 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 ) ? ? ? ? n M M , , : 1 ? 默认理论的