文档介绍：: .
{}人管理信息化人工智能
5、证明 G 是否是 F 的逻辑结论；
四、应用题(共 30 分)
1、用语义网络表示下列信息：
(1)胡途是思源公司的经理，他 35 岁，住在飞天胡同 68 号
(2)清华大学与北京大学进行蓝球比赛，最后以 89：102 的比分结束。
答：
2、图示博弈树，其中末一行的数字为假设的估值，请利用α-β剪枝技术剪去不必要的分枝。（在节点及边
上直接加注释）
3、设有如下关系：（1）如果 x 是 y 的父亲，y 又是 z 的父亲，则 x 是 z 的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？
答案：
一、1、B2、C3、A4、C5、C
6、D7、A8、A9、A10、D
11、A12、D13、B14、C15、B
二、1、随机性，模糊性，不完全性，不一致性
2、纯文字，永真式，类含
3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}
4、节点，有向边，或图，与或图
5、最一般合一（MGU）
6、被触发规则
7、A→B，概率
8、制造智能机器，实现机器智能
三、1、
2、产生式规则基本形式：P→Q 或者 IFPTHENQ
P 是产生式的前提（前件），用于指出该产生式是否可用的条件
Q 是一组结论或操作（后件），用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作
产生式规则的语义：如果前提 P 被满足，则可推出结论 Q 或执行 Q 所规定的操作
3、1）消去蕴含式和等价式→，<->
2）缩小否定词的作用范围，直到其作用于原子公式:
3）适当改名，使量词间不含同名指导变元和约束变元。
4.）消去存在量词（形成 Skolem 标准型）
5）消去所有全称量词
6)化成合取范式
7).适当改名，使子句间无同名变元
8).消去合取词∧，用逗号代替，以子句为元素组成一个集合 S
4、解：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=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｝
5、证:①P(x)．．．从 F 变换②Q(a)∨Q(x)．．．从 F 变换
③┓P(y)∨┓Q(y)．．．结论的否定
④┓Q(x)．．．①③归结,{x/y}
⑤□．．．②④归结,置换{a/x}
得证。
四、
2、
3、解:现定义如下谓词
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 表示小李。
先证存在祖孙关系
①┓F(x,y)∨┓F(y,z)∨G(x,z)．．．从(1)变换
②F(L,D)．．．从(2)变换
③F(D,X)．．．从(3)变换
④┓G(u,v)．．．结论的否定
⑤┓F(D,z)∨G(L,z)．．．①②归结,置换｛L/x,D/y｝
⑥G(L,X)．．．③⑤归结,置换｛X/z｝
⑦□．．．④⑥归结,置换｛L/u,X/v｝
得证,说明存在祖孙关系。
为了求解用一个重言式④
④┓G(u,v)∨G(u,v)．．．用重言式代替结论的否定,重言式恒为真
⑤┓F(D,z)∨G(L,z)．．．①②归结,置换｛L/x,D/y｝
⑥G(L,X)．．．③⑤归结,置换｛X/z｝