人工智能导论课件第2章 人工智能程序设计语言.pptx
《人工智能导论课件第2章 人工智能程序设计语言.pptx》由会员分享,可在线阅读,更多相关《人工智能导论课件第2章 人工智能程序设计语言.pptx(17页珍藏版)》请在文库网上搜索。
1、 第2章 人工智能程序设计语言 2.1 概述 2.2 知识工程经典语言PROLOG 2.3 机器学习流行语言Python 2.1 概述 2.1.1 函数型语言 典型的函数型语言如LISP语言。LISP程序由一组函数组成,程序的执行过程就是一系列的函数调用和求值过程。2.1.2 逻辑型语言 典型的如PROLOG语言,在PROLOG程序中一般不需告诉计算机“怎么做”,而只需告诉它“做什么”。因此,PROLOG亦属陈述性语言。2.1.3 面向对象语言 由于面向对象程序设计的类、对象、继承等概念,与人工智能特别是知识表示和知识库产生了天然的联系。因而,面向对象程序设计语言也就成为一种人工智能程序设计语
2、言,流行的如C+、Java语言。2.1.4 计算型语言 就是面向数值计算的程序设计语言。典型的计算型语言如MATLAB。计算型语言属于过程性语言,长于描述算法,而且本身又自带算法库,所以是机器学习的常用编程语言。2.1.5 混合型语言 1.函数型与逻辑型相结合的语言 典型的如LOGLISP、FUNLOG、POPLOG等。2.函数型与面向对象相结合的语言 典型的如Flavors、LOOPS、CommonLoops等。3.逻辑型与面向对象相结合的语言 典型的如SPOOL、Orient、Visual Prolog等。4.计算型与面向对象相结合的语言 典型的如Python。2.2 知识工程经典语言PR
3、OLOG2.2.1 PROLOG的语句1.事实事实(fact)格式 谓词名(项表).功能 一般表示对象的性质或关系。举例:student(john).like(mary,music).abc.repeat.2.规则规则(rule)格式 谓词名(项表):-谓词名(项表),谓词名(项表).功能 一般表示对象间的因果关系、蕴含关系或对应关系。举例:bird(X):-animal(X),has(X,feather).grandfather(X,Y):-father(X,Z),father(Z,Y).run:-start,step1(X),step2(X),end.3.问题问题(question)格式?
4、-谓词名(项表),谓词名(项表).功能表示用户的询问,它就是程序运行的目标。举例:?-student(john).?-like(mary,X).2.2.2 PROLOG的程序 PROLOG程序一般由一组事实、规则和问题组成。举例:likes(bell,sports).likes(mary,music).likes(mary,sports).likes(jane,smith).friend(john,X):-likes(X,reading),likes(X,music).friend(john,X):-likes(X,sports),likes(X,music).?-friend(john,Y)
5、.2.2.3 PROLOG程序的运行机理 (1)自由变量与约束变量自由变量与约束变量 (2)匹配合一匹配合一 两个谓词可匹配合一,是指两个谓词的名相同,参量项的个数相同,参量类型对应相同,并且对应参量项还满足下列条件之一:如果两个都是常量,则必须完全相同。如果两个都是约束变量,则两个约束值必须相同。如果其中一个是常量,一个是约束变量,则约束值与常量必须相同。至少有一个是自由变量。例如:下面的两个谓词 pre1(ob1,ob2,Z).pre1(ob1,X,Y).只有当变量X被约束为“ob2”,且Y、Z的约束值相同或者至少有一个是自由变量时,它们才是匹配合一的。(3)回溯回溯 所谓回溯,就是在程序
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能导论课件第2章 人工智能程序设计语言 人工智能 导论 课件 程序设计语言