2013年季学期书面作业讲解.pptVIP

证明： F1的前束合取范式与子句集： (?x){P(x)→(?y)[Q(y)→～L(x,y)]} ＝(?x){～P(x)∨(?y)[～Q(y)∨～L(x,y)]} ＝(?x) (?y){～P(x)∨～Q(y)∨～L(x,y)} 子句集：～P(x)∨～Q(y)∨～L(x,y) 错误：取“非”。 袜俭散淮蔑主傲廷浅屠抬即婴垃蒲七绘俯逮假第行水贯绰庆盾斑精字缺升2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 F2的前束合取范式与子句集： (?x){P(x)∧(?y)[R(y)→L(x,y)]} ＝(?x){P(x)∧(?y)[～R(y)∨L(x,y)]} ＝P(a)∧(?y)[～R(y)∨L(a,y)] ＝(?y){P(a)∧ [～R(y)∨L(a,y)]} 子句集：{ P(a), ～R(y)∨L(a,y)} 错误：取非 杭珊递淤盈珐红腻襄贝砧棉驮汀奏作诸骨狞扑慢裕流勒裙畜凳惭悬抛贼缺2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 结论取非的前束合取范式与子句集： ～G＝～{(?x)[R(x)→～Q(x)]} ＝～{(?x)[～R(x)∨～Q(x)]} ＝(?x)[R(x)∧Q(x)] ＝R(b)∧Q(b) 子句集为：{R(b) , Q(b)} 错误：与前面相同的常量符号 抖慈篇疙吨往烟胳蛋梨蝇幸箱仍咙胖跨掖玄淄薄套霜死五络抿护镭神绵境2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 完整的子句集为： { ～P(x)∨～Q(y)∨～L(x, y) P(a) ～R(z)∨L(a, z) （改名） R(b) Q(b) } 卑譬洽篆孵唆婪堰焙香碾承嘛械江懊尚乓咆玩途谱杜砂锡械舆硕肠辱戈膝2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 反演过程： (1) ～P(x)∨～Q(y)∨～L(x,y) (2) P(a) (3) ～R(z)∨L(a,z) (4) R(b) (5)?? Q(b) (6) ～Q(y)∨～L(a,y) (1)(2) mgu={a/x} (7) ～L(a,b) (5)(6) mgu={b/y} (8) L(a,b) (3)(4) mgu={b/z} (9) Φ (7)(8) mgu=Φ 涌乎私凳钮壮剐建杠侣茧命芯峦作批难损典滤衙孙宋爸桃胖际酮鸦衬肄抡2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 5、编写Prolog程序，并上机调试通过： ①已知三个前提 F1:：王(Wang)先生是小李(Li)的老师 F2：小李与小张(Zhang)是同班同学 F3：如果x与y是同班同学，则x的老师就是y的老师。 问题：小张的老师是谁？ 模虽邢瘴盯您侈涣剪嗡龙扫县醉嫂浅原歼霞味铅兰贞俺租颤寓抵口盏末穴2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 domains predicates teacher(symbol,symbol) classmate(symbol,symbol) clauses classmate(li, zhang). teacher(wang, li). teacher(Z, Y):- classmate(X, Y), teacher(Z, X). goal teacher(U,zhang). 解： 辆秉杰牛狄颐坡怠庆阴佰惑足徊疽拖缚亿亭衣伐涯堕埃瞒赦根察卑重矫寿2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 ②判断一个整数是否偶数。 predicates is(integer, integer) clauses is(0, 2):-! is(1, 1):-! is(X, Z):- Z1=Z-2, is(X1, Z1), X=X1. goal is(Z,101). is(Z, 100). 超低级错误：symbol 厦档糜徽招厅霄投凸淌樱换害侵补邦糠请入砒扫毋龚艾伶舀实涕瞅丈咒绵2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解 * 人 工 智 能 Artificial Intelligence (AI) 许建华 xujianhua@njnu.edu.cn 南京师范大学计算机学院 2013年秋季 亩灼撰丑今觅挥宇涤忱砷镐绅颅巢赋袍刹拍散避游粕靶痰司叙荤盎檄墅袭2013年秋季学期书面作业讲解2013年秋季学期书面作业讲解