中科院研究生——人工智能原理課件ppt12-經(jīng)營管理-資料下載頁
2025-08-06 19:52本頁面
【導(dǎo)讀】證明的基本思想是：。、Fn、G為公式，G為F1、…、Fn的邏輯推論，當(dāng)且。也可以采用反證法的思想：。G）是不可滿足的。歸結(jié)法的本質(zhì)上就是一種反證法，它是在歸結(jié)推理規(guī)則的。文字是原子或其否定。完備連接符集合：。對任意三個子句p、q和r. 可認為是一種反向推理形式。提供了一種自動定理證明的方法。歸結(jié)過程出現(xiàn)空子句,說明出現(xiàn)互補子句對,說明S中有矛盾,首先建立子句集:
【正文】 ?~Q ? P – S={~P?Q, ~Q , P} ? 對 S作歸結(jié) : (1) ~P? Q (2) ~ Q (3) P (4) ~P (1)(2)歸結(jié) (5) (3)(4)歸結(jié) The Principles of AIWang Wenjie Resolution: 11 169。 Graduate School , Chinese academy of Sciences. Spring 2020 Soundness and Completeness ? 歸結(jié)原理是合理的 ? 歸結(jié)原理是完備的 The Principles of AIWang Wenjie Resolution: 12 169。 Graduate School , Chinese academy of Sciences. Spring 2020 Resolution Refutation Search Strategies ? 有序策略（ Order strategies） ? Refinement strategies 1. 支持集（ Set of support） : ? 每次歸結(jié)時，參與歸結(jié)的子句中至少應(yīng)有一個是由目標(biāo)公式的否定所得到的子句，或者是它們的后裔 ? 該策略是完備的 2. 線性輸入（ Linear Input）： ? 參與歸結(jié)的兩個子句中至少有一個是初始子句集中的子句 ? 該策略是不完備的 3. 祖先過濾（ Ancestry Filtering） ： ? 參與歸結(jié)的兩個子句中至少有一個是初始子句集中的句子，或者是另一個子句的祖先 ? 該策略是完備的
公司管理相關(guān)推薦
鄂ICP備17016276號-1