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

证明： 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) 错误：取“非”。 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)} 错误：取非 结论取非的前束合取范式与子句集： ～G＝～{(?x)[R(x)→～Q(x)]} ＝～{(?x)[～R(x)∨～Q(x)]} ＝(?x)[R(x)∧Q(x)] ＝R(b)∧Q(b) 子句集为：{R(b) , Q(b)} 错误：与前面相同的常量符号 完整的子句集为： { ～P(x)∨～Q(y)∨～L(x, y) P(a) ～R(z)∨L(a, z) （改名） R(b) Q(b) } 反演过程： (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=Φ 5、编写Prolog程序，并上机调试通过： ①已知三个前提 F1:：王(Wang)先生是小李(Li)的老师 F2：小李与小张(Zhang)是同班同学 F3：如果x与y是同班同学，则x的老师就是y的老师。 问题：小张的老师是谁？ 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). 解： ②判断一个整数是否偶数。 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 * 人 工 智 能 Artificial Intelligence (AI) 许建华 xujianhua@njnu.edu.cn 南京师范大学计算机学院 2013年秋季 考试安排： 时间：2013 年 12 月 31 日周二下午1:30-3:30 地点：J2-501 2013年秋季学期书面作业讲解 状态空间法书面作业题： 8 7 6 3 4 2 5 1 初始状态 8 7 6 5 4 3 2 1 目标状态 利用宽度优先、深度优先（深度限制为4）、有序有哪些信誉好的足球投注网站算法（启发函数定义为数码不在位的个数）找出上述八数码问题从初始状态到目标状态的操作符序列？ 8 7 6 3 4 2 5 1 1 2 3 4 8 7 6 3 4 2 5 1 8 7 6 3 5 4 2 1 8 7 6 3 4 2 5 1 8 6 3 7 4 2 5 1 8 7 6 3 4 1 2 5 8 7 3 4 6 2 5 1 8 7 6 3 5 4 2 1 8 7 6 3 5 4 2 1 8 7 6 2 3 4 5 1 7 6 8 3 4 2 5 1 8 6 3 7 4 2 5 1 8 6 3 7 4 2 5 1 8 7 6 3 4 1 2 5 8 7 3 4 6 2 5 1 8 7 6 3 5 2 1 4 8 7 6 5 4 3 2 1 8 7 6 2 3 4 5 1 7 6 8 3 4 2 5 1 8 6 4 3 7 2 5 1 3 8 6 7 4 2 5 1 8 7 6 3 4 1 2 5 8 7 6 3 1 2 4 5 8