人工智能程序设计语言.docVIP

超经典文档 下载后 可编辑 超经典文档 下载后 可编辑 人工智能程?序设计语言?----Prolo?g 1概述 1970年?由法国马赛?大学Ala?in Colme?rauer?等开发，作为逻辑程?序设计的工?具。 很多著名的?专家系统外?壳都用Pr?olog编?写，如ESP/Advis?or, APE, X1等。 程序特点：陈述式语言?。只要给出必?要的事实和?规则，Prolo?g就可以用?演绎推理自?动求解问题?。而过程式语?言必须告之?求解过程才?行。 实例与基本?概念： 一个Pro?log的实?例程序如下?： domai?ns /*领域声明段?*/ perso?n,activ?ity=symbo?l /*域pers?on和ac?tivit?y的声明，symbo?l为标准域?*/ predi?cates? /*谓词格式说?明段*/ likes?(perso?n,activ?ity) /*likes?为谓词名，表示某人p?erson?喜欢act?ivity?活动*/ claus?es /*子句段*/ likes?(ellen?,tenni?s). /*事实：ellen?喜欢ten?nis*/ likes?(john,footb?all). likes?(tom,baseb?all). likes?(eric,swimm?ing). likes?(mark,tenni?s). likes?(bill,X):-likes?(tom,X). /*规则：tom喜欢?的，bill也?喜欢*/ goal /*目标段*/ likes?(bill,footb?all). /*考察bil?l是否喜欢?footb?all*/ 变量：以大写字母?开头，后跟若干数?字、下划线、字母组成的?符号名称。是在满足目?标时，其值未知的?量。例如：likes?(X_Per?sons,tenni?s).中的X。 对象与关系?：谓词表示一?个或多个对?象之间的某?种关系。例如：likes?(mark,tenni?s).中的lik?es谓词表?示某人喜欢?某类活动。其中，mark和?和tenn?is分别是?关系lik?es中的对?象。 又如：owns(susan?,horse?). eats(jill,meat). valua?ble(gold). /*黄金是值钱?的*/ 注：对象名和关?系名都必须?以小写字母?开头。 领域与谓词?：谓词是用语?描述事实和?关系的。但与此相关?的谓词之涉?及对象的领?域范围必须?明确。因此，在Prol?og中，需要对关系?中的对象的?域进行声明?。例如：likes?(perso?n,activ?ity).表明，谓词lik?es中第一?个参数为p?erson?域，第二个为a?ctivu?ty域。如果目标中?输入lik?es(12,x)，系统将给出?一个领域类?型错的信息?。因为，第一个参数?不属于pe?rson域?，此处即sy?mbol域?。 复合目标：由多个子目?标构成的问?题目标描述?。例如：likes?(tom,X) and likes?(erric?,X)。 无名变量：即谓词参数?中以下划线?表示时，该变量称为?无名变量。表示此时该?变量的值无?关紧要。例如：likes?(_,baseb?all) and likes?(ellen?,tenni?s).表示只要有?人喜欢ba?sebal?l，ellen?就喜欢te?nnis。car(_,_,Age,_,Cost) and Cost27000?.表示查找价?格在270?00$以下的车，并给出其使?用年限和价?格。 无名变量用?于事实时，表示任意或?全部都成立?。例如：owns(_,shirt?).表示人人都?有一件衬衣?。washf?ace(_).表示人人都?洗脸。 回溯：当子目标匹?配或搜索失?败时，回到最近的?成功点继续?进行余下的?事实或规则?的匹配的过?程。以如下程序?为例： domai?ns child?=symbo?l age=integ?er predi?cates? pupil?(child?,age) claus?es pupil?(peter?,9). pupil?(chris?,9). pupil?(paul,10). pupil?(susan?,9). 问题：安排一次班?级上9岁同?学的乒乓球?比赛，每对运动员?赛两场。则目标子句?可描述pu?pil(P1,9) and pupil?(P2,9) and P1P2.的执行过程?如下： 子目标1 子目标2 子目标3 结果 说明 peter? peter? peter?peter? 失败 回溯到第二?子目标 chris? peter?chris? 成功 回溯到第二?子目标继续?寻找下一组?解 su