资源描述：
《人工智能2015复习资料.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、1.深度优先方法的特点是什么？答:（1）属于图搜索；（2）是一个通用的搜索方法；（3）如果深度限制不合适，有可能找不到问题的解；（4）不能保证找到最优解。2.什么是置换？置换是可交换的吗？答:通常用有序对的集合s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。3.填写下面的三值逻辑表。其中T，F，U分别表示真，
2、假，不能判定4.什么是产生式？答：产生式规则基本形式：P→Q或者IFPTHENQP是产生式的前提（前件），用于指出该产生式是否可用的条件Q是一组结论或操作（后件），用于指出当前提P所指示的条件满足时，应该得出的结论或应该执行的操作5.产生式规则的语义是什么？产生式规则的语义：如果前提P被满足，则可推出结论Q或执行Q所规定的操作6.解释下列模糊性知识：1)张三，体型，（胖，0.9））。2)(患者，症状，(头疼，0.95))∧(患者，症状，(发烧，1.1))→(患者，疾病，(感冒，1.2))答：1）
3、表示：命题“张三比较胖”2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。7、简单阐述产生式系统的组成：答：1）产生式规则库：描述相应领域知识的产生式规则集。2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）。3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。8、补齐产生式系统与图搜索的对比表答：9、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU
4、答：k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={g(A,y)},z},其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k+1=1有δ1=δ0·｛g(A,y)/z｝=ε·｛g(A,y)/z｝=｛g(A,y)/z｝，S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是单元素集。根据求MGU算法，MGU=δ1=｛g(A,y)/z｝10.证明G是否是F1、F2的逻辑结论；证:①┓P(x)∨Q(x)．．．从F1变换②┓P(y)∨R(y
5、)`．．．从F1变换③P(a)．．．从F2变换④S(a)．．．从F2变换⑤┓S(z)∨┓R(z)．．．结论的否定⑥R(a)．．．②③归结｛a/y｝⑦┓R(a)．．．④⑤归结｛a/z｝⑧□．．．⑥⑦归结得证.11.谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。答：1）消去蕴含式和等价式→，<->2）缩小否定词的作用范围，直到其作用于原子公式:3）适当改名，使量词间不含同名指导变元和约束变元。4.）消去存在量词（形成Skolem标准型）5）消去所有全称量词6)化成合取范式7
6、).适当改名，使子句间无同名变元8).消去合取词∧，用逗号代替，以子句为元素组成一个集合S12.已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU答：k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={y,z},其中y是变元，z是项，且y不在z中出现。k=k+1=1有δ1=δ0·｛z/y｝=ε·｛z/y｝=｛z/y｝，S1=S0·｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集，求得差异集D1=｛z,x｝,k=
7、k+1=2;δ2=δ1·｛z/x｝=｛z/y,z/x｝,S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是单元素集。根据求MGU算法，MGU=δ2=｛z/y,z/x｝13.证明G是否是F的逻辑结论；证:①P(x)．．．从F变换②Q(a)∨Q(x)．．．从F变换③┓P(y)∨┓Q(y)．．．结论的否定④┓Q(x)．．．①③归结,{x/y}⑤□．．．②④归结,置换{a/x}得证。14.某问题由下列公式描述：试用归结法证明(x)R(x)；15.下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索
8、，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分16.设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)解:现定义如下谓词F(x,y)------x是y的父亲;G(x,z)------x是y的祖父;用谓词逻辑表示已知与求解:(1)F(x,y)∧F(y,z)→G(x,z)(2)F(L,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示
