《人工智能》测试题答案.docx

测 试 题

——人工智能原理

一、填空题

人工智能作为一门学科，它争论的对象是 ，而争论的近期目标是

；远期目标是 。

人工智能应用的主要领域有 ， ， ， ，

和 。

学问表示的方法主要有 ， ， ， 和 。

产生式系统由三个局部所组成，即 ， 和 。

用归结反演方法进展定理证明时，可实行的归结策略有 、 、

、 、 和 。

宽度优先有哪些信誉好的足球投注网站对应的数据结构是 ；深度优先有哪些信誉好的足球投注网站是

。

不确定学问处理的根本方法有 、 、 和 。

AI争论的主要途径有三大学派，它们是 学派、 学派和 学派。

专家系统的瓶颈是 ；它来自于两个阶段，第一阶段是 ，其次阶段是 。

确定因子法中函数 MB是描述 、而函数MD是描述

。

人工智能争论的主要领域有 、 、 、 、

和 。

一阶谓词规律可以使用的连接词有 、 、 和 。

基于规章的演绎系统主要有 、 和 。

14.D-S证据理论中函数Bel定义为 、而函数Pl定义为

。

问题的状态空间，可以记为三元组S,F,G，其中S为 ，F为 ，G为 。

人工智能争论的主要内容有

。

、 、 、 和

学问表示的方法主要有 、 、 、 和 。

世界上第一个专家系统 是在 年由 主持研制成功的；我国的第一个专家系统 是在 年研制成功的。

神经网络可分为 、 、 和广泛前向网络。

在框架表示法中，用假设干个 描述对象的属性，用假设干个 描述属

性的各个方面。

产生式系统的三个根本组成局部是 ， ，

。

学问表示方法依据把握性学问的组织方式可分为 和

。

二、选择题

非构造化的学问的表示法是〔 〕。

语义网络表示 B.谓词规律表示

C.框架表示法中 D.面对对象表示

归结策略中，〔 〕是完备的。

Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策

略

A.Ⅰ,Ⅱ B.Ⅰ,Ⅲ C.Ⅱ,Ⅳ D.Ⅲ,Ⅳ

在证据理论中，信任函数与似然函数对〔Bel〔A〕，Pl〔A〕〕的值为〔0，0〕时，

表示〔 〕。

A为真 B.对A一无所知

C.A为假 D.对A为真有确定信任

在主观Bayes方法中，专家给出的Ln和LS值，不能消灭下两种状况〔 〕。

Ⅰ.LN1,LS1 Ⅱ.LN1,LS1 Ⅲ.LN1,LS1 Ⅳ.LN1,LS1

A.Ⅰ,Ⅱ B.Ⅱ,Ⅲ C.Ⅰ,Ⅳ D.Ⅱ,Ⅳ

在证据理论中，信任函数与似然函数的关系为〔 〕。

Bel〔A〕≤Pl〔A〕 B.Bel〔A〕＜Pl〔A〕

C.Bel〔A〕≥Pl〔A〕 D.Bel〔A〕＞Pl〔A〕6.不完备的搜寻过程是〔〕

A．广度优先搜寻 B．深度优先搜寻C．有界深度优先搜寻D．代价树广度优先搜寻

在主观Bayes方法中，规章E→H,有LS=LN=1,这意味：〔〕

A.E对H没有影响 B.E支持H

C.-E支持H D.E支持-H

在可信度方法中，假设证据A的可信度CF〔F〕=0,这意味：〔〕

证据A不行信 B.对证据A一无所知

C.证据A可信 D.没有意义

人工智能争论的领域不包括〔 〕。

自然语言理解 B.自动程序设计

C.程序设计方法 D.自动定理证明

用归结反演证明定理时，假设当前归结式为〔 〕，则定理得证

永真式 B.包孕式〔subsumed〕

C.原子谓词 D.空子句

在主观Bayes方法中，证据E支持结论H时，有〔 〕。

LS=0 B.LS1

C.LS=1 D.LS1

在可信度方法中，证据E的消灭增加结论H为真时，有〔 〕。

CF〔H，E〕1 B.CF〔H，E〕0

C.CF〔H，E〕=0 D.CF〔H，E〕0

谓词公式?x(P(x)??yR(y))?Q(x)中量词?x的辖域是( )

A?x(P(x)??yR(y)) B.P(x) C.P(x)??yR(y) D.Q(x)14.设个体域为整数集，以下公式中其值为1的是( )

A.?x?y(x?y?0) B.?y?x(x?y?0)

C.?x?y(x?y?0) D.??x?y(x?y?0)

设L(x)：x是演员，J(x)：x是教师，A(x,y)：x佩服y.那么命题“全部演员都佩服某些教师”符号化为( )

A.?xL(x)?A(x,y) B.?x(L(x)??y(J(y)?A(x,y))

C.?x?y(L(x)?J(y)?A(x,y)) D.?x?y(L(x)?J(y)?A(x,y))

谓词公式?xA(x)???xA(x)的类型是〔 〕