




版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
人工智能原理及應用第3章確定性推理方法PrinciplesandApplicationsofArtificialIntelligence知識表示:將知識以某種模式存儲到計算機中。智能:知識能力+思維能力(運用知識求解問題)推理:計算機的邏輯思維第3章確定性推理方法3.1 推理的基本概念
3.2 自然演繹推理
3.3 謂詞公式轉換為子句集3.4消解原理
3.5 歸結反演
3.1推理的基本概念
推理
已知事實(證據)已有知識新的事實(結論)3.1推理的基本概念推理方式演繹推理(deductivereasoning)
由一般到個別大前提:BC小前提:AB
三段論:AC3.1推理的基本概念推理方式演繹推理(deductivereasoning)
由一般到個別大前提:計算機學院的學生都會編程序小前提:李強是一名計算機學院的學生結論:李強會編程序3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般
A的所有實例具有X屬性(完全歸納)結論:A具有X屬性3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般檢查某廠的所有產品均合格(完全歸納)結論:該廠的產品合格3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般
A的部分實例具有X屬性(部分歸納)結論:A具有X屬性3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般抽查某廠的一部分產品合格(部分歸納)結論:該廠的產品合格3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般
A具有X屬性
B與A類似(類比歸納)結論:B具有X屬性3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)
由個別到一般軟件工程專業的學生都會編程序計算機科學與技術與軟件工程專業方向類似(類比歸納)結論:計算機科學與技術專業的學生都會編程序3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)缺省推理(defaultreasoning)
知識不完全的情況下的推理
AB沒有證據證明A結論:B3.1推理的基本概念推理方式演繹推理(deductivereasoning)歸納推理(inductivereasoning)缺省推理(defaultreasoning)
知識不完全的情況下的推理未滿18歲不能進入營業性網吧不知道學生李強的真實年齡李強不能進入營業性網吧3.1推理的基本概念推理方式確定性推理:證據和知識都是確定的——結論也是確定的不確定性推理:證據和知識不都是確定——結論也是不確定的
已知事實(證據)已有知識新的事實(結論)3.1推理的基本概念推理方式單調推理:從證據不斷接近結論非單調推理:可能推翻已有的結論
已知事實(證據)已有知識新的事實(結論)3.1推理的基本概念推理方式啟發式推理:推理過程中運用了啟發式知識非啟發式推理
已知事實(證據)已有知識新的事實(結論)3.1推理的基本概念推理的方向正向推理:從已知事實出發,逐步嘗試推導出結論,或證明問題無解Y3.1推理的基本概念推理系統的基本要素知識庫數據庫推理機3.1推理的基本概念正向推理事實:AB知識:ACD
BEF目標:CF3.1推理的基本概念正向推理事實:P(x,y)(Q(x)R(v,y))知識:P(u,v)(S(u)N(v))目標:S(x)N(y)Q(x)推理示例知識庫平均績點超過4.5分的學生,授予一等獎學金評為優秀研究生的學生,平均績點不能少于4分事實10名學生中,3人績點超過4.5,其余績點均低于4目標結論評為優秀研究生的學生都獲得了一等獎學金獲得了一等獎學金的學生都被評為優秀研究生推理示例g(x)>4.5g(x)<4g(x)>4.5∨g(x)<4g(x)>4.5A(x)g(x)<4E(x)A(x)E(x)E(x)A(x)推理示例如何對事實進行合理的歸納?如何選擇事實的推理順序?3.1推理的基本概念推理的方向正向推理:從已知事實出發,逐步嘗試推導出結論,或證明問題無解逆向推理:從假設目標出發,逐步嘗試找出其證據,或證明問題無解推理示例知識庫4個嫌疑犯中有一個是小偷,且4人中只有一個說假話事實A說“我不是小偷”B說“C是小偷”C說“D是小偷”D說“C說謊”問題:請問誰是小偷?推理示例如何選擇假設的驗證順序?3.1推理的基本概念推理的方向正向推理:從已知事實出發,逐步嘗試推導出結論,或證明問題無解逆向推理:從假設目標出發,逐步嘗試找出其證據,或證明問題無解混合推理3.1推理的基本概念沖突:已知事實可與知識庫中的多條知識匹配沖突消解按針對性排序按事實新鮮性排序按匹配度排序按條件個數排序3.2自然演繹推理命題公式及其等價式(1)雙重否定律:
(2)交換律:
(3)結合律:
(4)分配律:
(5)摩根定律:
~(P∨Q)~P∧~Q~(P∧Q)~P∨~Q3.2自然演繹推理命題公式及其等價式(6)吸收律:
(7)補余律:(8)連詞化歸律:
(9)量詞轉換律:
(10)量詞分配律:P<->Q)(P∧Q)∨(~Q∧~P)3.2自然演繹推理永真蘊含式
(1)化簡式:
(2)附加式:
(3)析取三段論:
(4)假言推理:
(5)拒取式:
3.2自然演繹推理永真蘊含式
(6)假言三段論:
(7)二難推理:
(8)全稱固化:
其中,y是個體域中的任一個體,依此可消去謂詞公式中的全稱量詞。(9)存在固化:
其中,y是個體域中某一個可以使
P(y)為真的個體,依此可消去謂詞公式中的存在量詞。3.3謂詞公式轉換為子句集文字:原子公式或其否定子句:文字的析取式謂詞:子句的合取式3.3謂詞公式轉換為子句集文字:原子公式或其否定子句:文字的析取式謂詞:子句的合取式消去連接詞“→”和“?”把否定符號“~”移到每個謂詞符號的前面變量標準化(使不同量詞約束的變量有不同的名字)引入Skolem函數消去存在量詞化為前束形(使所有全稱量詞在公式最前面)化為Skolem標準形(子句的合取式)略去全稱量詞斷開合取式得到子句集變量名標準化3.3謂詞公式轉換為子句集3.4消解原理消解原理(RobinsonTheorem)命題邏輯中的歸結原理:如果C1和C2為真,則C12為真推論1:C1,C2S,則S{C1|C12,C2|C12}不可滿足S不可滿足推論2:C1,C2S,則S{C12}不可滿足S不可滿足C1:PQC2:PRC12:QR3.4消解原理消解原理(RobinsonTheorem)謂詞邏輯中的歸結原理:如果C1和C2為真,則C12為真推論1:C1,C2S,則S{C1|C12,C2|C12}不可滿足S不可滿足推論2:C1,C2S,則S{C12}不可滿足S不可滿足C1:P(x)Q(x)C2:P(a)R(y)C12:Q(a)R(y)3.5歸結反演歸結反演(1)將已知前提表示為謂詞F(2)將待證明結果表示為謂詞Q(3)將謂詞公式FQ化為子句集S(4)應用歸結原理對S中的子句進行歸結,直至出現空子句,則證明Q為真推理示例知識庫天使只說真話不說假話魔鬼只說假話不說真話凡人有時候說真話有時候說假話事實A,B,C三人分別是天使、魔鬼和凡人A說“我不是天使”。B說“我不是魔鬼”。C說“我不是凡人”問題:請問誰是天使,誰是魔鬼,誰是凡人?3.5歸結反演歸結反演:可能產生大量不必要的歸結式控制策略刪除無用子句限制子句的歸結范圍案例研究:故障推理(USB驅動安裝錯誤)∨(USB口損壞)(USB口無法使用)(設置了靜音)∨(音頻設備錯誤)(沒有聲音)(音頻設備被禁用)∨(聲卡驅動安裝錯誤)∨(病毒程序破壞了音頻服務)∨(聲卡硬件損壞)∨(揚聲器硬件損壞)(音頻設備錯誤)人工智能推理領域學術刊物重要國際期刊InternationalJournalofApproximateReasoning,Elsevier(/international-journal-of-approximate-reasoning/)IF:1.729JournalofAutomatedReasoning,Springer(/journal/10817)IF:0.567人工智能推理領域學術刊物重要國際會議InternationalJointConferenceonAutomatedReasoning(IJCAR),/InternationalConferenceonCase-BasedReasoning,/InternationalConferenceonPrinciplesofKnowledgeRepresentationandReasoning,
作業用確定性推理技術求解以下問題一宗盜竊案有的5個嫌疑犯,他們當中只有3個人說的是真話。A說“D是小偷”;B
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 針灸治療學水腫
- 農村抗旱工作方案范文(5篇)
- 護士個人工作總結范文(6篇)
- Unit1-Reading-公共課課件(一)
- 123項目背景與介紹
- Unit5-語言點名師課件
- 你是人間四月天 教學反思
- 2025山東濟南福和數控機床有限公司招聘30人筆試參考題庫附帶答案詳解
- 2025至2031年中國固定式掃描式測溫儀行業投資前景及策略咨詢研究報告
- 2025至2031年中國園藝木柵欄行業投資前景及策略咨詢研究報告
- 2025年遼寧省沈陽市和平區九年級中考零模數學試卷(原卷版+解析版)
- 施工入場考試題及答案
- 2023年護理知識競賽題庫有答案
- 2021年四川省瀘州市中考理綜物理試題【含答案、解析】
- 2025上半年江蘇省連云港東海縣事業單位招聘23人歷年自考難、易點模擬試卷(共500題附帶答案詳解)
- 2025屆湖北聯投集團有限公司校園招聘299人筆試參考題庫附帶答案詳解
- 超市安全用電培訓
- (一模)2025屆安徽省“江南十校”高三聯考數學試卷(含官方答案)
- 電氣火災警示教育培訓考試試題
- 物業安全知識培訓內容
- 內科學 尿路感染學習課件
評論
0/150
提交評論