人工智能课件蔡自兴不全第2章幻灯片.pptVIP

* * * * * * * * * * * * 2.4 语义网络法 2.4.4 语义网络的推理过程 基于语义网络的推理是继承、匹配和有哪些信誉好的足球投注网站的过程。 根据待求问题构造一个语义网络片段，然后在知识库中查找可与之匹配的语义网络。 2.5 框架表示法 框架采用语义网络中的“节点—槽—值”表示结构。 框架通常由描述事物的各个方面的槽组成，每个槽可以拥有若干个侧面，而每个侧面又可以拥有若干个值。 2.5.1 框架的构成 1 框架的一般结构 框架名 槽1侧面11值111…侧面12值121… … 槽2侧面21值211…侧面22值221… … … … 槽n侧面n1值n11…侧面n2值n21…… 框架举例 以下框架描述了JOHN的有关信息 框架名——JOHN 槽1——侧面11：isa； 值111：PERSON 槽2——侧面21：profession； 值211：PROGRAMMER 槽3——侧面31：height； 值311：1.8m 槽4——侧面41：weight； 值411：79kg 上例中所有槽均只有一个侧面，可以理解为： 框架名——JOHN 槽1——isa； 槽值：PERSON 槽2——profession；槽值：PROGRAMMER 槽3——height； 槽值：1.8m 槽4——weight； 槽值：79kg 2.5.2 框架的推理 框架是一种复杂结构的语义网络。因此语义网络推理中的匹配和特性继承在框架系统中也可以实行。 2.6剧本表示 剧本是框架的一种特殊形式，它用一组槽来描述某些事件的发生序列，就像剧本中的事件序列一样，故称为“剧本”。 2.7 过程表示 过程式表示就是将有关某一问题领域的知识，连同如何使用这些知识的方法，均隐式地表达为一个求解问题的过程。如何用过程式描述知识，完全取决于具体的问题。 思考题与作业 1) 状态空间法和问题归约法各自如何实现知识表示? 现将教材上的梵塔难题（由A、B、C三个盘简化为只有A、B两个盘）用状态空间法表示。设（SB，SA）表示问题的状态，SB、SA分别表示盘B、盘A所在的柱号。A（i，j）表示盘A从柱i移到柱j， B（i，j）表示盘B从柱i移到柱j。要求给出状态空间表示(S，F，G)中的S，F和G 。其中F用以下形式表示（要求给出条件）： IF 条件 THEN A（i，j） IF 条件 THEN B（i，j） 思考题与作业 2)用谓词演算公式表示以下句子： ① 不存在最大的整数。（设G(x)表示：x 是整数；D(x,y)表示:x 大于 y。) ② 对于任何自然数x和y，必有 x+yx。（设N（x）表示x是自然数；S（x,y,z）表示x+yz） 3）用语义网络表示： ① Every student whose specialized subject is computer study AI. ② all of us have read every book here. * * * * * * * * * * * * * * * * * * * * * * 2.3.3 置换与合一 谓词逻辑中的两个重要推理规则： 假元推理 全称化推理 2.3 谓词逻辑法 2.3.3 置换与合一 例：综合应用假元推理和全称化推理，有： 2.3.3 置换与合一 上例中使用了置换{A/x}。 置换定义：一个置换s是形如{t1/x1,t2/x2,…,tn/xn}的有限集合，其中t1,t2 ,…,tn是项（变量、常量或函数）， x1,x2,…,xn是互不相同的变量，ti/xi表示用ti置换（替换）xi。对谓词表达式E实施s置换的结果表示为Es 。没有元素的置换称为空置换，记为ε。 置换举例 设有表达式P[x,f(y),B] ，对于置换： s1={z/x,w/y} s2={A/y} 分别有： P[x,f(y),B]s1= P[z,f(w),B] P[x,f(y),B]s2= P[x,f(A),B] 2.3.3 置换与合一 合一定义：对于谓词表达式集{Ei}，若存在一个置换s ，可使E1s=E2s=…,=Ens ，则称s为{Ei} 的合一者，称{Ei} 为可合一的。 最一般合一者：如果s是{Ei}的任一合一者，又存在某个s’，使得{Ei}s= {Ei}gs’成立，则称g为{Ei}的最一般合一者。 合一者、最一般合一者举例 设有表达式集{Ei}={P[x,f(y),B]，P[x,f(B),B]}， ①该表达式集的合一者：s1={B/y}，s2={w/x,