B.Q
C.~P
D.P∨Q
15、如果问题存在最优解,则下面几种搜索算法中,()必然可以得到该最优解.
A.广度优先搜索
B.深度优先搜索
C.有界深度优先搜索
D。启发式搜索
二、填空题(共30分):
1。在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而在一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为
2、假言推理(A→B)∧A⇒,假言三段论(A→B)∧(B→C)⇒
3、几种常用的归结策略:、支持集策略、线形归结策略、输入归结策略、单元归结策略
4、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为
技术,解这类问题时,常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表,这种图称为
5.在启发式搜索当中,通常用来表示启发性信息。
6。在二人博弈问题中,最常用的一种分析技术是,这种方法的思想是先生成一棵博弈树,然后再计算其倒推值。但它的效率较低,因此人们在此基础上,又提出了
7、不确定性类型按性质分:,,
,。
8、在删除策略归结的过程中删除以下子句:含有的子句;含有的子句;子句集中被别的子句的子句。
9、对证据的可信度CF(A)、CF(A1)、CF(A2)之间,规定如下关系:
CF(~A)=、CF(A1∧A2)=、
CF(A1∨A2)=。
10、图:指由组成的网络。按连接同一节点的各边的逻辑关系又可分为和.
11、合一算法:求非空有限具有相同谓词名的原子公式集的。
12、开发专家系统所要解决的基本问题有三个,那就是知识的获取、知识的表示和,知识表示的方法主要有,,和语义网络等,在语义网络表示知识时,所使用的推理方法有和
三、简答与应用题
1、谓词逻辑形式化下列描述“不存在最大的整数”(4分)
2。α-β剪枝的条件是什么?(6分)
3、某问题由下列公式描述:
(1)、试用归结法证明(x)R(x);(8分)
4.专家系统的一般步骤有哪些?专家系统的开发与一般的软件系统开发相比较,有哪些共同点和特点?(7分)
5.何谓“图灵实验"?简单描述之(5分)
6、设有如下关系:(1)如果x是y的父亲,y又是z的父亲,则x是z的祖父;(2)老李是大李的父亲;(3)大李是小李的父亲;问上述人员中谁和谁是祖孙关系?(10分)
7。给1~9九个数字排一个序列,使得该序列的前n(n=1,。..,9)个数字组成的整数能被n整除。
(1)、讨论哪些知识可以帮助该问题的求解。
(2)、用产生式系统描述该问题.(15分)
答案部分
一、选择题
ADADBCBADBBCBBA