一、填空题(共30分)1
归结法中,可以通过---------的方法得到问题的解答
化成子句形式为:
从已知事实出发,通过规则库求得结论的产生式系统的推理方式是4
AI是是的英文缩写5
人工智能的基本技术包括、、、——、——
目前所用的知识表示形式有、、等
产生式系统有三部分组成,和推理机
其中推理可分为和
在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而在一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为9、1997年5月,著名的“人机大战”,最终名为“”的计算机以3
5的总比分将世界国际象棋棋王卡斯帕罗夫击败
10、人工智能的远期目标是,近期目标是
11、谓词逻辑中,重言式(tautlogy)的值是
12、利用归结原理证明定理时,若得到的归结式为,则结论成立
13、若C1=┐PQ∨,C2=P┐Q∨,则C1和C2的归结式R(C1,C2)=
14、若C1=P(x)Q(x)∨,C2=┐P(a)R(y)∨,则C1和C2的归结式R(C1,C2)=
15、在归结原理中,几种常见的归结策略并且具有完备性的是,,
16、在启发式搜索当中,通常用来表示启发性信息
17、假言推理(AB)A,假言三段论(AB)(BC)
二、选择题(15小题,共15分1
人工智能是一门A)数学和生理学B)心理学和生理学C)语言学D)综合性的交叉学科和边缘学科2、下列哪个不是人工智能的研究领域()A
神经网络研究属于下列()学派A
已知初始问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题
这是知识表示法叫()A
状态空间法B
问题归约法C
谓词逻辑法D
语义网络法5
在公式中yxp(x,y)