人工智能程序设计语言-2015技术分析.pptVIP

人工智能程序设计语言;内容;内容;综述;综述;综述-函数型语言;综述-逻辑型语言;综述-逻辑型语言;综述-面向对象语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;内容;函数型程序设计语言LISP;函数型程序设计语言LISP;LISP的程序结构;一个LISP程序;LISP的基本函数;表处理函数;表处理函数;算术函数;求值与赋值函数;谓词函数;谓词函数;条件函数;条件函数;自定义函数;例 定义求N!的LISP函数;例 HANOI;内容;逻辑型程序设计语言PROLOG;Horn逻辑;Horn逻辑;Horn逻辑;Prolog的基本特点;内容;PROLOG的语句;事实(fact);规则(rule);问题(question);Prolog的一些内建谓词;PROLOG程序;PROLOG程序的运行机理;PROLOG程序的运行机理;PROLOG程序的运行机理;PROLOG程序的运行机理;设所给的询问是 ?-friend(john,Y).(john和谁是朋友?) 则求解目标为 friend(john,Y). 这时，系统对程序进行扫描，寻找能与目标谓词匹配合一的事实或规则头部。显然，程序中前面的四条事实均不能与目标匹配，而第五个语句的左端即规则; friend(john,X):-likes(X,reading),likes(X,music). 头部可与目标谓词匹配合一。但由于这个语句又是一个规则，所以其结论要成立则必须其前提全部成立。于是，对原目标的求解就转化为对新目标 likes(X,reading),likes(X,music). 的求解。这实际是经归结，规则头部被消去，而目标子句变为 ?-likes(X,reading),likes(X,music). 现在依次对子目标 likes(X,reading)和likes(X,music) 求解; 子目标的求解过程与主目标完全一样，也是从头对程序进行扫描，不断进行测试和匹配合一等，直到匹配成功或扫描完整个程序为止。可以看出，对第一个子目标like(X,reading)的求解因无可匹配的事实和规则而立即失败，进而导致规则 friend(john,X):-likes(X,reading),likes(X,music).的整体失败。于是，刚才的子目标 likes(X,reading)和likes(X,music) ; 被撤消，系统又回溯到原目标friend(john,X) 这时，系统从该目标刚才的匹配语句处（即第五句）向下继续扫描程序中的子句，试图重新使原目标匹配，结果发现第六条语句的左部，即规则 friend(john,X):-likes(X,sports),likes(X,music). 的头部可与目标为谓词匹配。但由于这个语句又是一个规则，于是，这时对原目标的求解，就又转化为依次对子目标 likes(X,sports)和likes(X,music); 的求解。这次子目标likes(X,sports)与程序中的事实立即匹配成功，且变量X被约束为bell。于是，系统便接着求解第二个子目标。由于变量X已被约束，所以这时第二个子目标实际上已变成了 likes(bell,music). 由于程序中不存在事实likes(bell,music)，所以该目标的求解失败。于是，系统就放弃这个子目标，并使变量X恢复为自由变量，然后回溯到第一个子目标，重新对它进行求解。由于系统已经记住了刚才已同第一子目标谓词匹配过的事实的位置，所以重新求解时，便从下一个事实开始测试。 ; 易见，当测试到程序中第三个事实时，第一个子目标便求解成功，且变量X被约束为mary。这样，第二个子目标也就变成了 likes(mary,music). 再对它进行求解。这次很快成功。 由于两个子目标都求解成功，所以，原目标friend(john,Y)也成功，且变量Y被约束为mary(由Y与X的合一关系)。于是，系统回??： Y=mary 程