【正文】
設 F … 、 Fn、 G為公式, G為 F … 、 Fn的邏輯推論,當且僅當公式( F1?… ?Fn ? ?G) 是不可滿足的 ? 歸結(jié)法的本質(zhì)上就是一種反證法,它是在歸結(jié)推理規(guī)則的基礎上實現(xiàn)的: 為了證明一個命題 P恒真,它證明其反命題~ P恒假,即不存在使得 ?P為真的解釋 The Principles of AIWang Wenjie Resolution: 3 169。The Principles of AIWang Wenjie Resolution: 1 169。 Graduate School , Chinese academy of Sciences. Spring 2020 Agenda 引言 命題邏輯中的歸結(jié)原理 謂詞邏輯中的歸結(jié)原理 The Principles of AIWang Wenjie Resolution: 2 169。 Graduate School , Chinese academy of Sciences. Spring 2020 命題邏輯中的歸結(jié)原理 子句和子句形 歸結(jié) 歸結(jié)反演 合理性和完備性 歸結(jié)反演的搜索策略 The Principles of AIWang Wenjie Resolution: 4 169。 Graduate School , Chinese academy of Sciences. Spring 2020 ( 2) ? 一般方法 – Eliminate imp