人工智能导论专家讲座.pptx

第2章逻辑程序设计语言PROLOG2.1基本PROLOG2.2TurboPROLOG程序设计2.1基本PROLOG2.1.1PROLOG语句1.事实(fact)格式〈谓词名〉(〈项表〉).student(john).like(mary,music).abc.repeat.功效普通表示对象性质或关系。2.规则(rule)格式〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)}.bird(X):-animal(X),has(X,feather).grandfather(X,Y):-father(X,Z),father(Z,Y).run:-start,step1(X),step2(X),end.功效普通表示对象间因果关系、蕴含关系或对应关系。3.问题(question)格式?-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)}.?-student(john).?-like(mary,X).功效问题表示用户问询,它就是程序运行目标。2.1.2PROLOG程序PROLOG程序普通由一组事实、规则和问题组成。问题是程序执行起点,称为程序目标。likes(bell,sports).likes(mary,music).likes(mary,sports).likes(jane,smith).friend(john,X):-likes(X,reading),likes(X,music).friend(john,X):-likes(X,sports),likes(X,music).?-friend(john,Y).?-likes(mary,X).或?-likes(mary,music).或?-friend(X,Y).或?-likes(bell,sports),likes(mary,music),friend(john,X).2.1.3PROLOG程序运行机理1.自由变量与约束变量2.匹配合一两个谓词可匹配合一,是指两个谓词名相同,参量项个数相同,参量类型对应相同,而且对应参量项还满足以下条件之一：(1)假如两个都是常量,则必须完全相同。(2)假如两个都是约束变量,则两个约束值必须相同。(3)假如其中一个是常量,一个是约束变量,则约束值与常量必须相同。(4)最少有一个是自由变量。考虑下面各组谓词是否可匹配合一？pre1(″ob1″,″ob2″,Z)pre1(″ob1″,″ob3″,Y)pre1(″ob1″,″ob2″,Z)pre1(″ob1″,X,″ob3″)pre1(″ob1″,″ob2″,Z)pre1(″ob1″,X,Y)3.回溯所谓回溯,就是在程序运行期间,当某一个子目标不能满足(即谓词匹配失败)时,控制就返回到前一个已经满足子目标(假如存在话),并撤消其相关变量约束值,然后再使其重新满足。成功后,再继续满足原子目标。假如失败子目标前再无子目标,则控制就返回到该子目标上一级目标(即该子目标谓词所在规则头部)使它重新匹配。回溯也是PROLOG一个主要机制。likes(bell,sports).likes(mary,music).likes(mary,sports).likes(jane,smith).friend(john,X):-likes(X,reading),likes(X,music).friend(john,X):-likes(X,sports),likes(X,music).?-friend(john,Y).则求解目标为friend(john,Y).新目标likes(X,reading),likes(X,music).2.2TurboPROLOG程序设计2.2.1程序结构/*〈注释〉*/〈编译指令〉constants〈常量说明〉domains〈域说明〉database〈数据库说明〉predicates〈谓词说明〉goal〈目口号句〉clauses〈子句集〉例假如把上节例子程序作为TurboPROLOG程序,则应改写为：DOMAINSname=symbolPREDICATESlikes(name,name).friend(name,name)GOALfriend(john,Y),write(″Y=″,Y).CLAUSESlikes(bell,sports).likes(mary,music).likes(mary,sports).likes(jane,smith).friend(john,X):-likes(X,sports),likes(X,music).friend(john,X):-likes(X,reading),likes(X,music).领域段该段说明程序谓词中全部