主頁 >  其他 > 《人工智能及其應用》課程筆記(四)第4章 非經典推理

《人工智能及其應用》課程筆記(四)第4章 非經典推理

2021-12-30 11:14:18 其他

目錄

本章內容

4.1 經典推理和非經典推理

4.2 不確定性推理

4.2.1 不確定性的表示和度量

4.2.2 不確定性的演算法

4.3 概率推理

4.3.1 概率的基本性質和計算公式

4.4 主觀貝葉斯方法

4.4.1 知識不確定性的表示

4.4.2 證據不確定性的表示

4.4.3 主觀貝葉斯方法的推理程序

4.5 可信度方法

4.5.1 基于可信度的不確定性表示

4.5.2 可信度方法的推理演算法

重要公式總結:


本章內容

熟悉經典推理和非經典推理的區別

掌握不確定推理的基本概念

掌握概率推理方法

掌握主觀貝葉斯推理方法

掌握可信度推理方法

了解證據理論的基本知識

4.1 經典推理和非經典推理

非經典推理和經典推理的區別表現在:

推理方法,經典采用演繹邏輯推理,非經典采用歸納邏輯推理

轄域取值,經典邏輯都是二值邏輯,非經典是多值邏輯,

運演算法則,經典邏輯中的許多法則在非經典邏輯中不成立

邏輯算符,非經典邏輯具有更多的邏輯算符,

是否單調經典邏輯單調,而非經典邏輯是非單調邏輯

4.2 不確定性推理

不確定性推理是一種建立在非經典邏輯基礎上的基于不確定性知識的推理,從不確定性的初始證據出發,通過運用不確定性知識,推出具有一定程度的不確定性的和合理的或近乎合理的結論,

不確定性推理中必須解決推理方向推理方法控制策略等基本問題,同時還需要解決不確定性的表示與度量不確定性匹配不確定性的傳遞演算法以及不確定性的合成等問題,

4.2.1 不確定性的表示和度量

1、不確定性及其型別:

①隨機不確定性,eg: 這場比賽A隊可能獲勝

②模糊不確定性,eg:小明是個高個子

③不完全性,eg:刑偵程序的某些階段往往要針對不完全的證據進行推理

④不確定性,eg:人們對太空的認識

2、三種不確定性:

①關于知識的不確定性

②關于證據的不確定性

③關于結論的不確定性

3、知識的表示與推理密切相關,不同的推理方法要求有相應的知識表示模式與之對應

4、知識的度量

靜態強度專家系統中通常用一個數值表示相應知識的不確定性程度

動態強度證據的不確定性也通常用一個數值代表相應證據的不確定性程度

4.2.2 不確定性的演算法

1、不確定性的更新演算法

(1)已知規則前提即證據E的不確定性C(E)和規則的強度f(H,E),其中H表示假設,求H的不確定性C(H)

(2)并行規則演算法

(3)證據合取的不確定性演算法

(4)證據析取的不確定性演算法

證據析取、證據合取的不確定性演算法統稱為組合證據的不確定性演算法

2、不確定性的計算與傳播:

(1)組合證據的不確定性計算(最大最小方法、概率方法、有界方法)

(2)證據和知識的不確定性的傳遞

(3)不同證據支持同一結論時其不確定性的合成

不確定性推理的一般模式也可以簡單地表示為:

不確定性推理=符號推演+不確定性計算

3、不確定性方法的分類:

4.3 概率推理

4.3.1 概率的基本性質和計算公式

1、統計概率的性質:

(6)對任一事件A,有:

P(\overline{A}) =1-P(A)

\overline{A}表示事件A的逆,即事件A和事件A的逆 有且僅有一個發生

2、概率的部分計算公式

(1)條件概率與乘法公式:

P(A|B)=P(A∩B)/P(B)

(2)獨立性公式:

若事件滿足 P(A|B)=P(A),則稱事件A關于事件B是獨立的,A與B相互獨立的充要條件:

P(A∩B)= P(A)P(B)

(3)全概率公式:

(4)貝葉斯公式:

4.4 主觀貝葉斯方法

核心思想:

根據 先驗概率 (H出現的概率 P(Hi) )以及證據E的 條件概率 (Hi出現的情況下E出現的概率 P(E | Hi)) 得到后驗概率(出現E的情況下出現Hi的概率)

例如:

小明去上學,坐公交車遲到的概率是30%,步行遲到的概率是20%,假設選擇每種公交車的可能性相同,問小明遲到了,坐公交車的可能性是多少?

4.4.1 知識不確定性的表示

1、主觀貝葉斯方法用產生式規則表示知識

if E then (LS, LN) H

(LS,LN) 表示該知識的靜態強度

LS為上式成立的充分性因子,衡量證據 E 對結論 H 的支持程度

LN為上式成立的必要性因子,衡量 ~E 對 H 的支持程度

LS 和 LN 的取值范圍是 [0,+∞),由領域專家給出

E 是該條知識的前提條件,它既可以是一個簡單條件, 也可以是用and or 把多個條件連接起來的復合條件,

H 是結論P(H) H 先驗概率,它指出在沒有任何專門證據的情況下,結論為真的概率,其值由領域專家根據以往的實踐及經驗給出

2、推理程序即為根據前提 E 的概率 P(E),利用規則的 LS LN,把結論 H 的先驗概率 P(H) 更新為后驗概率 P(H|E) 的程序

3、在貝葉斯方法中,引入概率函式O(x),表示事件x發生的概率與不發生的概率之比,把x發生概率的取值從[0,1]放大到[0,+∞)

4、更新貝葉斯公式

1)對于LS:

由③式得到 O(H/E)=LS×O(H) (該公式被稱為Bayes公式的幾率似然性形式,LS為充分似然性)

式 及 運算 :P( ~H/E) = 1 P(H/E) P( ~H) = 1 P(H), 得:

2)對于LN:同理 O(H/ ~E)=LN×O(H)

附 LS和LN的性質

-當證據E越是支持H為真時,LS的值越大

-當證據E對H重要時,則LN值應該越小

4.4.2 證據不確定性的表示

對于初始證據 E ,由用戶根據觀察 S 給出 P(E/S),它相當于動態強度

C(E/S)刻畫證據的不確定性, 讓用戶在 –5 至 5 之間的 11 個整數中選一個數作為初始證據的可信度C(E/S)

初始可信度 C(E/S) 與 概率 P(E/S) 的對應關系如下:

C(E/S)= -5 ,表示在觀察 S 下證據 E 肯定不存在,即 P(E/S)=0;
C(E/S)= 0 , 表示 S 與 E 無關,即 P(E/S) =P(E) ;
C(E/S)= +5 ,表示在觀察 S 下證據 E 肯定存在,即 P(E/S)=1;
C(E/S) = 其它數值時,與 P(E/S) 的對應關系可通過對上述三點進行 分段線性插值 得到,如下圖,
由上圖可得到 C(E/S) 與 P(E/S) 的關系式,即由C(E/S) 計算 P(E/S): ???????

證據不確定的情況下,不能再用上面利用LS和LN的公式計算后驗概率,而需使用 R.O.Doda 等人1976年證明的如下公式:

P(H | S) = P(H | E)×P(E | S) + P(H | E) × P(┐E | S) ①

分四種情況討論:

1)P(E/S) = 1

P(E/S) = 1 時, P(┐E/S) = 0,此時公式 變為:

P(H/S) = P(H/E) =

這是證據肯定存在的情況,

2)P(E/S) = 0

P(E/S) = 0 時, P(E/S) = 1,此時公式 變為:

P(H/S) = P(H/E) =

這是證據肯定不存在的情況

3)P(E/S) = P(E)

P(E/S) = P(E) 時,此時公式 變為:

表示H與S無關

4)P(E/S) = 其它值時,通過分段線性插值可得到計算P(H/S)的公式,EH公式

對初始證據,用可信度C(E/S) 計算P(H/S),該公式為CP公式

4.4.3 主觀貝葉斯方法的推理程序

若采用初始證據進行推理,則通過用戶得到C(E|S),從而根據CP公式可求得 P(H|S)

若采用推理程序中得到的中間結論作為證據進行推理,則通過 EH 公式可求得 P(H|S)

:設有如下規則

r1: IF E1 THEN (65, 0.01) H1

r2: IF E2 THEN (300, 0.001) H1

r3: IF H1 THEN (200, 0.002) H2

已知: P(E1)=0.1 P(E2)=0.03P(H1)=0. 1 P(H2)=0.05,用戶提供證據:C(E1/S1)=2C(E2/S2)=1,計算P(H2/S1S2)

分析:自下而上計算:

根據LS值,將H的先驗概率轉換為后驗概率,計算P(H1/E1)、P(H1/E2)
使用CP公式計算P(H1/S1)、P(H1/S2) ,
計算O(H1/S1)、O(H1/S2)
對H1合成,計算 O(H1/S1,S2)、P(H1/S1,S2) ,
根據LS值,將H的先驗概率轉換為后驗概率,計算P(H2/H1)
使用EH公式計算P(H2/S1,S2)

(1)計算 P(H1/E1) 、P(H1/S1) 和 O(H1/S1)

對于初始證據,使用CP公式

???????

???????

(2)同理,計算P(H1/E2)、 P(H1/S2)和 O(H1/S2)

??????? ??????? ???????

(3)計算O(H1/S1,S2)和 P(H1/S1,S2)

(4)計算 P(H2/H1)和 P(H2/S1,S2)

使用EH公式∵ P(H1/S1,S2)> P(H1) ∴ 使用EH公式的后半部,

4.5 可信度方法

4.5.1 基于可信度的不確定性表示

推理規則的一般形式:

If E then H (CF(H , E))

其中 CF(H , E) 是該規則的可信度,稱為可信度因子規則強度

CF(H , E) >0表示該證據增加了結論為真的程度,且CF(H , E)的值越大則結論 H 越真;若CF(H , E) =1,則表示該證據使結論為真,

CF(H , E) <0 表示該證據增加了結論為假的程度,且CF(H , E)的值越小則結論 H 越假;若CF(H , E) =-1則表示該證據使結論為假,

CF(H , E) =0 表示證據 E 和結論 H 沒有關系,

CF(H,E)的計算公式

???????

4.5.2 可信度方法的推理演算法

1、組合證據(前提證據事實總CF值計算,最大最小法)

(1)合取證據:多個證據的合取(與),取最小

(2)析取證據:多個證據的析取(或),取最大

2、推理結論的CF值計算

結論 H 的可信度由下式計算:

CF(H) = CF(H,E) × max { 0, CF(E) }

3、重復結論CF值計算(多個獨立證據推出同一假設的合成演算法)

if E1 then H (CF(H, E1))

if E2 then H (CF(H, E2))

1)計算CF1(H) CF2(H)

2)計算CF (H)

例: 設有如下規則:

r1: IF E1 THEN H ( 0.8)

r2: IF E2 THEN H (0.9)

r3: IF E3 AND E4 THEN E1 (0.7)

r4: IF E5 OR E6 THEN E1 (0.3)

并已知初始證據的可信度為:CFE2=0.8CFE3=0.9CFE4=0.7CFE5=0.1CFE6=0.5,用不確定性理論計算CFH

解:

r3可得: CF1E1=0.7×min{0.9,0.7}=0.49

r4可得: CF2E1=0.3×max{0.1,0.5}=0.15

從而 CF1,2E1=0.490.15/(1min(|0.49|,|0.15|))=0.34/0.85=0.4

r1可得: CF1H=0.4×0.8=0.32

r2可得: CF2H=0.8×0.9=0.72

從而 CF1,2H=0.32+0.72-0.32×0.72=0.8096

這就是最終求得的H的可信度,

重要公式總結:

1 全概率公式:

???????

2 貝葉斯公式:

???????

3 幾率函式計算方法:

4 利用LS、LN將H先驗概率更新為后驗概率

???????

5 證據不確定的情況下,計算后驗概率:

???????

6、 EH公式:

???????

7 CP公式:

???????

8 組合證據:最大最小法計算前提事實總CF值(and取最小,or取最大

9 推理結論的CF值計算

CF(H) = CF(H,E) max { 0, CF(E) }

10 重復結論CF值計算

???????

轉載請註明出處,本文鏈接:https://www.uj5u.com/qita/397521.html

標籤:其他

上一篇:詳解坐標變換矩陣

下一篇:Linux環境中對海康威視工業相機SDK進行二次開發(QT+CMake+Opencv+海康SDK)

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more