资源描述：
《秋季学期书面作业讲解》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、人工智能ArtificialIntelligence(AI)许建华xujianhua@njnu.edu.cn南京师范大学计算机学院2013年秋季考试安排：时间：2013年12月31日周二下午1:30-3:30地点：J2-5012013年秋季学期书面作业讲解状态空间法书面作业题：15243678初始状态12345678目标状态利用宽度优先、深度优先（深度限制为4）、有序搜索算法（启发函数定义为数码不在位的个数）找出上述八数码问题从初始状态到目标状态的操作符序列？1524367812341524367812453678152436781524736852143678152643
2、7812453678124536781543267815243867152473681524736852143678152643784125367812345678154326781524386715273468152476835214367854213678152637481526437841253678412653781234567812345867宽度优先152436781234152436781245367815243678152473681245367812453678154326781524386715247368152473681234567815432678
3、1524386715273468152476831234567812345867深度优先1547268315247683521734681527346815243867152486371543267813542678右边后产生1524367812341524367812453678152436781524736812453678124536781543267815243867123456781234567812345867有序搜索0+31+41+31+31+42+42+22+32+43+14+04+2存在的问题：(1)在宽度、深度搜索中，找到目标节点时，少画节点。我们现在规
4、则是对一个节点使用所有可能的操作符。(2)有序搜索中，没有计算深度值，h(n)计算有误。(3)没有标出操作符书面作业：假设当前的棋局为OX请用极大极小过程为MAX找出一个好棋？OXXOXOXXOXXXOXXOOXXOOXXOXOXOXOXOXO111221OOXXOXXOOXXOOXXOOXXO00001OOXX10OOXXOOXXOOXX1121OXOXXOXOXOOX00001XOXO1XOXOXOXOXOXO001存在的问题：中间层的值不是倒推计算出来的某些棋局的值计算有误消解原理部分的书面作业1、求公式集W={P(f(x),y),P(f(y),a)}的最一般的合一者
5、（一致置换）第一步：k=0,公式集F0=W,置换σ0=ε（空）,分歧集D0={x,y}置换为{y/x}σ1=σ0{y/x}={y/x}F1=F0{y/x}={P(f(y),y),P(f(y),a)}k=k+1=1解：{P(f(x),y),P(f(y),a)}第二步：F1中含有两个表达式，继续分歧集D1={a,y}，置换为{a/y}σ2=σ1{a/y}={a/x,a/y}F2=F1{a/y}={P(f(a),a)}k=2{P(f(y),y),P(f(y),a)}第三步：F2中只有一个表达式，结束所求的最一般的一致置换或最一般的合一者为：σ2={a/x,a/y}主要问题：合成运
6、算有误，错误答案：{y/x,a/y}还是两个公式2、求谓词公式～{(∀x){P(x)→{(∀y)[P(y)→P(f(x,y))]∧(∀y)[Q(x,y)→P(y)]}}}的子句集注：所有粗箭头仅表示配对的括号或者操作的符号分析公式的配对括号和量词的辖域～{(∀x){P(x)→{(∀y)[P(y)→P(f(x,y))]∧(∀y)[Q(x,y)→P(y)]}}}（消去蕴涵）=～{(∀x){[～P(x)]∨{(∀y)[～P(y)∨P(f(x,y))]∧(∀y)[～Q(x,y)∨P(y)]}}}（非直接作用到谓词符号）=(∃x){P(x)∧～{(∀y)[～P(y)∨P(f(x,y)
7、)]∧(∀y)[～Q(x,y)∨P(y)]}}=(∃x){P(x)∧{～{(∀y)[～P(y)∨P(f(x,y))]}∨～{(∀y)[～Q(x,y)∨P(y)]}}}=(∃x){P(x)∧{(∃y)[P(y)∧～P(f(x,y))]∨(∃y)[Q(x,y)∧～P(y)]}}（改名）=(∃x){P(x)∧{(∃y)[P(y)∧～P(f(x,y))]∨(∃z)[Q(x,z)∧～P(z)]}}（消去存在量词）=P(a)∧{[P(b)∧～P(f(a,b))]∨[Q(a,c)∧～P(c)]}用常量a,b,c代替变量x,y,z
