全部知识点

在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式的与或形。假如有下列的事实表达方：(彐 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 减少否定符号的辖域 正确的顺序是： （  ）

关于“消解原理”的说法，下列表述正确的是： （  ）

在产生式系统中，规则是用来表示推理过程和______ 

设有规则 IF E HEN (10,1) H 已知：P(H) = 0.03，并且证据 E 肯定存在请问：P(H/E)等于______ (准确到 0.01)

产生式系统包括______、______、______ 

在规则演绎系统中，其规则的______部分是用于规定动作。 

 基于规则的演绎系统和产生式系统有______和______推理方式

规则演绎系统和产生式系统有哪几种推理方式?各自的特点为何?