4.1 名词解释。
演绎推理 归纳推理 确定性推理 不确定性推理 单调推理 非单调推理
基于知识的推理 常识性推理
4.2 何谓正向推理？简要说明正向推理的基本过程。
4.3 何谓逆向推理？简要说明逆向推理的基本过程。
4.4 何谓模式匹配？什么是确定性匹配？什么是不确定性匹配？
4.5 何谓冲突消解？在产生式系统中，什么情况下会发生冲突？常用的冲突消解策略有 哪些？请分别简要说明。
4.6 什么是公式集的合一？何谓最一般合一？
4.7 何谓归结式？为什么说归结式是其亲本子句的逻辑结论？
4.8 应用归结原理来证明子句集的不可满足性的依据是什么？如何进行证明？
4.9 哪些归结反演的限制策略是完备的？
4.10 下述公式集 F 是否可合一？若可合一，则求出 F 的最一般合一。
（1）F={P(A, B), P(x, y)}
（2）F={P(f (x), B), P(y, z)}
（3）F={P(f (x), y), P(y, f (B))}
（4）F={P(f (y), y, x), P(x, f (A), f (B))}
4.11 把下列谓词公式分别化为相应的子句集：
（1）(
x)(
y)(P(x, y)∧Q(x, y))（2）(
x)(
y)(P(x, y)→Q(x, y))（3）(
x)(
y)(P(x, y)∨(Q(x, y)→R(x, y)))（4）(
x)(
y)(
z)(P(x, y)→Q(x, y)∨R(x, z))（5）(
x)(
y)(
z)(
u)(
v)(
w)(P(x, y, z, u, v, w)∧(Q(x, y, z, u, v, w)∨
R(x, z, w))) 4.12 判断下列子句集中哪些是不可满足的：（1）S={
P∨Q,
Q, P,
P}（2）S={P∨Q,
P∨Q, P∨
Q,
P∨
Q }（3）S={P(y)∨Q(y),
P(f (x))∨R(A)}（4）S={
P(x)∨Q(x),
P(y)∨R(y), P(A), S(A),
S(z)∨R(z)}（5）S={
P(x)∨
Q(y)∨
L(x, y), P(A),
R(z)∨L(A, z), R(B), Q(B)}（6）S={
P(x)∨Q(f (x), A),
P(h(y))∨Q(f (h(y)), A)∨﹁P(z)}（7）S={P(x)∨Q(x)∨R(x),
P(y)∨R(y),
Q(A),
R(A)}（8）S={P(x)∨Q(x),
Q(y)∨R(y),
P(z)∨Q(z),
R(u)}4.13 对下列各题分别验证 G 是否为前提公式集 F 的逻辑结论。
（1）F1：(
x)(
y) P (x, y) G：(
y)(
x) P (x, y)（2）F1：(
x)(P(x)∧(Q(A)∨Q(B))) G：(
x)(P(x)∧Q(x))（3）F1：(
x)(
y)(P(f (x))∧Q(f (y ))) G：(
y)(P(y)∧Q(y))（4）F1：(
x)(P(x)→(
y)(Q(y)→
L(x, y))) F2：(
x)(P(x)∧(
y)(R(y)→L(x, y)))G：(
x)(R(x)→
Q(x))（5）F1：(
x)(P(x)→(Q(x)∧R(x))) F2：(
x)(P(x)∧S(x))G：(
x)(S(x)∧R(x))4.14 某公司招聘工作人员，A、B、C 三人应试。经面试后，公司表示如下意见：
①三人中至少录用一人。
②如果录用 A 而不录用 B，则一定录用 C。
③如果录用 B，则一定录用 C。
求证结论：公司一定录用 C。
4.15 已知前提：每个储蓄的人都获得利息。求证结论：如果没有利息，那么就没有人去 储蓄。
4.16 已知前提：
①某些病人喜欢所有的医生。
②没有一个病人喜欢任何一个骗子。
求证结论：任何一个医生都不是骗子。
4.17 应用归结反演方法证明理发师悖论：若每个理发师都为不能给自己理发的人理发，
且每个理发师都不为能给自己理发的人理发，那么不存在任何理发师。
4.18 已知：
①如果 x 是 y 的父亲，y 是 z 的父亲，则 x 是 z 的祖父。
②每个人都有一个父亲。
试用归结演绎推理证明：对于某人 u，一定存在一个人 v，且 v 是 u 的祖父。
4.19 张某被盗，公安局派出五个侦察员去调查。研究案情时，侦察员 A 说“赵与钱中至 少有一人作案”；侦察员 B 说“钱与孙中至少有一人作案”；侦察员 C 说“孙与李中至少有一 人作案”；侦察员 D 说“赵与孙中至少有一人与此案无关”；侦察员 E 说“钱与李中至少有一 人与此案无关”。如果这五个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。
4.20 已知下述事实：
①小李只喜欢较容易的课程。
②工程类课程是较难的。
③PR 系的所有课程都是较容易的。
④PR150 是 PR 系的一门课程。
应用归结演绎推理回答问题：小李喜欢什么课程？
4.21 已知：
①能阅读的都是识字的。
②海豚不识字。
③有些海豚是很聪明的。
分别用线性输入策略、祖先过滤形策略证明：有些很聪明但不识字。
4.22 已知下述事实：
①小杨、小刘和小林是高山俱乐部成员。
②高山俱乐部的每个成员是滑雪者或登山者，或者既滑雪又登山。
③没有一个登山者喜欢下雨。
④所有滑雪者都喜欢下雪。
⑤凡是小杨喜欢的，小刘就不喜欢。
⑥凡是小杨不喜欢的，小刘就喜欢。
⑦小杨喜欢下雨和下雪。
应用归结演绎推理回答问题：俱乐部是登山者而不是滑雪者的成员是谁？