人工智能与专家系六统第四章智能程序设计.pptVIP

* * 第四章 PROLOG语言与智能程序设计 第一节 PROLOG语言的基本知识 第二节 PROLOG程序设计基础 第三节 对回溯的控制 第四节 PROLOG的基本程序段 第一节 PROLOG语言的基本知识 一、PROLOG语言简介 二、PROLOG语言的特点 1、PROLOG语言是一种描述型语言 2、数据和程序是统一的 3、自动实现模式匹配和回溯 4、程序易于编写和阅读 5、语句类型少，语法简明 第一节 PROLOG语言的基本知识 三、PROLOG语言的三种基本语句 1、事实 含义——表示对象具有某种性质，或某几个对象之间的关系 形式 谓词（对象1，对象2，…，对象n），n为任意正整数 裸谓词 注意： 对象之间用逗号分开 全部对象用括号括住 谓词必须以小写字母开头 每个事实都用一个实心句点结束 第一节 PROLOG语言的基本知识 示例 man(zhangsan). is( sun,big). on(book,table). on(f,c). on(c,b). on(b,a). on(e,d). block(a). block(b). a b c f d e 第一节 PROLOG语言的基本知识 最简单的PROLOG程序由两部分组成 谓词部分——定义谓词 predicates name(symbol,symbol, …) 字句部分——列出所有事实 clauses name(对象1,对象2, …). 第一节 PROLOG语言的基本知识 一个简单的程序 predicates is(symbol,symbol) has(symbol,symbol) clauses is(“王”,”年龄小”). is(“刘”,”个头高”). is(“李”,”有音乐天才”). has(“张”,”书”). goal: is(“刘”,”个头高”) yes goal: is(“王”,”有音乐天才”) no goal: has(“张”,”书”) yes goal: has(“书”,”张”) no 第一节 PROLOG语言的基本知识 2、规则 含义——表示事物成立所要遵循的法则，即事物之间的新关系 形式 事实D if 事实A，事实B，事实C，… 事实D :- 事实A，事实B，事实C，… 注意： 规则头只能有一个事实 规则体部可有多个事实 规则体中各个事实之间用逗号连接表示“与”关系 每个规则都用一个实心句点结束 第一节 PROLOG语言的基本知识 示例 predicates mother(symbol,symbol) grandmother(symbol,symbol) clauses mother(“钱”,”孙”). mother(“孙”,”李”). mother(“王”,”张”). grandmother(X,Y) if mother(X,Z), mother(Z,Y) goal: grandmother(“钱”,”李”) yes goal: grandmother(“孙”,”张”) no 第一节 PROLOG语言的基本知识 3、询问 含义——询问对象之间某种关系是否成立的疑问句 形式 goal: 事实1，事实2，事实3，…，事实n n为任意正整数 注意： 各个事实之间用逗号连接表示“与”关系 表示：“事实1，事实2，事实3，…，事实n”同时成立吗？ 第一节 PROLOG语言的基本知识 四、项 1、项的定义 项∷=常量∣ 变量∣ 结构 常量 原子：对象的名字、谓词函数名（小写字母开头） 数字 变量 暂时不能命名或不需要命名的对象 以大写字母开头 匿名变量：on(_,a); mother(_,”李”） 自由变量和约束变量 第一节 PROLOG语言的基本知识 结构 又称复合项，是由一组其他对象组成的单个对象 包括： 函数项：readchar(X)、mother(“李”, “孙”） 表：[a,b,c] 表达式：2*3+17 结构的嵌套 accident(date(year,month,day),who,place) 第一节 PROLOG语言的基本知识 2、项的匹配规则 （1）若A、B是项，A是自由变量，则B无论是何值，A可以被B匹配 （2）常量与自身匹配成功 （3）结构的每一对应成分匹配，则匹配成功 第一节 PROLOG语言的基本知识 五、表 1、概念 表是具有相同类型对象的有序集合 如：[1,2,3]、[a,b,c]、[a,b(f,c),d]、[] 2、表头、表尾 表头——表中第一个元素 表尾——表中的其余部分，可以是另一张表 3、表的匹配 表中的常量完全相同才匹配 表中的变量可与任何对象匹配 表头只与一个分量匹配，表尾可与一个表匹配 第二节 PROLOG程序设计基础