第4章 基本的推理技术
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
习题4
1、答:推理是按照某种策略从已有事实和知识推出结论的过程。
正向推理是由已知事实出发向结论方向的推理,也称为事实驱动推理。
反向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推理。
下面从几个不同的角度对推理方式进行分类。
1.演绎推理、归纳推理和默认推理
①演绎推理是从一般到个别的推理。
②归纳推理是从个别到一般的推理。
③默认推理是在知识不完全的情况下假设某些条件已经具备的推理。
2.确定推理和不确定推理
①确定推理是基于确定性知识的推理。
②不确定推理是基于不确定性知识的推理。
3.启发式推理和非启发式推理
①启发式推理是运用与问题有关的启发性知识的推理。
②非启发式推理是不运用与问题有关的启发性知识的推理。
2、答:在推理过程中,有一个以上规则的条件部分与当前数据库相匹配,这种
情况就称为冲突。
常用的冲突解决策略如下
①专一性排序。
②规则排序。
③数据排序。
④就近排序。
⑤上下文限制。
⑥按匹配度排序。
⑦按条件个数排序。
3、答:基于规则的演绎推理是一种直接的推理方法。它的规则是一些条件表达
式。
4、用真值表证明本章4.2节给出的恒等式。
5、解:(1) ))
P
x
y
y
x→
Q
∀
∀
)(
)
(
x
(
,
(y
,
)(
P
x
y
y
⇔
Q
∀
∀
⌝
x∨
(y
(
x
))
)
,
,
)(
)(
(
y
Q
x
x
⌝
P∨
⇔
,
(y
(
)
)
,
x
y
P∨
⇔
Q
⌝
x
(
,
)
,
(y
)
子句集为)}
y
Q
x
P∨
⌝
x
)
(
{y
,
(
,
(2) ))
y
Q
y
x
x
∨
∀
R
∃
x→
y
P
)(
,
(
,
x
(
)
)
)(
(
,
(y
x
y
y
P
x
Q
∀
R
⇔
∃
⌝
x∨
∨
y
(
))
,
(
,
))
(
)
)(
(y
)(
(
,
x
P
x∨
x
y
x
Q
⌝
∧
⇔
))
∀
∃
⌝
y
y
(
)
,
))
,
R
,
(
(y
(
)(
x
)((
x
P
x
y
y
Q
∃
⇔
y
∀
⌝
∧
x∨
⌝
(
))
))
(
R
,
)
,
(y
,
)(
x
)((
(
x
Q
x
x
f
R
f
⇔
⌝
∀
∧
⌝
P
x∨
x
x
)))
(
(
,
f
(
,
)))
)((
(
(
(x
))
(
,
Q
f
x
f
x
x
x
⌝
⇔
R
∀
∧
x∨
⌝
P
(
(
,
(
,
x
)))
(
)))
(x
))
f
(
)((
(
,
f
x
R
x
R
x
f
x
Q
⌝
∨
x
∀
⇔
∧
⌝
x
P
x∨
f
x
(
,
(
(
))
(
f
(
,
)))
))))
(
)((
(
,
(x
,
(
(
))
Q
x
f
x
f
R
R
x
x
∧
⌝
⇔
x
∨
⌝
f
x
P∨
x
(
,
(
(
(
))
f
,
(
)))
(
,
(
(
)))
))
,
(
(x
子句集为)))}
Q
x
f
x
R
x
f
x
⌝
∨
⌝
x
P∨
x
x
f
R
{(x
,
(
(
(
))
(
f
(
))),
,
,
(
(
(
))
,
(
y
x
Q
y
f
R
y
f
x
⌝
∨
⌝
P∨
f
R
x
x
f
(
,
(
))
(
{(y
)))}
,
(
(
(
(
))),
))
,
(
(
,
(3) )]}
P
x
y
Q
x
y
y
∀
∀
y
→
⌝
∀
x→
(y
(
)[
,
)
R
(
(
,
){(
)
)
x
,
(
x
P
y
y
x
x∨
Q
y
→
⇔
y
∀
∀
∀
⌝
⌝
)]}
(
)[
)
(
R
,
(
,
){(
(y
)
)
x
(
,
x
P
y
y
Q
x
y
y
⇔
∀
⌝
∀
∨
⌝
⌝
∀
x∨
(
,
(
)[
)
(
)]}
,
(
R
(y
x
)
){
(
,
)
x
y
P
x
x∨
Q
y
y
⌝
∀
⇔
y
∃
∨
⌝
∃
⌝
R
(
[
)
,
)
)]}
(
(
,
(y
x
)
){(
,
)
(
y
P
x
x
y
Q
y
⌝
⇔
y
∃
∨
∧
∃
x⌝
∀
,
(
)[
)
(
R
)]}
(
,
(y
x
)
){(
,
)
(
y
P
x
x
y
Q
z
⌝
∀
z
∃
∨
∧
∃
x⌝
⇔
,
(
)[
)
(
R
,
(
)]}
(z
)
){(
x
,
(
)
z
x
P
Q
y
x
y
⌝
∀
⇔
z
∃
∃
∧
∨
x⌝
R
,
(
)
(
x
,
[
)]}
)(
)
)(
(z
,
(
){
x
x
x
x
f
R
g
∨
∀
⇔
⌝
∧
P
x⌝
x
Q
))
(
,
,
(
g
))]}
(
(
){
(x
[
,
(
(
))
x
Q
x
g
f
f
x
x
P
x
⇔
⌝
∀
R
∨
∧
x⌝
∨
⌝
P
x
,
(
[
))]
(
))
))]}
(
x
(
(
,
){[
(x
,
(
g
(
,
))
(
P
x
g
x
f
x
R
x
x
⌝
∨
⌝
⇔
∧
∨
f
x
P⌝
x
Q
(
,
(
))
(
g
(
,
[
))]
))]
(
[x
(
,
))
,
(
(
子句集为))}
P
g
x
R
x
x
f
x
∨
∨
⌝
x
⌝
P⌝
f
x
Q
x
))
,
(
(
,
g
(
)),
(
,
(
{x
(
(
))
,
(
g
x
P
f
x
R
y
y
⌝
⌝
∨
y
∨
P⌝
x
f
x
Q
(
))
(
g
(
,
))}
(
(
,
)),
(
{y
(
,
(
,
))
6、解:(1) mg u={A/x,z/y}
(2) mg u={A/x,A/y,A/z,A/w,A/u}
(3) mg u={f(B)/x,f(B)/y}
7、证明:(1) 要证明