,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:IFlen(N)=4THEN{x}∪{5}r2:IFlen(N)为偶数andn=In(1,3,7,9)THEN{x}∪{n}r3:IFlen(N)为奇数andn=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采用启发式搜索方法而不是普通的算法控制结构与知识是分离的允许出现不正确的答案化下列逻辑表达式为不含存在量词的前束范式?答:求下列谓词公式的子句集答:所以子句集为:{}若有梯形ABCD,将其中的若干定理形式化即定义一些谓词公式,然后利用归结原理证明内错角
全文预览
