文档详情

《人工智能》基础知识.文档.docx

发布:2025-03-30约7.44千字共11页下载文档
文本预览下载声明

《人工智能》需要掌握的基本知识和基本方法

第一章:

人工?智能的定义:P5

人工智能是一门研究如何构造智能机器(智能计算机)或智能系统,使它能模拟、延伸、扩展人类智能的学科。

2、 人工智能研究的基本内容:P10-P11

知识表示

机器感知

机器思维

机器学习

机器行为

3..当前人T智能有哪些学派?(白己查资料)

答:H前人工智能的主要学派有下面三家:

⑴符号主义(symbolicism),又称为逻辑主义(logicism)>心理学派(psychologism)或计算机学派(computerism),其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。

连接主义(connectionism),又称为仿生学派(bionicsism)或生理学派(physiologism),其主要原理为神经网络及神经网络间的连接机制与学习算法。

行为主义(actionism),乂称为进化主义(evolutionism)或控制论学派(cyberneticsism),其原理为控制论及感知-动作型控制系统。

4、他们对人工智能在理论上有何不同观?(H己杳资料)

答:(1)认为人工智能源于数理逻辑

认为人工智能源于仿生学

认为人工智能源于控制论

第二章

1?掌握一阶逻辑谓词的表示方法:用于求解将谓词公式化为了句集

产生式系统的基木结构,各部分的功能以及主要工作过稈。P38-P39

规则库规则库是产生式系统求解问题的基础,其知识是否完整、一致,表达是否准确、灵活,对知识的组织是否合理等,将肓接到系统的性能。

综合数据库综合数据库又称为事实库、上下文、黑板等。它是一个用于存放问题求解过程屮备种当前信息的数据结构。

控制系统控制系统又称为推理机构,由一组程序组成,负责整个产生式系统的运行,实现对问题的求解。

工作过程:(Q从规则库屮选择与综合数据库屮的已知事实进行匹配。

匹配成功的规则可能不止一条,讲行冲突消解。

执行某一规则时,如果其右部是一个或多个结论,则把这些结论加入到综合数据库屮:如果其右部是一个或多个操作,则执行这些操作。

对于不确定性知识,在执行毎一条规则时还要按一定的算法计算结论的不确定性。

检杳综合数据库屮是否包含了最终结论,决定是否停止系统的运行。

框架表示的结构纟H?成

框架(frame):—种描述所论对象(一个事物、事件或概念)属性的数据结构。

一个框架由若干个被称为“槽”(slot)的结构组成,每一个槽又可根据实际情况划分为若干个“侧面”(faced)0

—个槽用于描述所论对象某一方面的属性。

一个侧面用于描述相应属性的一个方面。

槽和侧面所具有的属性值分别被称为槽值和侧面值。

语义网络的基木结构组成

第三章课件里的全部例题

第一题:

5个不同颜色的房间,每间有个不同国籍的人,每人有自己喜欢的饮料,香烟和宠物,知信息:

英国人住在红房间里;

西班牙人有一条狗;

挪威人住在左边笫一个房间里;

黄房间的人在抽库尔斯牌香烟;

抽切斯菲尔徳牌香烟的人是养了一只狐狸的人的邻居;

挪威人住在蓝房间隔壁;

抽温斯顿牌香烟的人有一只蜗牛;

抽幸运牌香烟的人喝橘了汁;

乌克兰人喝茶;

日本人抽国会牌香烟;

抽库尔斯牌香烟的人的房间在有匹马的房间隔壁;

绿房间的人喝咖啡;

屮间房间的人喝牛奶

绿房间的人在片房间的隔壁

问题:哪个房间的人喝水?斑马在哪个房间?

第二题:

例1已知事实:

凡是容易的课程小王(Wang)都喜欢;

C班的课程都是容易的;

ds是C班的一门课程。

求证:小王喜欢ds这门课程。

证明:

定义谓词:

EASY(x):x是容易的

LIKE(x,y):x喜欢y

C(x):x是C班的一门课稈

已知事实和结论用谓词公式表示:

(X)(EASY(x)?LIKE(Wang,x))

(x)(C(x)—EASY(x))

C(ds)

LIKE(Wang,ds)

第三题:将谓词公式化为了句集

消去谓词公式中的“—”和“v?? ”符号

把占定符号””移到紧靠谓词的位置上

(3x)P(x)三(咖P?),(Vx)P(x)三(Vv)P(v)

变最标准化

换元

消去存在量词

a.存在量i司不出现在全称量词的辖域内

换元就可

b.存在量词出现在一个或者多个全称量词的辖域内

y=f(x)

■?

化为前朿形

前束形=(前缀){母式}

(前缀):全称量词串。

{母式}:不含量词的谓词公式。

化为Skolem标准形

Skolem标准形:

M:子句的合取式,称为Skolem标准形的母式。

略去全称量词

由于公式屮所有变量祁是全称量词量化的变量,因此,可以省略全称量词

消去合取词,把母子用子句集表示

PV(2AA)O(PV0A(PV7?)

显示全部
相似文档