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 南京师范大学计算机学院