人工智能ppt-医学课件.pptVIP

例：八数码难题 　　 解：采用估价函数　f(n)=d(n)+W(n) 其中：d(n)是搜索树中节点n的深度； 　　W(n)用来计算对应于节点n的数据库中错放的棋子个数。 因此，起始节点棋局的f值等于0+3=3。 * Sg S0 3 4 4 5 5 5 6 4 6 4 4 6 * 3.4　 消解原理 　　重点掌握子句集的求解步骤和消解反演过程，掌握消解推理的规则。 * 3.4.1　 子句集的求取 例、将下列谓词演算公式化为一个子句集 　　　(?x){P(x)?{(?y)[P(y) 　 　　?P(f(x,y))]??(?y)[Q(x,y) ? P(y)]}} (1) (?x){~P(x)?{(?y)[~P(y) ? P(f(x,y))]??(?y)[~Q(x,y) ? P(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)]}} * (4) (?x){~P(x)?{(?y)[~P(y) ? P(f(x,y))]? 　　　　[Q(x,g(x)) ? ~ P(g(x))]}}　 　式中w=g(x)为一个Sk