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

《人工智能程序设计语言.ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、人工智能程序设计语言华北电力大学计算机系9/19/20211内容综述函数型程序设计语言LISP逻辑性程序设计语言PROLOGPROLOG程序设计9/19/20212华北电力大学内容综述函数型程序设计语言LISP逻辑性程序设计语言PROLOGPROLOG程序设计9/19/20213华北电力大学综述人工智能所解决的问题并非一般的数值计算或数据处理问题是要实现对脑功能的模拟和再现人工智能程序面向问题面向逻辑支持知识表示能描述逻辑关系和抽象概念处理对象更多的是知识，或者说是符号常规程序设计语言受限9/19/20214华北电力大学综述人工智能程序设计语言函数型语言逻辑性语言面向对象语言混合型语言9/19

2、/20215华北电力大学综述-函数型语言函数型语言LISP是一种函数型程序设计语言。LISP程序由一组函数组成，程序的执行过程就是一系列的函数调用和求值过程。但LISP还不是纯函数型语言，准确地讲，它是基于λ--函数的语言。除LISP外，20世纪70年代J.Backus还提出了一种称为FP的所谓纯函数型程序设计语言。但该语言现在还限于理论研究，实现上还存在一定困难。9/19/20216华北电力大学综述-逻辑型语言逻辑型语言逻辑型程序设计语言起源于PROLOG（PROgramminginLOGic）。PROLOG语言首先由法国马塞大学的Colmerauer和它的研究小组于1972年研制成功，后来

3、在欧洲得到进一步发展。特别是1981年日本宣布要以PROLOG作为他们正在研制的新一代计算机——智能计算机的核心语言，更使PROLOG举世瞩目，迅速风靡世界。9/19/20217华北电力大学综述-逻辑型语言现在PROLOG几乎在人工智能的所有领域都获得了应用,成为与LISP并驾齐驱的甚至更加流行的智能程序设计语言。由于PROLOG语言是一种逻辑型程序设计语言,因此用它编写的程序也就是逻辑程序,即在PROLOG程序中一般不需告诉计算机“怎么做”,而只需告诉它“做什么”。因此,PROLOG亦属陈述性语言。与通常的过程性程序设计语言相比,PROLOG是更高级的语言。9/19/20218华北电力大学综

4、述-面向对象语言面向对象语言20世纪80年代以来，面向对象程序设计(ObjectOrientedProgramming，简称OOP)异军突起，发展迅速。OOP以其信息隐蔽、封装、继承、多态、消息传递等一系列优良机制，大大改善了软件的复杂性、模块性、重用性和可维护性，有望从根本上解决软件的生产效率问题。另一方面，由于面向对象程序设计的类、对象、继承等概念，与人工智能特别是知识表示和知识库产生了天然的联系。9/19/20219华北电力大学综述-混合型语言混合型语言1.函数型与逻辑型相结合的语言函数型与逻辑型语言的结合方式有耦合型和统一型两类。统一型又可分为具有归结语义的函数型语言和集成式语言

5、两个子类。耦合型语言意为将具有归约语义的函数型语言和具有归结语义的逻辑型语言组合在一起,并在二者之间提供一个接口而形成的一种混合型语言。其典型代表有：9/19/202110华北电力大学综述-混合型语言(1)LOGLISP。该语言在LISP的基础上增加了表达合一、回溯等机制的系统函数，从而在保持LISP特色的同时又有了逻辑程序设计能力。(2)FUNLOG。该语言在PROLOG之外又增加了函数定义机制,系统以归结语义执行PROLOG程序,以归约语义求解函数。(3)POPLOG。这是POP-11、PROLOG和LISP的混合型语言,三种成分各有一个增量式编译器。具有归结语义的函数型语言又可分为N

6、-语言、F-语言和R－语言。9/19/202111华北电力大学综述-混合型语言2.函数型与面向对象相结合的语言在LISP语言的基础上再扩充面向对象机制而产生的语言,称为函数型的面向对象程序设计语言(亦称为面向对象的LISP)。这种语言现已成为一个家族,其中比较著名的有：(1)Flavors由MIT的LispMachine小组于1979年研制而成,它的基语言是SymbolicsCommonLISP。(2)LOOPS(Lisp-Object-Oriented　ProgrammingSystem)。它是在InterLisp-D环境上实现的基于LISP的OOP语言,由Xerox公司于1983年推出

7、。9/19/202112华北电力大学综述-混合型语言(3)CommonLoops。它是基于CommonLisp的函数型OOP语言,由Xerox公司于1985年推出。(4)CLOS(CommonLispObjetcSystem)。它是Xerox公司于1986年推出的一个CommonLoops与NewFlavors的后继产品。(5)CommonObjects。它是由HP公司于1983~1985年实