人工智能原理课件.pdf

文档介绍：: .
2004

• 子句是文字的析取
• 完备连接符集合：
• 合取范式（CNF）
（L11 Ú… Ú L1n1) Ù… Ù (Lm1 Ú… Ú Lmnm)
• 析取范式（DNF）
（L11 Ù … Ù L1n1) Ú … Ú (Lm1 Ù … Ù Lmnm)
• •來自定理：，.cn都 中国最大的资料库下载有与之等值的合取范式和析取范式
• 转换方法：一般方法
真值表方法
G r a du ate S c h oo l , C i n ese ca d e m y o f ces .
©
The Principles of AI-----Wang Wenjie Resolution: 420 04 （2）
S pr i ng
• 一般方法
– Eliminate implication signs by using the
equivalent form using Ú
– Reduce the scopes of ~ signs by using
DeMorgan’slaw and by eliminating double ~
signs
•來自– CNF 中国最大的资料库下载 by using the associative and
distributive laws.
G r a du ate S c h oo l , C i n ese ca d e m y o f ces .
©
The Principles of AI-----Wang Wenjie Resolution: 520 04 Resolution
S pr i ng • 对任意三个子句 p、q 和 r
p Ú r, q Ú ~r Þ p Ú q
或者：
for C1= PÚ C1’, C2=~P Ú C2’
PÚ C1’, ~P Ú C2’ Þ C1’ Ú C2’
來自 中国最大的资料库下载
•• 归结式：(C 1, C2)=C1’ Ú C2’
• 证明：
G r a du ate S c h oo l , C i n ese ca d e m y o f ces .
©
The Principles of AI-----Wang Wenjie Resolution: 620 04 Resolution Refutations（1）
S pr i ng
• 定理证明的任务:
由前提A1 ÙA2 Ù... ÙAn
推出结论B
即证明:A1 ÙA2 Ù... ÙAn®B 永真
• 转化为证明:
A1 ÙA2 Ù... ÙAn Ù ~B为永假式
••: 从中国最大的资料库下载A1 ÙA2 Ù... ÙAn Ù ~B出发,使
用归结推理规则来找出矛盾,最后证明定理A1 ÙA2
Ù... ÙAn®B的成立
中国最大的资料库下载
G r a du ate S c h oo l , C i n ese ca d e m y o f ces .
©
The Principles of AI-----Wang Wenjie Resolution: 720 04 Resolution Refutations（2）
S pr i ng
• 归结方法是一种机械化的,可在计算机上加以实现
的推理方法
• 可认为是一种反向推理形式
• 提供了一种自动定理证明的方法
• 中国最大的资料库下载
G r a du ate S c h oo l , C i