人工智能概论 第2章课件.ppt

《人工智能概论 第2章课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第1篇概述与工具第2章逻辑程序设计语言华南师范大学教育信息技术学院郑云翔1提纲PROLOG简介基本PROLOGTurboPROLOG程序设计2PROLOG简介Prolog(ProgramminginLogic的缩写)是一种逻辑编程语言建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域，现在已广泛应用在人工智能的研究中，可以用来建造专家系统、自然语言理解、智能知识库等，同时对一些通常的应用程序的编写也很有帮助使用它能够比其他的语言更快速地开发程序，因为它的编程方法更像是使用逻辑的语言来描述程序3PROLOG简介PROLOG的特点：prolog

2、程序没有特定的运行顺序，其运行顺序是由计算机决定的，而不是编程序的人prolog程序中没有if、when、case、for这样的控制流程语句prolog程序和数据高度统一prolog程序实际上是一个智能数据库强大的递归功能4PROLOG简介Prolog语言最早是由法国马赛大学的Colmerauer和他的研究小组于1972年研制成功早期的Prolog版本都是解释型的，自1986年美国Borland公司推出编译型Prolog，即TurboProlog以后，Prolog便很快在PC机上流行起来。后来又经历了PDCPROLOG、VisualProlog不同版

3、本的发展PROLOG有很多版本和方言：TurboProlog、SWI-Prolog、Visual-Prolog、Amzi-Prolog1972年后，分支出很多方言，最主要的是Edinburgh和Aix-Marseille5PROLOG简介TurboProlog：由美国Prolog开发中心(PrologDevelopmentCenter,PDC)1986年开发成功，Borland公司对外发行，其1.0、2.0、2.1版本取名为TurboProlog，主要在IBMPC系列计算机，MS-DOS环境下运行TurboProlog的开发与TurboC类似，集成了

4、简单的编辑、编译、调试功能，可以很快上手，但是感觉回到了DOS时代，没有鼠标的帮助始终不方便6PROLOG简介PDCProlog：1990年后，PDC推出新的版本，更名为PDCProlog3.0，3.2，把运行环境扩展到OS/2操作系统，并且向全世界发行。其特点包括：编译及运行速度都很快，产生的代码非常紧凑用户界面友好，提供了图形化的集成开发环境提供了强有力的外部数据库系统用户可以创建自己的专用编程语言、推理机、专家系统外壳或程序接口提供了与其他语言(如C、Pascal、Fortran等)的接口具有强大的图形功能7PROLOG简介SWI-Prolog

5、：该版本规定不经过注册的开发环境，不可以直接编译生成可执行文件。所以这个版本仅仅用于开发。其特点包括：鼠标支持拥有独立的编辑窗口，支持高亮操作控制台窗口独立可直接控制编译、调试的功能8PROLOG简介Visual-Prolog：基于Prolog语言的可视化集成开发环境，是PDC推出的基于Windows环境的智能化编程工具在美国、西欧、日本、加拿大、澳大利亚等国家和地区十分流行，是国际上研究和开发智能化应用的主流工具之一具有模式匹配、递归、回溯、对象机制、事实数据库和谓词库等强大功能，包含构建大型应用程序所需要的一切特性9PROLOG简介Amzi-Pr

6、olog：在Eclipse中集成了Prolog的模块所有的编辑、编译、调试都是界面化操作从协议上限制了使用的范围和时间10PROLOG简介这些不同版本的PROLOG语言的核心部分是一样的，称为基本PROLOG11提纲PROLOG简介基本PROLOGTurboPROLOG程序设计12基本PROLOGPROLOG的语句：事实(fact)格式：〈谓词名〉(〈项表〉).其中：谓词名是以小写英文字母打头的字母、数字、下划线等组成的字符串项表是以逗号隔开的项序列项包括由常量或变量表示的简单对象以及函数、结构和表等即事实的形式是一个原子谓词公式13基本PROLOG

7、PROLOG的语句(续)：事实(续)例如：student(john).like(mary,music).就是PROLOG中的两个合法事实事实就是Horn子句逻辑中的无条件子句，但形式略有不同14基本PROLOGPROLOG的语句(续)：事实(续)一般表示对象的性质或关系例如上面的两个事实就分别表示“约翰是学生”和“玛丽喜欢音乐”作为特殊情形，一个事实也可以只有谓词名而无参量，如：abc.repeat.等也是允许的15基本PROLOGPROLOG的语句(续)：规则(rule)格式：〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){,〈谓词名〉(〈

8、项表〉)}.其中：“:-”号表示“if”(也可以直接写为if)，其左部的谓词是规则的结论(亦称为头)，右部