1、LISP人工智能程序语言LISP人工智能程序语言2010年06月11 日LISP的由来 LISP是一种计算机的表处理语言,是函数型语言。它是LIST Processing 的缩写,是研究人工智能的有力工具。 LISP 最初是作为书写字符与表的递归函数的形式系统出现的,1958年由美国麻省理工学院(MIT)的AI小组提出(要为问答系统设计一种语言),1960年由 MIT的John.McCarthy教授(麦卡西教授,举世闻名的计算机科学家,图灵奖获得者,后为美国斯坦福大学教授)整理成统称为LISP1.0的形 式发表,然后开始流行于AI界.以后陆续出现了LISP1.5(1962 年),LISP1.6
2、,MACLISP,INTERLISP,COMMONLISP,GCLISP,CCLI SP等等变种。商业中一般认 Berkeley(加洲大学)的LISP1.5为规范,但以目前的发展看,COMMON LISP将成为一种标准,有统一各种LISP “方言”的趋势。在众多不同版本的流行LISP语言中,使用最广泛的是INTER LISP(XEROX公司开发),MACLISP(麻省理工学院开发)和COMMON LISP。LISP是继FORTRAN(FORTRAN是1954年提出,1956年开始使用)之后出现的第二个古老的(1958年提出，1960年开始 使用)计算机高级语言,至今使用近四十年仍受重视,并为人
3、工智能的发展作出了不可磨灭的贡献.由此可见LISP是一门历史悠久,用途广泛,功能极强,生命 力极强的人工智能程序设计语言。 LISP语言一般为解释型语言(即由解释程序边解释边执行),但也有了编译型的LISP语言,并已经有了专用 的LISP机。例如,编译型的LISP语言SCHEME诞生于麻省理工学院,1984年由美国15个大学和公司共同提供了被广泛接受的SCHEME标准。 德克萨斯仪器公司于1985年在IBM PC机上实现了称为PC SCHEME的语言。PC SCHEME的中文版由南京大学和武汉大学联合开发,可在640KB以上的PC机上在CCDOS和MSDOS下运行并可访问其它DOS程序。 LI
4、SP语言的主要特点(优点) (1) LISP具有和图灵机相同的(也就是理论上最高的)计算能力; 在 计算机科学的可计算理论中,人们已经证明递归函数和图灵机具有相同的（也就是理论上最高的）计算能力,通常指的是自然数集上的递归函数。这个结论对符号集 上的递归函数也成立。J.McCarthy在LISP中设计了一套符号处理函数,它们具有符号集上的递归函数的计算能力,因此原则上可以解决人工智能中的 任何符号处理问题。 (2)数据类型的唯一性,程序与数据的一致性; LISP的数据类型和句法结构简单,甚至简单到具有唯一性和一致性:其数据和程序的表现形式是一样的， 都是用S-表达式一种形式.基本的数据结构是表
5、(表是S-表达式的特例)。 (3)数据和程序的 等价性; LISP的数据和程序不仅类型一致,而且作用也等价； 即：程序可作为数据被处理，数据也可作为程序来执行。 (4)LISP一切功能由函数来实现，程序的运行就是求值； LISP程序的通常形式是一串函数定义，其后跟着一串带有参数的函数调用，函数之间的关系只是在调用执行时才体现出来。 (5)LISP语言的控制结构以递归为主； 大多数语言使用的控制结构是以循环为主的，有的程序语言允许递归，而LISP以递归形式为主。递归是LISP能力的源泉。当然现在LISP也有循环结构和迭代。 (6)原子可以有任意多个值( 特性值 )； LISP非常重要的一个特点是
6、每个文字原子可以加许多 特性 ，每个 特性 有一个 特性 表及对应的 特性值 。由于原子的多值性给使用者带来很多方便，给问题表示带来好处，使LISP很好用。 (7)LISP具有表的结构形式和规模的灵活性，不必预先设定； (8)具有收集无用单元的功能。 LISP语言的主要缺点 (1)初学者不容易习惯LISP的句法结构，特别是多层表的括号配对写法； (2)数据类型少(常用的只有表和原子)，使其表达能力受限； (3)规范性差(无标准版本，不同的LISP文本间差别较大)； (4)程序的可读性不及一般的高级语言； (5)执行速度慢。 LISP 执行速度慢的原因有几个： (1)一般的 LISP是解释型， 程序边解释边执行当然比编译型慢； (2)LISP的控制结构主要是递归， 递归费时间费空间； (3)内存空间动态变化。LISP不要求用户在程序 中写一些用来指示内存分配的说明语句，全部内存必须动态的分配，直到 没有空间时才开始收集无用单元。 转自：http:/
