用于人工智能的Prolog语言.pptxVIP

第1页/共31页4.1 归结原理与Prolog语言 Prolog 是一种逻辑程序设计语言，基于一阶谓词逻辑，是典型的叙述型语言（Declaration Language）。 Prolog语言的特点：(1) 建立在一阶谓词逻辑和归结原理基础上，有自动推理功能。(2) 用Prolog设计应用程序时，仅需指明领域中各对象间的关系和决策规 则，而应用这些知识的推理由Prolog 完成。(3) Prolog应用程序，由数据库和规则库组成。(4) Prolog程序设计要做三件事，即说明事实、定义规则、提出问题。第一页，共32页。第2页/共31页Prolog 有三种形式的语句：1. B:- A1,A2,…,An . 含义是 A1 ?A2?... ?An ? B ，相当于~A1?~A2?… ?~An ?B。可视作人工智能系统中的推理规则。也可将该句看作一个过程，B为过程头，是过程名，而{A1,A2,…,An }为过程体。2. A1,A2,…,An . 含义是 A1 ?A2 ?... ?An ? F ，相当于~A1?~A2?… ?~An，可视作推理的目标，或称目标子句。3. B. 含义是公式B无条件地为真。可视作已知的事实。如三段论：Prolog语句：?x(M(x) ?R(x))M(“张三”)R(“张三”)推理规则： R(X):- M(X).事实： M(张三).目标： R(张三).第二页，共32页。第3页/共31页证明公式：( (M(X) ? R(X) ) ? M(张三) )? R(张三) 恒真即证明公式：?( ( (M(X) ? R(X) ) ? M(张三) )? R(张三) ) 恒假化成公式集： {( (M(X) ? R(X) ) ? M(张三) ) ， ? R(张三) }子句集：{? M(X) ? R(X) ，M(张三) ) ， ? R(张三) }事实目标推理规则子句 B:- A1,A2,…,An .和子句B.都是仅有一个正文字的子句。称作定子句。目标子句 A1,A2,…,An .是没有正文字出现的子句。定子句和目标子句统成为Horn子句。Prolog 子句都是Horn子句。第三页，共32页。第4页/共31页用Prolog证明三段论：目标： R(张三).推理规则：R(X):- M(X). M(张三).事实： M(张三).predicates M(symbol) R(symbol)clauses R(X):- M(X). M(zhsan).goal R(zhsan).?完整的Prolog程序：运行第四页，共32页。第5页/共31页PamTomBobLizAnnPatJim4.2 家庭关系程序示例用Prolog 语句表示为：下图是一个表示家庭关系的实例： parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).第五页，共32页。第6页/共31页此程序可以回答的问题：完整的Prolog程序：1.bob是pat的父母吗？parent(bob,pat).predicates parent(symbol, symbol)clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).1.系统回答2.liz是pat的父母吗？parent(liz,pat).2.系统回答3.谁是liz的父母？parent(X,liz).3.系统回答4.谁是谁的父母？parent(X,Y).4.系统回答第六页，共32页。第7页/共31页5.谁是jim的祖父母？Prolog目标语句：5.系统回答分析：程序中并没有直接的祖父母关系。此问题可分两步：parent(Y,jim),parent(X,Y).(1)谁是jim 的父母？假设是Y,(2)谁是Y 的父母？假设是X,6.类似的问题可以是：X“谁是tom的孙子？”clausesprolog目标语句：parentparent(pam,bob).parent(tom,bob).parent(tom,liz).parent(bob,ann).parent(bob,pat).parent(pat,jim).parent(tom,X),grandparentparent(X,Y).Yparent6.系统回答jim第七页，共32页。第8页/共31页以上程序说明的几个重要观点：(1)在Prolog中定义一个关系是容易的，可以通过满足关系的n个对象来表达。(2)对程序中已定义的关系，用户可以轻而易举地询问Prolog 系统