人工智能逻辑(ppt76)-经营管理(编辑修改稿)

人工智能逻辑(ppt76)-经营管理(编辑修改稿)内容摘要：

； 它与事实的不同在于，规则所定义的性质、关系依 赖与其它的性质和关系，因此规则呈蕴涵语句形式。 B:— A “如果 A则 B” bird(x) :— animal(x)， has(x, feather) • 问题： 关于对象性质或关系的询问。 ?— student(john) ?— married(mary， x) 来自 中国最大的资料库下载 Prolog语言的基本文法 Prolog语言的最基本语言成分是项 (term)，一个 项或者是常量，或者是变量，或者是一个结构。 • 常量： 是指对象和对象之间的特定关系的名； 整数 ， 如 0， 22， 1586等； 原子 ， 如 John， student， likes， sisterof • 变量： 表示任意的对象，它与 FOL中的变元相同； Prolog中变量可以用大写字母，下划线，以及由它们 开头的字母串。 如 X, Y, Answer, _value等。 • 结构： 是常量和变量的序列，它由一个函子 (函词 或谓词 )和该函子的自变量所组成。 如： likes(john, X) married(mary, jack) 来自 中国最大的资料库下载 例： (1) likes(bell, sports) (2) likes(mary, smith) (3) likes(mary, sports) (4) likes(jones, smith) (5) friend(john, X) :— likes(X, sports), likes(X, smith) (规则 ) (6) ?— friends(john, Y) (问题 ) (事实 ) (7)?— likes(X, sports), likes(X, smith) (8)?— likes(bell, smith) (bell / X) (7)?— likes(X, sports), likes(X, smith) (8)?— likes(mary, smith) (mary / X) Y = mary， John与 Mary是朋友 来自 中国最大的资料库下载 Prolog的执行方式 搜索： 在程序中自上而下地搜索事实和规则； 匹配： 将目标中的项与事实和规则进行匹配； 回溯： 当目标中一项失败时，如果目标中有已经成功的的项 (应在失败项的左边 )，那末就重新调用这些成功项中最右边的一个，谋求新的成功。 来自 中国最大的资料库下载 Prolog的基本特点 Horn子句逻辑是 Prolog的基础。 • Prolog既是一种逻辑程序设计语言，又是一个逻辑系统。 • Prolog是一种描述性语言，它是一种面向问题的语言，你只需要告诉它要做什么，即给出问题的形式描述，而不需要知道应该如何做。 • Prolog完全依靠匹配、回溯 来进行搜索。 Prolog的求解过程是一个寻求否证的消解过程。 • Prolog也使用元语言种的谓词，有很强的描述能力。 • Prolog采用统一的数据结构 —— 项，它包含控制成分，且有专门进行数值计算和符号处理的模块。 来自 中国最大的资料库下载 逻辑程序设计 PROLOG B  A1, …, An B  ?  A1, …, An 来自 中国最大的资料库下载 单调逻辑 • 在现有知识的基础上，通过严密的逻辑论证和推理获得的新知识必须与已有的知识相一致。 A， AB B • 推理系统的定理集合随着推理过程的进行而单调地增大。 单调性： (1)  ∈ Th( ) (2) 若 1 ⊆ 2 ，则 Th(1) ⊆ Th(2) (3) Th(Th( )) ＝ Th( ) (不动点 ) 来自 中国最大的资料库下载 非单调逻辑 推理系统的定理集合并不随着推理过程的进行而单调地增大，新推出地定理很可能会否定、改变原来地一些定理，使得原来能够解释地某些现象变得不能解释了。 新规则： (4)  ⊬ 172。 P (不动点 ) 来自 中国最大的资料库下载 非单调逻辑 推理系统的定理集合并不随推理 过程的进行而单调地增大 , 新推出的 定理很可能会否定、改变原来的一些 定理 ,使得原来能够解释的某些 现象变 得不能解释了。 来自 中国最大的资料库下载 非单调逻辑 推理系统的定理集合并不随推理 过程的进行而单调地增大 , 新推出的 定理很可能会否定、改变原来的一些 定理 ,使得原来能够解释的某些 现象变 得不能解释了。 t1t2 F(t1)F(t2) 来自 中国最大的资料库下载 非单调逻辑 鸟会飞 鸵鸟是鸟 所以 ,鸵鸟会飞 来自 中国最大的资料库下载 非单调推理 1 John在时刻 t1是活着的 2 Dell在时刻 t2t1把子弹装进枪膛 3 Dell在时刻 t3t2举 枪对 John射击 4 问题： John在时刻 t4t3还 是活着吗。 来自 中国最大的资料库下载 非单调逻辑 设 表示推理规则集 ,则单调逻辑语言 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)。 “一般情况下鸟是会飞的” “鸵鸟不会飞” “企鹅不会飞” )()(:)(xflyxM f l yxB i r d会飞会飞”与系统不矛盾“是鸟xxx :来自 中国最大的资料库下载 默认 规则 一个默认规则是如下形式的规则： )()(,),(:)( 1xxMxMx n  (x):称为前提条件 i(x):称为缺省条件，或检验条件  (x):称为结论 为简便，通常情况下可以省略检验条件中的 M。 规则的使用： 出检验条件的否定 172。 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)， 172。 1, … , 172。 m ∉ S ， 那么 ∈(S)  nMM ,: 1 来自 中国最大的资料库下载 默认 理论的扩充 定义 ：对命题集合 E，如果 (E) = E，则 E称为关于 D的算子 的 不动点 (fixpoint)。 此时称 E为 默认 理论 ＝ D,W 的一个 扩充 (extension)。 例 1：设 D ＝ { }， W ＝ ，计算 默认 理论 ＝ D,W 的 扩充。 FCCBBA:,:,:＝ D,W 有唯一的扩充 E ＝ Th({172。 B, 172。 F})。 来自 中国最大的资料库下载 例 2：设 D ＝ { }， W ＝ {B, CF∨A, A∧C  172。 E}，计算 默认 理论 ＝ D,W 的 扩充。 GAFAECEEAFCCBAA  ,:,:,:,:＝ D,W 有三个扩充 E1 ＝ Th(W{A, C}) E2 ＝ Th(W{A, E}) E3 ＝ Th(W{C, E, G}) 来自 中国最大的资料库下载 封闭默认理论的扩展 设封闭默认理论  = D, W, 为关于 D的一个算符 ，  作用。