(1)序列中,偶数在偶数位置,奇数在奇数位置; (2)第五个数为5。
26. .α-β剪枝的条件是什么?
答: α剪枝:若任一极小值层节点的β值小于或等于它任一先辈极大值节点的α值,即α(先辈层)≥β(后继层),则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。
β剪枝:若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值,即α(后继层)≥β(先辈层),则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。
28、人工智能主要有哪几种研究途径和技术方法,简单说明之。 答:(1)符号智能:主要以符号知识为基础,通过符号推理进行问题求解而实现的智能,主要包括知识工程和符号处理技术;
(2)计算智能:是以数据计算为基础,通过数值计算进行问题求解而实现的智能,包括人工神经网络,进化计算,模糊技术等。 三、1、(1)将下列谓词公式化成子句集
?x?y??z?P?z??~Q?x,z???R?x,y,f?a???
答:?x?y??z?P?z??~Q?x,z???R?x,y,f?a???
?x?y?┐?z?P(z)?┐Q?x,z???R(x,y,f(a))? ?x?y??z?~P(z)?Q(x,z)??R(x,y,f(a))? ?y??z?~P(z)?Q(b,z)??R(b,y,f(a))? ?y??~P(g?y?)?Q(b,g?y?)??R(b,y,f(a))?
?~P(g?y?)?Q(b,g?y?)?R(b,y,f(a))?
(2)把下列谓词公式分别化成相应的子句集:?x(?yP(x,y)→~?y(Q(x,y)→R(x,y))) 解:x(
yP(x,y)→~y(Q(x,y)→R(x,y)))==>x(
yP(x,y)→
y~(~
Q(x,y)∨R(x,y))) ==>x(
yP(x,y)→
y(Q(x,y)∧~R(x,y))) y(Q(x,y)∧~R(x,y)))
y(Q(x,y)∧~R(x,y)))......改名) z(Q(x,z)∧~R(x,z)))
z(Q(x,z)∧~R(x,z)))......y=f(x),z=g(x)消去存在量词y,z
==>x(~yP(x,y)∨==>x(==>x(==>x(
y~P(x,y)∨y~P(x,y)∨y~P(x,y)∨
==>x(~P(x,f(x))∨(Q(x,g(x))∧~R(x,g(x))))
==>x((~P(x,f(x))∨(Q(x,g(x))∧(~P(x,f(x))∨~R(x,g(x))))
从而谓词公式的子句集是
{~P(x,f(x))∨(Q(x,g(x),~P(x,f(x))∨~R(x,g(x)))
8.设有A,B,C三人中有人从不说真话,也有人从不说假话,某人向这三人分别提出同一个问题:谁是说谎者?A 答:“B和C都是说谎者”;B答:“A和C都是说谎者”;C答:“A和B中至少有一个是说谎者”。求谁是老实人,谁是说谎者?(15分) 解:设用T(x)表示x说真话。 如果A说的是真话,则有
如果A说的是假话,则有:
对B和C说的话作相同的处理,可得:
把上面这些公式化成子句集,得到S:
入S得到
应用消解原理对S1进行消解:
下面首先求谁是老实人。把。即
比S多如下一个子句:
并
所以,C是老实人,即C从不说假话 除此之外,无论如何对
进行消解,都推不出ANSWER(B)和ANSWER(A)。
下面来证明A和B不是老实人。
设A不是老实人,则有一个子句:
把它否定并入S中,得到子句集,即比S多如下
应用消解原理对S2进行消解:
所以,A不是老实人。
同理,可以证明B也不是老实人。 9. 1)设已知:
(1)能阅读者是识字的; (2)海豚不识字;
(3)有些海豚是聪明的; 求证:有些聪明者并不能阅读. 证:定义如下命题: R(x):x能阅读; L(x):x识字; I(x):x是聪明的; D(x):x是海豚;
把已知条件及求证结论翻译成谓词公式为 x(R(x)→L(x))...已知 x(D(x)→~L(x))...已知 x(D(x)∧I(x))...已知
x(I(x)∧~R(x))...求证结论 将已知条件,求证结论的反化成子句集 ①~R(x)∨L(x) ②~D(y)∨~L(y) ③D(a) ④I(a)
⑤~I(z)∨R(z)
⑥~L(a)......2,3归结{a/y} ⑦~R(a)......1,6归结{a/x} ⑧R(a)......4,5归结{a/z} ⑨□......7,8归结 得证.
2)利用谓词逻辑表示下列知识(包括已知和结论),然后化成子句集: (1)凡是清洁的东西就有人喜欢; (2)人们都不喜欢苍蝇 求证:苍蝇是不清洁的。 证:现定义如下谓词
L(x,y)------某人x喜欢某物y; P(y)------ 某物y是清洁的东西
(1) ?y?x(P(y)→L(x,y)) ==> ┓P(y)∨L(f(y),y) (2) ?x(┓L(x,Fly)) ==> ┓L(x,Fly) (3) P(Fly) ...结论的反
(4) L(f(Fly), Fly) ...(1)(3)归结,置换{Fly/y} (5) □ ...(2)(4)归结,{f(Fly)/x} 得证。
10. 八数码游戏,初始棋局和目标棋局如图,定义启发函数h(x)表示某状态下与目标数码不同的位置个数,用全局择优法画出搜索的过程。
初始状态: 解:
,目标状态:
11. 张某被盗,公安局派了五个侦察员去调查。研究案情时,侦察员A说:“赵与钱中至少有一人作案”;侦察员D说:“钱与孙至少有一人作案”;侦察员C说:“孙与李中至少有一个作案”;侦察员D说“赵与孙至少一个与案无关”;侦察员E说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的,试用消解原理推理求出谁是盗窃犯。 解:设用T(x)表示x是作案者,则
侦察员A的话可表示:T(赵)T(钱) 侦察员B的话可表示:T(钱)T(孙) 侦察员C的话可表示:T(孙)T(李)
侦察员D的话可表示:T(赵) T(孙) 侦察员E的话可表示:T(钱) T(李)
上面五个组成子句集S,求谁是作案者,把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句:T(x)ANSWER(x)
然后利用消解原理对S1进行消解可得答案:钱和孙是作案者。
相关推荐: