【導(dǎo)讀】GottlobFrege——一階謂詞演。20世紀(jì)30年代，數(shù)理邏輯廣泛發(fā)展。數(shù)、幾何等并列的學(xué)科之一。智能行為的基礎(chǔ)是知識(shí)，尤其是所謂的常識(shí)性知識(shí)。人類利用知識(shí)可以預(yù)測未來，由已知的情況。一階邏輯的優(yōu)點(diǎn)是它具有相當(dāng)強(qiáng)的表達(dá)能力。輯的框架中得以實(shí)現(xiàn)。哪一個(gè)對(duì)象具有此性質(zhì)則是待確定的；再如，立則是根據(jù)具體的情況而定的。事實(shí)上，人們從實(shí)際應(yīng)用出發(fā)已經(jīng)發(fā)。明和建立了許多適用于不同目的的邏輯系統(tǒng)。統(tǒng)中引進(jìn)時(shí)間的概念，提出了各種時(shí)序邏輯；與其它邏輯系統(tǒng)相比較，它考慮了更多的自然語言的成分。其創(chuàng)始人Zadeh的說法就是詞語上的計(jì)算，表示為一個(gè)公式,即，種活動(dòng)和行為中獲得知識(shí)的。架問題、量詞問題等等。目標(biāo)有一定的偏好和選擇。這時(shí)“偏愛”就成為了一個(gè)基本的概。為了表述和模擬人類在決策時(shí)的選擇的規(guī)律和行為，對(duì)于“偏愛”這個(gè)詞的研究就是不可避免的。學(xué)的所謂的偏愛邏輯被提出并加以研究。類副詞來對(duì)時(shí)間概念加以描述。如果對(duì)任何語句集合?

　　

【正文】 必須在不完全的、有限的信息基礎(chǔ)上作出假設(shè)的決策，使得該假設(shè)成為知識(shí)庫的信念； ? 當(dāng)這些決策的結(jié)論被以后的事實(shí)證明為錯(cuò)誤時(shí)，如何對(duì)其信念進(jìn)行修正。 來自 中國最大的資料庫下載 基本數(shù)據(jù)結(jié)構(gòu) : 結(jié)點(diǎn) ：表示信念 理由 ：表示信念的原因 信念既包括已知的知識(shí)，也包括假設(shè)的知識(shí)。 基本操作 ： 新結(jié)點(diǎn)的形成 —— 將信念賦予該結(jié)點(diǎn)； 新理由的加入 —— 把某個(gè)信念與該結(jié)點(diǎn)聯(lián)接起來 實(shí)現(xiàn)過程 ： 默認(rèn)假設(shè)的形成； 相關(guān)性回溯過程。 來自 中國最大的資料庫下載 信念知識(shí)表示 每一個(gè)命題或規(guī)則均稱為結(jié)點(diǎn)，它分為兩類： IN結(jié)點(diǎn)： 相信為真 OUT結(jié)點(diǎn)： 不相信為真，或無理由相信為真， 或當(dāng)前沒有任何有效的理由。 每個(gè)結(jié)點(diǎn)附有理由表，表示具體結(jié)點(diǎn)的有效性： 支持表 SL： 所在結(jié)點(diǎn)的信念的原因，理由； 條件證明 CP： 出現(xiàn)矛盾的原因。 來自 中國最大的資料庫下載 (SL(IN結(jié)點(diǎn)表 )(OUT結(jié)點(diǎn)表 )) IN結(jié)點(diǎn)表中的 IN結(jié)點(diǎn)表示知識(shí)庫中的已知知識(shí) 。 OUT結(jié)點(diǎn)表中的 OUT結(jié)點(diǎn)表示這些結(jié)點(diǎn)的否定。 例 1: (1) 現(xiàn)在是夏天 (SL( )( )) (2) 天氣很潮濕 (SL(1)( )) 結(jié)點(diǎn) (1)不依賴于任何別的結(jié)點(diǎn)中的當(dāng)前信念或 默認(rèn)信念 ,因而這種結(jié)點(diǎn)稱為前提 。 結(jié)點(diǎn) (2)則依賴于當(dāng)前結(jié)點(diǎn) (1)的信念 . 所以，與一階邏輯不同的是 ,TMS可以撤消前提 , 并可以對(duì)知識(shí)庫作適當(dāng)修改 . （ 1）支持表 SL 來自 中國最大的資料庫下載 例 2: (1) 現(xiàn)在是夏天 (SL( )( )) (2) 天氣很潮濕 (SL(1)(3)) (3) 天氣很干燥 若結(jié)點(diǎn) (1)是 IN,結(jié)點(diǎn) (3)是 OUT,則結(jié)點(diǎn) (2)才為 IN. 若在某個(gè)時(shí)刻出現(xiàn)結(jié)點(diǎn) (3)的證據(jù) ,則結(jié)點(diǎn) (2)就變?yōu)? OUT,因?yàn)樗辉儆幸粋€(gè)有效的證實(shí) .象結(jié)點(diǎn) (2)這樣 的結(jié)點(diǎn)稱為假設(shè) ,它與非空的 OUT結(jié)點(diǎn)表的 SL證實(shí)有 關(guān) .OUT結(jié)點(diǎn) (3)是結(jié)點(diǎn) (2)的證實(shí)的一部分 .但如果結(jié) 點(diǎn) (3)不存在 ,就不能這樣表示了 . 在 TMS中 ,它僅利用證實(shí)來維持一個(gè)相容的信念 數(shù)據(jù)庫 ,而它本身并不產(chǎn)生證實(shí) . 來自 中國最大的資料庫下載 (CP 結(jié)論 IN假設(shè) OUT假設(shè) ) 如果結(jié)論結(jié)點(diǎn)為 IN結(jié)點(diǎn) ,以及下列條件成立 : (1) IN假設(shè)中的每個(gè)結(jié)點(diǎn)都是 IN結(jié)點(diǎn) 。 (2) OUT假設(shè)中的每個(gè)結(jié)點(diǎn)都是 OUT結(jié)點(diǎn) . 那么條件證明 CP是有效的 . 一般說來 ,OUT假設(shè)總是空集 .TMS要求假設(shè)集劃 分成兩個(gè)不相交的子集 ,分別為不導(dǎo)致矛盾的假設(shè)和 導(dǎo)致矛盾的假設(shè) . 通常只要在 IN假設(shè)中的結(jié)點(diǎn)為 IN,OUT假設(shè)中 的結(jié)點(diǎn)為 OUT,則結(jié)論結(jié)點(diǎn)為 IN. （ 2）條件證明 CP 來自 中國最大的資料庫下載 默認(rèn)假設(shè) 令 {F1, F2, …, Fn}表示所有可能的侯選的默認(rèn)假 設(shè)結(jié)點(diǎn)集 ,G表示選擇默認(rèn)假設(shè)的原因的結(jié)點(diǎn) ,即由 G 引起在 {F1, …, Fn}中進(jìn)行缺省選擇 .這樣我們結(jié)合結(jié) 點(diǎn) Node(Fi)以如下理由 : (SL(G)(F1, …, Fi1 , Fi+1, …, Fn)) 而選取 Fi為默認(rèn)假設(shè) . 如果不存在任何其它關(guān)于如何進(jìn)行選擇的信息， 則可以認(rèn)為除 Fi之外其它任何時(shí)候選都不是可信的． 這樣 Fi為 IN,其它 Fj(i ? j)均為 個(gè)有效的理由支持某個(gè)其它的侯選 Fj,則 Fj就為 IN, 而導(dǎo)致 Fi的假設(shè)失敗而變?yōu)?OUT. 來自 中國最大的資料庫下載 相關(guān)回溯 當(dāng)知識(shí)庫中出現(xiàn)不一致時(shí) ,TMS將尋找并刪除已 做的一個(gè)不正確的默認(rèn)邏輯 ,恢復(fù)一致性 .它包括三 個(gè)步驟 : (1) 從產(chǎn)生的矛盾結(jié)點(diǎn)開始 ,回溯跟蹤該矛盾結(jié)點(diǎn) 的理由充足的支持以尋找矛盾的假設(shè)集 ,并從中去掉 至少一個(gè)假設(shè)信念以消除矛盾 . (2) 構(gòu)造一個(gè)結(jié)點(diǎn)記錄矛盾產(chǎn)生的原因 . (3) 從 S中選取假設(shè) A(即不合理假設(shè) ),并證實(shí)列在 其理由充足的支持條件中的一個(gè) OUT結(jié)點(diǎn) . 來自 中國最大的資料庫下載 (4) 矛盾 (SL(1,3)( )) (周三 14:00沒有空會(huì)議室 ) 例 3: (1) 會(huì)議日期為星期三 (SL( )(2)) (2) 會(huì)議日期不應(yīng)是星期三 (3) 會(huì)議時(shí)間為 14:00 (SL(32,40,61)()) (5) 不相容 (CP4 (1,3)( )) (2) 會(huì)議日期不應(yīng)是星期三 (SL(5)( )) 結(jié)點(diǎn) (2)與結(jié)點(diǎn) (5)為 IN,就引起結(jié)點(diǎn) (1)為 OUT,因?yàn)? 結(jié)點(diǎn) (1)的證實(shí)依賴于結(jié)點(diǎn) (2)是 (4)現(xiàn)在也 變成 . 來自 中國最大的資料庫下載 情景演算 ◆ MaCarthy針對(duì)動(dòng)態(tài)領(lǐng)域中的問題求解和邏輯程序設(shè)計(jì) 提出了情景演算 。 ◆ Reiter， Fangzhen Lin， Pirria， Lifschitz等人主要將 情景演算進(jìn)行了一些擴(kuò)充，對(duì)狀態(tài)約束、動(dòng)作理論、 動(dòng)態(tài)關(guān)系等方面進(jìn)行了深入的研究，并以數(shù)據(jù)庫、機(jī) 器人等動(dòng)態(tài)領(lǐng)域?yàn)楸尘埃隽艘恍┻壿嫵绦蛟O(shè)計(jì)以及 應(yīng)用等研究。 ◆ Levesque和 Reiter提出了一種新的動(dòng)態(tài)邏輯設(shè)計(jì)語言 Golog / ConGolog ◆ Baral等人重點(diǎn)對(duì)狀態(tài)的描述、動(dòng)作的表示與推理以及 動(dòng)態(tài)領(lǐng)域中的知識(shí)表示等方面做了一些工作，提出了 一種邏輯程序設(shè)計(jì)語言 AProlog， 來自 中國最大的資料庫下載 情景演算 情景演算是一種一階邏輯語言，主要是用來表示動(dòng)態(tài) 變化的世界的。世界的所有變化過程都是 “ 動(dòng)作 ” 的結(jié)果。 一個(gè)可能世界歷史可以簡單表示為動(dòng)作的序列，它是通過 稱之為情景的一階項(xiàng)所表示的。 常量 S0表示初始情景，即動(dòng)作還沒有發(fā)生時(shí)的情景。 do(?, s)表示在情景 s中 執(zhí)行動(dòng)作 ?之后的后繼情景。 do(put(A, B), s)表示當(dāng)世界狀態(tài)為 s時(shí)，將 A放到 B上的結(jié)果這種情景。 do(putdown(A)), do(walk(L)), do(pickup(A)) 是一種表示世界歷史由動(dòng)作序列 [pickup(A), walk(L), putdown(A)]所組成的，它們按照從右到左的方式組織。 來自 中國最大的資料庫下載 定義 1 定義 Lsitcalc語言的動(dòng)作理論 D為如下形式： D = ∑ ? Dss ? Dap ? Duna ? DSo 其中： ∑：基礎(chǔ)的、針對(duì)情景演算的獨(dú)立于領(lǐng)域的公理。 Dap：動(dòng)作前提條件公理； Dss：后續(xù)狀態(tài)公理； Duna：針對(duì)原子動(dòng)作的唯一命名公理； DSo：描述初始情形的公理。 來自 中國最大的資料庫下載 基于情景演算的一些基本理論和方法，我們利用 它們來刻畫主體的復(fù)雜動(dòng)作和過程，將主體的各個(gè)部 件加以描述。 1 原子動(dòng)作 Do(a, s, s?) Poss(a[s], s) ∧ s? = do(a[s], s) 2 檢驗(yàn)動(dòng)作 Do(φ?, s, s?) φ[s] ∧ s = s? 3 順序動(dòng)作 Do([δ1, δ2], s, s?) (?s* ). Do([δ1], s, s* ) ∧ Do([δ2], s*, s?) def ＝def ＝ def ＝ 來自 中國最大的資料庫下載 4 兩個(gè)動(dòng)作的不確定選擇 Do((δ1 | δ2), s, s?) (?s* ). Do(δ1, s, s?) ∨ Do(δ2, s, s?) def ＝ 5 動(dòng)作參數(shù)的不確定選擇 Do((πx) δ(x), s, s?) (?x). Do(δ(x), s, s?) def ＝ 6 不確定反復(fù) Do(δ*, s, s?) (?P). {(?s1)P(s1, s1) ∧ (?s1, s2, s3) [P(s1, s2) ∧ Do(δ, s2, s3) ? P(s1, s3)]} ? P(s, s?) def ＝ 來自 中國最大的資料庫下載 參考文獻(xiàn) ? 史忠植， 《 高級(jí)人工智能 》 ，科學(xué)出版社，1998。 ? 陸鐘萬， 《 面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯 》 ，科學(xué)出版社， 2020。 ? 王元元， 《 計(jì)算機(jī)科學(xué)中的邏輯學(xué) 》 ，科學(xué)出版社， 1989。