2018/10/8
6
华北电力大学
综述-逻辑型语言
逻辑型语言 逻辑型程序设计语言起源于PROLOG （ PROgramming in LOGic）。 PROLOG语言首 先由法国马塞大学的Colmerauer和它的研究小 组于1972年研制成功，后来在欧洲得到进一步 发展。特别是1981年日本宣布要以PROLOG作 为他们正在研制的新一代计算机——智能计算机 的核心语言，更使PROLOG举世瞩目，迅速风 靡世界。
3
华北电力大学
综述
人工智能所解决的问题
并非一般的数值计算或数据处理问题 是要实现对脑功能的模拟和再现
人工智能程序

2018/10/8
面向问题 面向逻辑 支持知识表示 能描述逻辑关系和抽象概念 处理对象更多的是知识，或者说是符号 常规程序设计语言受限
4 华北电力大学
2018/10/8 10 华北电力大学
综述-混合型语言 (1) LOGLISP。该语言在LISP的基础上增加 了表达合一、 回溯等机制的系统函数，从而在保 持LISP特色的同时又有了逻辑程序设计能力。 (2) FUNLOG。该语言在 PROLOG 之外又增 加了函数定义机制, 系统以归结语义执行 PROLOG程序, 以归约语义求解函数。 (3) POPLOG。这是POP-11、PROLOG和 LISP的混合型语言, 三种成分各有一个增量式编 译器。具有归结语义的函数型语言又可分为N-语 言、F-语言和R－语言。
人工智能程序设计语言
华北电力大学计算机系
内容
综述 函数型程序设计语言LISP 逻辑性程序设计语言PROLOG PROLOG程序设计
2018/10/8
2
华北电力大学
内容

综述 函数型程序设计语言LISP 逻辑性程序设计语言PROLOG PROLOG程序设计
2018/10/8
2018/10/8
12
华北电力大学
综述-混合型语言
(3) CommonLoops。 它是基于CommonLisp的函 数型OOP语言, 由Xerox公司于1985 年推出。 (4) CLOS (CommonLisp Objetc System)。它是 Xerox公司于1986 年推出的一个CommonLoops与New Flavors的后继产品。 (5) CommonObjects。它是由HP公司于 1983~1985年实现的又一个基于CommonLisp 的OOP 语言。 (6) OBJ2 也是一种面向对象的函数型语言。
2018/10/8
8
华北电力大学
综述-面向对象语言
面向对象语言 20世纪80年代以来，面向对象程序设计 (Object OrientedProgramming，简称OOP) 异军突起，发展迅速。OOP以其信息隐蔽、封 装、继承、多态、消息传递等一系列优良机制， 大大改善了软件的复杂性、模块性、重用性和 可维护性，有望从根本上解决软件的生产效率 问题。另一方面，由于面向对象程序设计的类、 对象、继承等概念，与人工智能特别是知识表 示和知识库产生了天然的联系。
2018/10/8 9 华北电力大学
综述-混合型语言
1.
函数型与逻辑型语言的结合方式有耦合型 和统一型两类。 统一型又可分为具有归结语义 的函数型语言和集成式语言两个子类。 耦合型语言意为将具有归约语义的函数型 语言和具有归结语义的逻辑型语言组合在一起, 并在二者之间提供一个接口而形成的一种混合 型语言。 其典型代表有：
综述
人工智能程序设计语言
函数型语言 逻辑性语言 面向对象语言 混合型语言
2018/10/8
5
华北电力大学
综述-函数型语言
函数型语言 LISP是一种函数型程序设计语言。LISP程 序由一组函数组成，程序的执行过程就是一系 列的函数调用和求值过程。但LISP还不是纯函 数型语言，准确地讲，它是基于λ--函数的语言。 除LISP外，20世纪70年代J.Backus还提出了一 种称为FP的所谓纯函数型程序设计语言。但该 语言现在还限于理论研究，实现上还存在一定 困难。
2018/10/8
14
华北电力大学
内容
综述 函数型程序设计语言LISP 逻辑性程序设计语言PROLOG PROLOG程序设计
2018/10/8
15
华北电力大学
函数型程序设计语言LISP
LISP是第一个人工智能程序设计语言 LISt Processing，表处理语言 1960年由MIT的麦卡锡和他的研究小组设计， 擅长表处理，即符号处理 许多人工智能系统用LISP语言编写 LISP被誉为人工智能的数学，是人工智能研究 和开发的主要工具
2018/10/8
13
华北电力大学
综述-混合型语言
3.
这类语言著名的有: (1) SPOOL。日本IBM分部于1985年推出 的以面向对象思想扩充的PROLOG (2) Orient 84K。Keio大学于1984年发表的 基于PROLOG和Smalltalk 的并行执行语言。 (3) Vulan。 一种面向对象的逻辑型语言。
2018/10/8 11 华北电力大学
综述-混合型语言
2. 在LISP语言的基础上再扩充面向对象机制而产生 的语言, 称为函数型的面向对象程序设计语言(亦称为面 向对象的LISP)。 这种语言现已成为一个家族, 其中比 较著名的有： (1) Flavors 由 MIT 的 Lisp Machine 小组于 1979 年研制而成, 它的基语言是Symbolics Common LISP。 (2)LOOPS(Lisp-Object-Oriented Programming System )。它是在InterLisp-D环境上实现的基于LISP的 OOP语言, 由Xerox公司于1983年推出。
2018/10/8
7
华北电力大学
综述-逻辑型语言
现在PROLOG几乎在人工智能的所有领域 都获得了应用, 成为与LISP并驾齐驱的甚至更 加流行的智能程序设计语言。 由于PROLOG语言是一种逻辑型程序设计 语言, 因此用它编写的程序也就是逻辑程序,即 在PROLOG程序中一般不需告诉计算机“怎么 做”, 而只需告诉它“做什么”。因此 ,PROLOG亦属陈述性语言。与通常的过程性程 序设计语言相比, PROLOG是更高级的语言。