2015年AI02-人工智能语言.pptVIP

Introduction to Artificial Intelligence 第2章 人工智能语言 2.1 人工智能语言 2.2 LISP 2.3 PROLOG 2.1 人工智能语言 程序语言 命令式语言 Imperative Language 程序看作是一个语句的序列，并且一条一条执行它 Data Structure + Algorithm Basic, Pascal/Delphi, C/C++/Visual C++, Java… 函数型语言 Functional Language 程序的求值 过程看上去和纯粹的数学函数的求值过程一样 Lisp，Ruby, Haskell… Quick Sort by Haskell 1. sort?[]?=?[] ?? 2. sort?(x:xs)?=?sort?[y?|?y?-?xs,?y??x]?++?[x]?++?sort?[y?|?y?-?xs,?y?=?x]?? 2.1 人工智能语言 2.1.1 函数型语言 Lisp （List Processing） Schema(Structure and Implementation of Computer Programs@MIT) Common Lisp cLisp 特点 函数型程序设计语言 程序由一组函数组成 程序的执行过程就是一系列的函数调用和求值过程 2.1 人工智能语言 2.1.2 逻辑型语言 Prolog(PROgramming in LOGic) Turbo/Visual Prolog Amzi Prolog Yep 特点 以Horn子句逻辑为基础的程序设计语言 早期PROLOG版本都是解释型的 1986年美国的Borland公司推出了编译型PROLOG-Turbo PROLOG，并很快成为PC机上流行的PROLOG 现在运行在Windows环境下的可视化编程语言Visual PROLOG 2.1 人工智能语言 2.1.3 面向对象语言 20世纪80年代以来，面向对象程序设计(Object Oriented Programming，OOP)异军突起，发展迅速 面向对象程序以其信息隐蔽、封装、继承、多态、消息传递等一系列优良机制，大大改善了软件的复杂性、模块性、重用性和可维护性 由于面向对象程序设计的类、对象、继承等概念，与人工智能,特别是知识表示和知识库产生了天然的联系 面向对象程序设计语言也成为一种人工智能程序设计语言，面向对象程序设计也被广泛引入人工智能程序设计，特别是知识工程、专家系统程序设计 Smalltalk, C++,Java… 2.1 人工智能语言 2.1.4 混合型语言 以上三种语言都各有所长，但也都有其不足之处。为了扬长避短，于是便出现了基于这三种语言的混合型语言： 函数型与逻辑型相结合的语言 函数型与面向对象相结合的语言 逻辑型与面向对象相结合的语言 2.2 LISP LISP语言的主要特点 程序由一组函数组成，程序的执行过程是函数的调用过程 程序和数据在形式上是相同的，即都是符号表达式，简称为S─表达式 递归是LISP语言的主要控制结构 程序以交互方式运行。 2.2 LISP LISP程序 5+3 = ? (+ 5 3) 8 (x+y)/2 = ? (define (average x y) (/ (+ x y) 2)) (average 4 8) 6 2.2 LISP 参考书 Practical Common Lisp /book/ Structure and Interpretation of Computer Programs /sicp/full-text/book/book.html 2.3 PROLOG PROLOG的语句 事实 〈谓词名〉(〈项表〉) student(john) like(mary,music). 规则 谓词名(项表):-谓词名(项表){,谓词名(项表)} “:-”号表示“if” grandfather(X,Y):-father(X,Z),father(Z,Y). 问题 ?-谓词名(项表){,谓词名(项表)} ?-student(john) ?-like(mary,X). 2.3 PROLOG PROLOG程序 PROLOG程序一般由一组事实、 规则和问题组成 问题是程序执行的起点, 称为程序的目标。 2.3 PROLOG PROLOG程序 likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X