(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}Р⑦ G(L,X) ...④⑥归结,置换{L/u,X/v}Р得结果:L是X的祖父,即老李是小李的祖父。Р7、如下的知识可以帮助求解该问题:Р(1)序列中,偶数在偶数位置,奇数在奇数位置;Р(2)第五个数为5。Р综合数据库:Р用一个1到9的序列表示:N = {x},其中x为1到9的数字之一。Р规则集:Рr1: IF len(N)=4 THEN {x}∪{5}Рr2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN {x}∪{n}Рr3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN {x}∪{n}Р其中len(N)为求序列的长度,In(a, b, c, d)为取a、b、c、d之一。Р初始状态:{}Р结束条件:得到的序列N前i个数组成的整数能被i整除Р人工智能试卷十三Р什么是人工智能?人工智能与计算机程序的区别?Р答:AI是研究如何制造人造的智能机器或智能系统来模拟人类智能活动的能力以延伸人类智能的科学,它与计算机程序的区别是:РAI研究的是符号表示的知识而不是数值数据为研究对象РAI采用启发式搜索方法而不是普通的算法Р控制结构与知识是分离的Р允许出现不正确的答案Р化下列逻辑表达式为不含存在量词的前束范式Р?答: