人工智能

试举例比较各种搜索方法的效率。

应用 F 规则的目的在于： （ ）

 产生式系统由哪几部分组成？ （ ）

公式 B 和～B∨Q 消解后，可得到公式： ( )

假设有四条规则按序排列如下：

 R1: IF 他在家 THEN 他做饭 

 R2: IF 他在家且他妻子也在家 THEN 他妻子做饭 

 R3: IF 他在家且他儿子也在家 THEN 他做饭

 R4: IF 他在家且他儿子和妻子也在家 THEN 他妻子做饭

当数据库为{他在家, 他妻子在家, 他儿子在家}时，规则 R1,R2,R3 和 R4 都相互

冲突，请问：当采用规则排序来解决冲突时，会是谁做饭？ （  ）

假设有四条规则： 

 R1: IF 他在家 THEN 他做饭

 R2: IF 他在家且他妻子也在家 THEN 他妻子做饭

 R3: IF 他在家且他儿子也在家 THEN 他做饭 

 R4: IF 他在家且他儿子和妻子也在家 THEN 他妻子做饭

请问：当数据库为{他在家, 他妻子在家}时，哪些规则有冲突？ （ ）

 下列说法哪些是正确的? （ ）

在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式的与或形。假

如有下列的事实表达方：(彐 u)(▽v)｛Q(v，u)∧～

［(R(v)∨P(v))∧S(u，v)］｝经过变换后，其正确的非蕴涵形式的与或形是： 

（  ）

在基于规则的正向演绎系统中，我们把事实表示为： （  ） 

假设有下列例子： 

Whoever can read is literate．形式化为：(▽x)[R(x)=>L（x）] 

Dolphins are not literate． 形式化为：(▽x)[D(x)=>～L（x）] Some dolphins are intelligent．形式化为：(彐 x)[D(x) ∧～I（x）]

那么，Some who are intelligent cannot read．应该形式化为：　 （  ）

反演求解某个问题的答案时，其基本步骤有：(1) 用根部的子句作为一个回

答语句。(2)按照反演树，执行和以前相同的消解，直至在根部得到某个子句止。

(3) 把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。

其正确的操作顺序应该是： （  ） 

对于谓词公式(▽x){ ～P(x) ∨ [P(x)∧Q(x, g(x))]，经过把母式化为合取范

式后，得到 （ ）

公式 P 和～P∨Q 消解后，不可能得到的公式是： （  ）

公式(▽x)｛[(彐 y)(▽z)P(x,y,z)]=>(▽u)Q(x,u)｝，在消去蕴涵符号后，得到：

 （  ） 

已有公式“(AGE ZHANGSHAN 25)”和规则“IF (AGE ZHANGSHAN 25) 

THEN (AGE HIS-FARTHER 45)”，则不可能存在事实： （  ）

 已知规则“如果张三是 25 岁，则李四很可能是 20 岁”，请选出下列表达式

中最能表达该规则的式子。 （  ）

非单调推理的特点是： （  ）

产生式系统的表示主要包括哪两部分： （  ）

运用消解推理规则的前提是： （ ）

根据本章的论述，把任一谓词演算公式化为子句集有九个步骤，请按正确的

顺序把它们排列起来：

a 消去蕴涵符号 b 消去存在量词 c 对变量标准化 d 把母式化为合取范式 e

消去连词符号∧ f 更换变量名称 g 消去全称量词 h 化为前束形 i 减少否定符号

的辖域 

正确的顺序是： （  ）