
發(fā)布
注冊
/
登錄演繹推理
關(guān)注創(chuàng)建者:匿名 創(chuàng)建時間:2026-01-04

演繹推理的實例教程
演繹推理是人類的一種批判性思維技能,它被集成到 AI 系統(tǒng)中以增強 AI 的決策能力。在本文中,我們將了解演繹邏輯以及示例以及如何將其集成到 AI 系統(tǒng)中。
目錄
什么是演繹推理?
演繹推理的推理規(guī)則
Modus Ponens
托倫斯的手法
假設(shè)三段論
AI 中的演繹推理
1. 基于規(guī)則的系統(tǒng)
2. 邏輯編程
3. 自動定理證明 (ATP)
案例研究:在 AI 中利用演繹推理進(jìn)行醫(yī)學(xué)診斷
演繹推理在 AI 中對醫(yī)學(xué)診斷的作用
從演繹推理得出的結(jié)論
演繹推理在 AI 中的應(yīng)用
挑戰(zhàn)和限制
結(jié)論
什么是演繹推理?
演繹推理是人類推理的一個方面,它從提供的前提中得出合乎邏輯的結(jié)論。演繹推理根據(jù)必然性原則運作:如果前提是正確的,那么結(jié)論也是正確的。
演繹推理的基本原則包括三段論、modus ponens 和 modus tollens。讓我們考慮一個例子,modus ponens 斷言,如果 p 暗示 q 并且 p 為真,那么 q 也必須為真。我們可以使用邏輯運算符、真值表和推理規(guī)則來分析演繹論點。
演繹推理的推理規(guī)則
Modus Ponens
Modus Ponens 演繹推理的基本規(guī)則。演繹推理的論證形式有一個條件陳述和導(dǎo)致結(jié)論的前提。
展開 其中一個關(guān)鍵方面是推理,這是一個邏輯過程,使機器能夠像人類一樣得出結(jié)論、做出預(yù)測和解決問題。人工智能 (AI) 采用各種類型的推理來實現(xiàn)這一目標(biāo),包括專家系統(tǒng)、自然語言處理、語音識別和計算機視覺。
在本文中,我們將探討 AI 中不同類型的推理及其在推動該領(lǐng)域發(fā)展中的應(yīng)用。
人工智能中的推理
推理可以定義為根據(jù)現(xiàn)有知識得出結(jié)論、做出預(yù)測或構(gòu)建解決方案的邏輯過程。在人工智能中,推理在理解人腦如何思考、得出結(jié)論和解決問題方面起著至關(guān)重要的作用。通過推理,AI 系統(tǒng)可以模擬類似人類的決策和解決問題的能力。讓我們深入了解 AI 中使用的不同類型的推理。
AI 中的推理類型
理由分為以下幾種類型:
1. 演繹推理
演繹推理遵循自上而下的方法,其中結(jié)論是從已知或假設(shè)為真的一般原則或前提中得出的。這種形式的推理依賴于既定的事實來推斷有效的結(jié)論。
示例
:如果所有人都是凡人,而蘇格拉底是人,那么蘇格拉底就是凡人。
在 AI 中的應(yīng)用:演繹推理通常用于專家系統(tǒng)和基于規(guī)則的 AI 系統(tǒng),其中知識通過規(guī)則(if-then 語句)表示。這些系統(tǒng)對特定問題應(yīng)用一般規(guī)則,以得出解決方案或做出決策。
2. 歸納推理
歸納推理是一種自下而上的方法,涉及從特定實例或觀察中得出一般結(jié)論。與演繹推理不同,歸納推理產(chǎn)生的是假設(shè)而不是某些結(jié)論,使其更具概率性。
示例
:如果我們觀察到太陽每天從東方升起,我們可能會推斷明天太陽將從東方升起。
在 AI 中的應(yīng)用:歸納推理廣泛用于機器學(xué)習(xí)算法。在數(shù)據(jù)模式上訓(xùn)練的模型從數(shù)據(jù)中進(jìn)行泛化,并使用此信息對新的、看不見的數(shù)據(jù)進(jìn)行預(yù)測。
3. 歸納推理
歸納推理從一組不完整的觀察開始,然后尋求最合理的解釋。它側(cè)重于根據(jù)已知情況找到最可能的結(jié)論,而不是尋求絕對的真理。
展開 心理阻礙3:信念偏見效應(yīng)
解決問題常需要演繹推理和歸納推理兩種邏輯。什么叫演繹推理?最簡單的舉例:
前提1:這家飯店接受所有的主流信用卡
前提2:郵政銀行信用卡是一種主流的信用卡
結(jié)論:這家飯店接受郵政銀行信用卡
在真實生活情境中,演繹推理多數(shù)情況下,沒有這么簡單,極其容易受人的信念偏見效應(yīng)影響。“信念偏見效應(yīng)”指人們傾向于把他們能為之構(gòu)建一個合理的現(xiàn)實世界模型的結(jié)論判斷為正確的,而把那些他們不能為之構(gòu)建合理現(xiàn)實世界模型的結(jié)論,判斷為是錯誤的。更明確的說,如果有一個可信的結(jié)論,它與人們對問題的心理表征一致,那么人們傾向于接受那個結(jié)論。
電影《十二公民》韓童生與張永強飾演的兩個人物,算是對具有“信念偏見效應(yīng)“的人最佳演繹。韓童生因自己與孩子的關(guān)系經(jīng)歷,對富二代小孩子有明顯的信念偏見。而張永強是對外地人有明顯的信念偏見。那個孩子只有犯了謀殺罪,才符合他們構(gòu)建的實現(xiàn)世界模型---富二代孩子/外地人是不好的,是容易犯罪的。
張永強:“一輛公共汽車上,上面全是大學(xué)生和教授,只有一個外地人,車上丟一錢包,你告訴我你先看誰?你別告訴我你看那大學(xué)生!一輛法拉利把夏利給撞癟了,你別告訴我你不覺得是那法拉利欺負(fù)人?“
在仿真工作中,仿真工程師也最容易犯這個錯誤。在構(gòu)建問題模型時,我們可能已經(jīng)調(diào)研到一些信息,需要委托你計算的人也跟你說了,他眼里的失效機理。因此,當(dāng)你模型的計算結(jié)果與這些信息、失效機理吻合時,你就會深信你的模型是對。雖然很多時候它真的就是對的,但也有錯誤情況,一旦錯誤將導(dǎo)致設(shè)計方向錯誤,時間與成本的損失,自己的職業(yè)威信也受損。正確做法是,建模后憑據(jù)自己的專業(yè)理論知識,仔細(xì)審核,如可以設(shè)計一些試驗來驗證,時刻保持懷疑的態(tài)度總是好的。
展開 以下是主要組件:
推理:推理涉及從證據(jù)或論點中得出結(jié)論。它包括歸納推理,它從具體例子中建立一般結(jié)論,以及演繹推理,它將一般原則應(yīng)用于具體情況。
學(xué)習(xí):學(xué)習(xí)是我們獲取新信息或修改現(xiàn)有知識、技能和行為的過程。它可以通過直接經(jīng)驗、觀察或指導(dǎo)來實現(xiàn),并且是適應(yīng)新情況的基礎(chǔ)。
感知:感知是解釋和組織感官信息以了解環(huán)境的認(rèn)知過程。它使我們能夠通過我們的感覺器官獲取感官數(shù)據(jù)并理解我們周圍的世界。
語言智能:語言智能是指有效使用語言(書面和口頭)的能力。語言智商高的人擅長閱讀、寫作、講故事和記憶單詞。
解決問題: 解決問題是處理信息并為復(fù)雜或具有挑戰(zhàn)性的情況找到解決方案的能力。它涉及識別問題、生成潛在的解決方案以及有效地實施最佳解決方案。
什么是智能系統(tǒng)?
AI 中的智能系統(tǒng)是一種能夠收集數(shù)據(jù)、處理數(shù)據(jù)以及根據(jù)這些數(shù)據(jù)做出決策或執(zhí)行作的技術(shù)。智能系統(tǒng)的核心是模仿人類的認(rèn)知功能,例如從經(jīng)驗中學(xué)習(xí)、理解復(fù)雜概念、解決問題和做出決策。
智能系統(tǒng)中的推理
智力是智力的一個可靠屬性,如果沒有系統(tǒng)根據(jù)可用數(shù)據(jù)進(jìn)行推理的能力,這是不可能的。AI 中使用了幾種類型的推理:
Deductive Reasoning(演繹推理):在考慮或發(fā)布一般原則或前提后利用特定結(jié)果。一種方法是將斷言視為單獨的斷言。例如,如果所有人類都是凡人,而蘇格拉底是人類,那么蘇格拉底就是凡人。
歸納推理: 一種預(yù)測方法是對特定情況有一個想法,然后做出一般推斷。例如,每天早上太陽升起的重復(fù)行為,并預(yù)測明天太陽升起的想法。
Abductive Reasoning:文檔最可能的對的 Infare。例如,如果地面是濕的,則 on 可能會理解最近確實發(fā)生了雨。
展開 c.基于機器學(xué)習(xí)的實例匹配 d.大規(guī)模知識圖譜的實例匹配
(1)基于分塊的實例匹配
(2)無需分塊的實例匹配
(3)大規(guī)模實例匹配的分布式處理
5.6 知識融合上機實踐
1.百科知識融合
2.OAEI知識融合任務(wù)
六、存儲與檢索
6.1.知識圖譜的存儲與檢索概述
6.2.知識圖譜的存儲
a.基于表結(jié)構(gòu)的存儲 b.基于圖結(jié)構(gòu)的存儲
6.3.知識圖譜的檢索
a.關(guān)系數(shù)據(jù)庫查詢:SQL語言 b數(shù)據(jù)庫查詢:SPARQL語言
6.4.上機實踐案例:利用GraphDB完成知識圖譜的存儲與檢索
七、知識推理
7.1.知識圖譜中的推理技術(shù)概述
7.2.歸納推理:學(xué)習(xí)推理規(guī)則
a.歸納邏輯程設(shè)計b.關(guān)聯(lián)規(guī)則挖掘 c.路徑排序算法
上機實踐案例:利用AMIE+算法完成Freebase數(shù)據(jù)上的關(guān)聯(lián)規(guī)則挖掘
7.3.演繹推理:推理具體事實
a.馬爾可夫邏輯網(wǎng) b.概率軟邏輯
7.4.基于分布式表示的推理
a.
展開 
演繹推理的相關(guān)專題、標(biāo)簽、搜索
演繹推理的最新內(nèi)容
演繹推理
演繹推理遵循自上而下的方法,其中結(jié)論是從已知或假設(shè)為真的一般原則或前提中得出的。這種形式的推理依賴于既定的事實來推斷有效的結(jié)論。
示例
:如果所有人都是凡人,而蘇格拉底是人,那么蘇格拉底就是凡人。
在 AI 中的應(yīng)用:演繹推理通常用于專家系統(tǒng)和基于規(guī)則的 AI 系統(tǒng),其中知識通過規(guī)則(if-then 語句)表示。
它包括歸納推理,它從具體例子中建立一般結(jié)論,以及演繹推理,它將一般原則應(yīng)用于具體情況。
學(xué)習(xí):學(xué)習(xí)是我們獲取新信息或修改現(xiàn)有知識、技能和行為的過程。它可以通過直接經(jīng)驗、觀察或指導(dǎo)來實現(xiàn),并且是適應(yīng)新情況的基礎(chǔ)。
感知:感知是解釋和組織感官信息以了解環(huán)境的認(rèn)知過程。它使我們能夠通過我們的感覺器官獲取感官數(shù)據(jù)并理解我們周圍的世界。
雖然歸納推理是一種演繹推理,但手頭的信息并不能保證結(jié)論的準(zhǔn)確性。
歸納推理也被稱為“對最佳解釋的推斷”。
歸納推理示例
讓我們舉個例子:假設(shè)你有一天早上醒來,發(fā)現(xiàn)你家外面的街道是濕的。
以下是歸納推理的觀察結(jié)果和過程:
觀察:街道潮濕。
自動定理證明 (ATP)
案例研究:在 AI 中利用演繹推理進(jìn)行醫(yī)學(xué)診斷
演繹推理在 AI 中對醫(yī)學(xué)診斷的作用
從演繹推理得出的結(jié)論
演繹推理在 AI 中的應(yīng)用
挑戰(zhàn)和限制
結(jié)論
什么是演繹推理?
演繹推理是人類推理的一個方面,它從提供的前提中得出合乎邏輯的結(jié)論。
對于戰(zhàn)役決策與計劃,一般采用基于案例的規(guī)劃、分層規(guī)劃(行為樹)、目標(biāo)自主驅(qū)動、狀態(tài)空間規(guī)劃、進(jìn)化算法、演繹推理和概率推理等方法;對于戰(zhàn)術(shù)決策,可采用恢復(fù)性學(xué)習(xí)、貝葉斯模型、基于案例的推理和神經(jīng)網(wǎng)絡(luò)等方法。以基于行為樹的建模方式實現(xiàn)為例,AI控制任務(wù)指令用行為樹的根節(jié)點表示,仿真模型控制指令用行為樹的子節(jié)點表示。
從個人的角度來看,如果用一句話來定義基于數(shù)據(jù)的AI推論和ML的關(guān)系就是:根據(jù)數(shù)據(jù)歸納導(dǎo)出數(shù)學(xué)形態(tài)(ML),再進(jìn)行演繹推理并應(yīng)用(AI)。
從個人的角度來看,如果用一句話來定義基于數(shù)據(jù)的AI推論和ML的關(guān)系就是:根據(jù)數(shù)據(jù)歸納導(dǎo)出數(shù)學(xué)形態(tài)(ML),再進(jìn)行演繹推理并應(yīng)用(AI)。
5.6 知識融合上機實踐
六、存儲與檢索
6.1.知識圖譜的存儲與檢索概述
6.2.知識圖譜的存儲
6.3.知識圖譜的檢索
6.4.上機實踐案例:利用GraphDB完成知識圖譜的存儲與檢索
七、知識推理
7.1.知識圖譜中的推理技術(shù)概述
7.2.歸納推理:學(xué)習(xí)推理規(guī)則
上機實踐案例:利用AMIE+算法完成Freebase數(shù)據(jù)上的關(guān)聯(lián)規(guī)則挖掘
7.3.演繹推理
6.3.知識圖譜的檢索
a.關(guān)系數(shù)據(jù)庫查詢:SQL語言 b數(shù)據(jù)庫查詢:SPARQL語言
6.4.上機實踐案例:利用GraphDB完成知識圖譜的存儲與檢索
七、知識推理
7.1.知識圖譜中的推理技術(shù)概述
7.2.歸納推理:學(xué)習(xí)推理規(guī)則
a.歸納邏輯程設(shè)計?b.關(guān)聯(lián)規(guī)則挖掘 c.路徑排序算法
上機實踐案例:利用AMIE+算法完成Freebase數(shù)據(jù)上的關(guān)聯(lián)規(guī)則挖掘
7.3.演繹推理
實體匹配基本流程和常用方法
5.6 知識融合上機實踐
六、存儲與檢索
6.1.知識圖譜的存儲與檢索概述
6.2.知識圖譜的存儲
6.3.知識圖譜的檢索
6.4.上機實踐案例:利用GraphDB完成知識圖譜的存儲與檢索
七、知識推理
7.1.知識圖譜中的推理技術(shù)概述
7.2.歸納推理:學(xué)習(xí)推理規(guī)則
上機實踐案例:利用AMIE+算法完成Freebase數(shù)據(jù)上的關(guān)聯(lián)規(guī)則挖掘
7.3.演繹推理