信念及信念改變的擴(kuò)展研究——基于RankingTheory的信念修正

PartI

Areviewofbeliefchangesintwoapproaches（pp2-37）

PartII

開題報(bào)告前的預(yù)備報(bào)告(pp38-59)1PartIAreviewofbeliefchangesintwoapproaches2內(nèi)容提要第一部分：信念的概念第二部分：信念改變的研究第三部分：分析與比較3信念人類有信念

TO地圖

凡存在皆合理！

鳥會(huì)飛。

朱薇正在二教做報(bào)告。動(dòng)物有信念？(⊙o⊙)…

4作為哲學(xué)概念的信念小李相信她老公在辦公室寫論文。

小李相信她老公在辦公室寫論文人們相信的東西？人們接受的東西？人們以為是真的東西？No.對(duì)命題的態(tài)度（propositionalattitude）：一種個(gè)體對(duì)于某個(gè)命題的態(tài)度的心靈狀態(tài)（thementalstatecorrespondingtotheattitudeonehastowardaproposition）5對(duì)信念的觀察——例子1在不？在，咋啦？我想選圖論，聽說(shuō)這課很輕松啊你還是考慮考慮吧，這課作業(yè)巨多！！那我還是退了...我這學(xué)期實(shí)驗(yàn)有點(diǎn)多：（6對(duì)信念的觀察——天鵝的顏色?假如有四個(gè)命題A所有歐洲的天鵝都是白色的。B被捕獲的鳥是天鵝。C被捕獲的鳥是從瑞典來(lái)的。D瑞典屬于歐洲。從以上的命題中得到的推論是_________E被捕獲的鳥是白色的故事沒(méi)有結(jié)束……假如這時(shí)候告訴你：notE:被捕獲的鳥是黑色的，那么會(huì)對(duì)原來(lái)的ABCD有什么影響呢？Hellofriend,Iamblack!7信念改變——自然而然的問(wèn)題信念在哪兒改變？信念憑什么改變？信念能不能不改變？信念改變的情況有多少？怎么描述信念改變？信念怎么改變？信念能不能持續(xù)改變？信念……8信念改變的研究信念改變計(jì)算機(jī)科學(xué)（CS）

（數(shù)據(jù)庫(kù)更新）哲學(xué)

（哲學(xué)反思）邏輯學(xué)

（DEL）9信念改變_計(jì)算機(jī)科學(xué)1980SDoyleJ.,ATrueMaintenanceSystem,ArtificalIntelligence,12:231-272,1979FaginR.,J.D.Ullman,andM.Y.Vardi,Onthesemanticsofupdatesindatabases,ProceedingsofSecondACMSIGACTSIGMOD,pp.352-365集中問(wèn)題：數(shù)據(jù)庫(kù)更新10信念改變_計(jì)算機(jī)科學(xué)計(jì)算機(jī)科學(xué)家們思考過(guò)的問(wèn)題信念在數(shù)據(jù)庫(kù)中如何表達(dá)？顯式表達(dá)的信念和那些隱含表達(dá)的信念有什么區(qū)別？如果要?jiǎng)澋粢恍┬拍睿瑧?yīng)根據(jù)什么來(lái)取舍呢？11信念改變_計(jì)算機(jī)科學(xué)代表理論：AGM方法

CarlosAlchourron,PeterGardenfors,DavidMakinson.OntheLogicofTheoryChange:PartialMeetContractionandRevisionFunctions,JournalofSymbolicLogic,1985三種信念改變模式：約減(Contraction)，修正(Revision)，擴(kuò)展(Expansion)六條AGM基本公設(shè)簡(jiǎn)單地說(shuō)：信念改變就是從一個(gè)信念一致集到另一個(gè)信念一致集的過(guò)程12信念改變——哲學(xué)從古代信念改變是關(guān)于哲學(xué)反思的一個(gè)主題。20世紀(jì)

哲學(xué)家們討論著理性信念改變需要滿足的條件。1970年代，IssacLevi（"Subjunctives,DispositionsandChances"1977,"TheEnterpriseofKnowledge"1980）提出了若干問(wèn)題以及基本的信念改變的形式化系統(tǒng)。WilliamHarper（“RationalConceptualChange”1977）也做過(guò)相應(yīng)的一些工作。13信念改變——DEL信念改變的可能世界語(yǔ)義學(xué)根據(jù)可能世界的語(yǔ)義，最主要的原則（觀察）：認(rèn)知主體考慮的（可及的）可能世界越多，那么相信的就越少，反之亦然。自然而然的想法就是：要對(duì)認(rèn)知主體信念進(jìn)行改變就要對(duì)所有可及的可能世界上動(dòng)點(diǎn)手腳。兩種信念改變的情況：信念更新和信念提升

14信念改變——小結(jié)以上我們已經(jīng)從感性到理性，從生活到理論上認(rèn)識(shí)了信念改變的現(xiàn)象和有關(guān)信念改變的研究，那么接下啦我們將從計(jì)算機(jī)科學(xué)領(lǐng)域的信念修正(AGM)和DEL下的信念修正入手，分析和比較二者區(qū)別。歡迎各位老師和同學(xué)提出意見(jiàn)！15AGM方法——（1）規(guī)范記號(hào)在AGM中，主體的信念們就是一個(gè)個(gè)邏輯后承封閉的信念集合。為了展現(xiàn)整個(gè)理論，我們首先規(guī)范記號(hào)，在此我直接拷貝我的文章：?jiǎn)蝹€(gè)的信念句子：小寫字母p,q,r..信念句子組成的信念集：大寫字母A,B,C...常規(guī)的布爾算子：否定，合取∧，析取∨，蘊(yùn)含→，等價(jià)重言式T,矛盾式⊥表示兩個(gè)信念相互矛盾。16AGM方法——（2）定義概念信念集合K（拷貝我的文章）邏輯后承封閉的信念集合K17AGM方法——（3）信念改變的小討論基本的想法擴(kuò)張（Expansion）A+p（簡(jiǎn)單粗暴的改變方式）pApA18AGM方法——（3）信念改變的小討論基本想法修正（Revision）A*pApp19AGM方法——（3）信念改變的小討論基本想法約減（Contraction）A-pAp20AGM方法——（4）基本的AGM公設(shè)基本想法閉包：在修正之后，原來(lái)封閉的信念集保持封閉。成功：修正后，信念p確實(shí)包含在K之內(nèi)21AGM方法——（4）基本的AGM公設(shè)基本想法包含：經(jīng)過(guò)修正得到的信念集要比經(jīng)過(guò)擴(kuò)充得到的集合要小。保持：顧名思義..22AGM方法——（4）基本的AGM公設(shè)基本想法一致：如果p（集合）是一致的，那么K*p肯定是一致的，K*p是不一致的只有p是不一致的，所以K*p如果不一致，那么問(wèn)題出在p這兒。外延：如果p和q邏輯等價(jià)的，那么二者對(duì)于同一個(gè)信念集的修正結(jié)果一樣。以上六條公設(shè)為AGM的基本公設(shè)23AGM方法——（5）其他為了更加直觀地理解這些公設(shè)，相應(yīng)的一些語(yǔ)義理論被提出如:認(rèn)知牢固序（EpistemicEntrenchmentorderings）：在信念集中有一些信念比其他的信念更重要或者靠譜，那么我們可以賦予這樣的信念較高的認(rèn)識(shí)牢固度，這個(gè)值不隨著具體約減和修正方法而改變，在信念修正時(shí)，必須首席確定信念的認(rèn)識(shí)牢固度，然后刪除那些認(rèn)識(shí)牢固度較小的信念。認(rèn)識(shí)牢固度還滿足一系列性質(zhì)比如傳遞性。還有SphereofSystems(球系統(tǒng)，球包系統(tǒng)，圓包系統(tǒng)...)，最大一致子集修正，全部交集修正，部分交集修正，安全修正等等。24DEL方法——基本想法信念與知識(shí)密切相關(guān)，信念的改變和知識(shí)也不可分割來(lái)看：知識(shí)改變了，信念也改變了知識(shí)沒(méi)改變，信念改變了25DEL方法——基本想法不同的觸發(fā)機(jī)制（Triggers）打牌的例子

老李，老胡，老趙，老陳四個(gè)人打雙升(1)強(qiáng)硬信息（HardInformation）剛發(fā)完牌，大家不知道對(duì)方手里有什么牌，這時(shí)，老李出了一個(gè)紅桃A，這時(shí)候：老趙，老陳，老胡知道了紅桃A在老李手里，不在其他人手里。老趙，老陳，老胡相信這一點(diǎn)。這就是強(qiáng)硬信息，比如公開宣告。老李老胡老趙老陳26DEL方法——基本想法(2)柔和信息（SoftInformation）牌打到后來(lái)，大家手里的副牌開始不齊了，老李覺(jué)得上家手里還有黑桃，考慮了半天，出了一對(duì)黑桃K，這時(shí)候老李看見(jiàn)老胡仿佛瞪了他一眼，這時(shí)：對(duì)老李而言，他對(duì)于其他牌家手里的牌的知識(shí)沒(méi)有改變，可是老胡的一瞪，讓他相信也許（1）老胡手里還有黑桃（2）老胡的主牌不錯(cuò)這就是柔和信息，認(rèn)知主體的信念改變了，知識(shí)沒(méi)有改變。27DEL方法——基本想法(從靜態(tài)出發(fā))在DEL中表示主體的信念狀態(tài)一般用來(lái)表示，表示主體相信Φ。它的語(yǔ)言和語(yǔ)義定義方式與模態(tài)邏輯無(wú)異，只是把模態(tài)算子□換成信念算子B，并且對(duì)可及關(guān)系有不同的約束，具體而言：給定三元組，其中W是可能世界集，是可能世界集W上的可及關(guān)系，滿足持續(xù)性，傳遞性，歐性，讀作“至少與...一樣可能”動(dòng)態(tài)信念基于的靜態(tài)框架是KD45.28DEL方法——信念更新基本想法強(qiáng)硬信息（知識(shí)改變，信念也改變）具體操作（去掉可能世界）公理化結(jié)果：依賴于規(guī)約公理29DEL方法——信念更新潛在的問(wèn)題：tooooostrong舉例next?30研究信念改變不同途徑的比較與分析（1）理論背景的差異：信念修正提出于人工智能領(lǐng)域，它的設(shè)計(jì)初衷是為了解決實(shí)際問(wèn)題，即如何更新數(shù)據(jù)庫(kù)。而信念更新和信念提升旨在基于最初的靜態(tài)信念邏輯捕捉信念改變這一概念。（2）信念修正試圖決定在我們接納一個(gè)新信息時(shí)，哪些舊有信念應(yīng)該被舍棄。這時(shí)我們所依據(jù)的原則是一個(gè)認(rèn)知主體應(yīng)當(dāng)選取這樣一種方式來(lái)改變信念集合，即能把原來(lái)的信念集合發(fā)生的改變減少到最小。信念修正關(guān)注于認(rèn)知主體的信念集合將要做出什么改變。而信念的更新與提升試圖去描述在不同的觸發(fā)機(jī)制引導(dǎo)下，可能世界模型上的改變，變化后的可能世界模型和之前的模型有什么聯(lián)系，對(duì)公理化的結(jié)果造成影響。31DEL方法——信念提升基本想法柔和信息（知識(shí)不改變，信念改變）具體操作（重排世界）公理化結(jié)果（依靠規(guī)約公理）32研究信念改變不同途徑的比較與分析（3）信念修正在處理信念改變時(shí)更加抽象，它不提供任何的具體的機(jī)制來(lái)告訴我們哪些信念應(yīng)該被扔掉，哪些信念應(yīng)該被保持。它只提供了類似AGM這樣的公設(shè)，規(guī)范滿足什么條件的信念修正才是合理的。信念更新和提升與之相反。信念更新和提升恰恰決定了我們應(yīng)該采取哪些具體操作使得信念改變得以實(shí)現(xiàn)，并且給出了導(dǎo)致信念改變的不同的觸發(fā)機(jī)制，即強(qiáng)硬信息和柔和信息。對(duì)信念更新而言，強(qiáng)硬信息p一旦被采納，一些可能世界就面臨著被刪除的命運(yùn)，柔和信息一旦被采納，可能世界集就得重排。33研究信念改變不同途徑的比較與分析（4）在信念修正中，新的信息p出現(xiàn)了，我們就要接受這個(gè)信息，并相方設(shè)法把它放在我們?cè)械男拍罴校幌?duì)原有信念集進(jìn)行調(diào)整。信念更新和提升，我們最重要的目的不是要把觸發(fā)算子歸入我們的信念集合中，觸發(fā)算子最重要的功能是改變?cè)瓉?lái)的可能世界模型，要么強(qiáng)硬地扔掉一些不和諧的聲音，要么柔和地重排世界，把一些聲音自動(dòng)和諧掉。34研究信念改變不同途徑的比較與分析（5）信念修正的最終落腳點(diǎn)是要建立算法，來(lái)對(duì)各種信念系統(tǒng)建立修正函數(shù)和約減函數(shù)等來(lái)對(duì)數(shù)據(jù)庫(kù)實(shí)施操作。為了實(shí)現(xiàn)這一點(diǎn)，我們必須遵循以最小的代價(jià)將新的信念容納在認(rèn)知主體的信念集中這個(gè)直覺(jué)。對(duì)于信念更新和提升而言，我們對(duì)這點(diǎn)要求不高，我們關(guān)注的是如何模擬信念的改變，以及如何去平衡動(dòng)態(tài)后的模型和原來(lái)的靜態(tài)模型的關(guān)系，使得完全公理化的好的邏輯性質(zhì)可以保存。當(dāng)然這并不意味著DEL方法無(wú)視信息損失的嚴(yán)重性，比如在意識(shí)到強(qiáng)硬信息可能對(duì)后來(lái)的操作產(chǎn)生影響，我們就發(fā)明了信念提升這種柔和并且更精致的方式來(lái)模擬信念改變，它僅僅改變的是信念而不是知識(shí)本身。35總結(jié)對(duì)信念改變的研究在計(jì)算機(jī)科學(xué)和哲學(xué)領(lǐng)域非常的活躍，在本篇文章中，我們把討論主要集中在計(jì)算機(jī)領(lǐng)域和DEL領(lǐng)域。我們從信念這一概念出發(fā)，主要綜述了：計(jì)算機(jī)科學(xué)領(lǐng)域的信念修正，DEL中的信念更新和提升這兩個(gè)不同途徑探討信念改變的基本想法和方法。最后對(duì)二者基本要點(diǎn)進(jìn)行分析和總結(jié)，并發(fā)現(xiàn)二者至少在五個(gè)方面之間的差異。本次報(bào)告基于研究信念改變不同途徑的比較與分析，也是我對(duì)信念改變研究初期的一些觀察和思考，希望得到大家的意見(jiàn)和指正。在不斷搜集資料和修正自己的想法中，產(chǎn)生了一些不同的理解和問(wèn)題，希望能和大家一起探討，謝謝！36有趣的小問(wèn)題信念集合的生成方式經(jīng)過(guò)無(wú)止境的修正后，信念可以轉(zhuǎn)化為知識(shí)嗎？如何表達(dá)偏見(jiàn)？信念與信息，哪個(gè)更基本？……37PartII開題報(bào)告前的預(yù)備報(bào)告38力求講清楚的三個(gè)問(wèn)題一、通常意義下的理論大背景二、我所選取的研究路徑三、我想開展的研究工作、前期準(zhǔn)備、后期安排39一、理論大背景（與第一次報(bào)告類似，簡(jiǎn)要梳理）信念是社會(huì)生活中的基本概念，形成信念是心靈的主要特征之一。信念這一概念在心靈哲學(xué)，認(rèn)識(shí)論，動(dòng)態(tài)認(rèn)知邏輯，計(jì)算機(jī)科學(xué)，人工智能，經(jīng)濟(jì)學(xué)等領(lǐng)域扮演著跨學(xué)科的角色。現(xiàn)代對(duì)于知識(shí)與信念的研究始于大量哲學(xué)家與邏輯學(xué)家從1948-1950s年代的系列文章與著作。.RuldolfCarnap,JerzyLos,AuthurPrior,NicholasRescher,G.H.vonWright以及同時(shí)代的其他研究者們意識(shí)到知識(shí)和信念展現(xiàn)出系統(tǒng)性質(zhì)使得公理演繹得以可行。在眾多同時(shí)期的文章中，vonWright1951年的工作被后來(lái)人們普遍認(rèn)定為認(rèn)知邏輯的形式研究的開山之作。后來(lái)vonWright在文章中的理念被Hintikka62（KnowledgeandBelief:AnintroductiontotheLogicoftheTwoNotions）實(shí)現(xiàn)了。40一、理論大背景（與第一次報(bào)告類似，簡(jiǎn)要梳理）信念并非一成不變，的確，隨著新信息的不斷涌入，人們的信念也會(huì)隨之產(chǎn)生一些變化。對(duì)信念改變的研究也同樣成為計(jì)算機(jī)科學(xué)領(lǐng)域，哲學(xué)領(lǐng)域較為活躍的話題。誠(chéng)然，對(duì)信念改變的研究以最初的興起到蓬勃發(fā)展集中于20世紀(jì)80年代。最初信念改變的研究是計(jì)算機(jī)科學(xué)領(lǐng)域和哲學(xué)領(lǐng)域相互聯(lián)結(jié)的一個(gè)研究環(huán)節(jié)。在哲學(xué)中，對(duì)信念改變的研究是自古以來(lái)的隸屬于哲學(xué)反思的一個(gè)主題。在20世紀(jì)，哲學(xué)家們探討著科學(xué)理論的發(fā)展機(jī)制，在計(jì)算機(jī)科學(xué)領(lǐng)域，始于20世紀(jì)70年代，出現(xiàn)了對(duì)理性的信念改變需要的條件的更為集中的探討。值得指出的是兩個(gè)里程碑式的貢獻(xiàn)：IsaacLevi在1970s（77,80）的系列文章；AGM理論（有的也稱為AGM公設(shè)）。在信念修正理論中AGM理論，幾乎在相當(dāng)長(zhǎng)的一段歷史時(shí)期中主導(dǎo)了信念修正的研究。值得注意的是AGM理論雖然為理性的信念改變提供了深刻的標(biāo)準(zhǔn)，但實(shí)際上它并不是一個(gè)形式的邏輯系統(tǒng)來(lái)刻畫具體情況下如何運(yùn)用算子來(lái)刻畫信念改變的過(guò)程。這時(shí)很自然地我們會(huì)注意到在認(rèn)知邏輯的范疇里，對(duì)信念及其改變的邏輯系統(tǒng)被熱烈地討論著，成為DEL的一個(gè)較為重要的研究主題。簡(jiǎn)要而言，靜態(tài)的信念邏輯系統(tǒng)公認(rèn)為KD45。信念的動(dòng)態(tài)有賴于觸發(fā)機(jī)制（triggers）大致分為信念更新和信念提升（在以前的報(bào)告中詳細(xì)討論過(guò)，在此不贅述）。41二、我選取的研究路徑2.1基本主題：信念修正理論（BeliefRevisionTheory）是干什么的？

研究一個(gè)理想的認(rèn)知主體在接收到新的信息時(shí)她應(yīng)該如何修正她原來(lái)的信念。無(wú)論在哪條研究路子上，這一條是最基本的主題。2.2實(shí)際變化基于對(duì)信念不同的理解和實(shí)際理論的需求，我們會(huì)研究出適應(yīng)于各個(gè)不同學(xué)科的信念修正。我在此想采取的是在哲學(xué)和技術(shù)問(wèn)題之間找到一個(gè)較為合理的平衡，既能為理論技術(shù)的發(fā)展提供一些創(chuàng)新的工具，也能通過(guò)對(duì)技術(shù)性的研究，讓我們更好的對(duì)信念的哲學(xué)上的討論進(jìn)行嘗試性的實(shí)現(xiàn)。42二、我選取的研究路徑2.3Rott09的啟發(fā)我們相信什么取決于我們是誰(shuí)..我們對(duì)不同事物的信念是有差別的2.4信念的程度(degreeofBelief)——Rankingtheory的基本想法43二、我所選取的研究路徑2.5AucherG.的貢獻(xiàn)AucherG.在他的碩士論文中將A.Baltag,L.Moss,S.Solecki提出的updatelogic與AGM途徑的信念修正理論結(jié)合起來(lái)，有賴于rankingfunction,設(shè)計(jì)了一個(gè)邏輯系統(tǒng)，并給出了可完全公理化的公理系統(tǒng)，最重要的是，他所提出的邏輯系統(tǒng)被證明為它能夠很好的遵循八條AGM公設(shè)。44二、我所選取的研究路徑2.5AucherG.的做法

45二、我所選取的研究路徑2.6故事并沒(méi)有結(jié)束，Rott09發(fā)表了兩篇文章（a）和(b)(b)中他提出了27種關(guān)于迭代的信念改變方式，包括：保守?cái)U(kuò)張(conservativeexpansion)，簡(jiǎn)單擴(kuò)張(plainexpansion)，輕微擴(kuò)張(moderateexpansion)，激進(jìn)擴(kuò)張(radicalexpansion)，極為激進(jìn)擴(kuò)張(veryradicalexpansion)，激進(jìn)修正(radicalrevision)，極為激進(jìn)修正(veryradicalrevision)，保守修正（conservativerevision），輕微修正(moderaterevision)，克制修正（restrainedrevision），嚴(yán)格取出(severewithdrawal)，嚴(yán)格修正（severerevision），簡(jiǎn)單嚴(yán)格修正(plainsevererevision),等等27種信念修正的模式。并且每一個(gè)模式都能與Grove的球包系統(tǒng)對(duì)應(yīng)，并且在文章中提出了它優(yōu)于Grove方法的原因。既然基于Grove方法又優(yōu)于Grove方法，自然而然的想法就是我們?yōu)槭裁床粐L試著在Rott09的基礎(chǔ)上提出基于這種信念修正理論的邏輯呢？46二、我所選取的研究路徑2.6故事并沒(méi)有結(jié)束，Rott09發(fā)表了兩篇文章（a）和(b)在(a)中他探討了信念（相信）(belief)程度的實(shí)現(xiàn)手段：認(rèn)識(shí)牢固度關(guān)系（Entrenchmentrelations）,認(rèn)識(shí)牢固序函數(shù)(Entrenchmentrankingfunctions)；不信念(disbilief)（不相信）程度的實(shí)現(xiàn)手段：似然關(guān)系(plausibilityrelations),似然序關(guān)系(plausibilityrankingfunctions);非信念度(non-beliefs):非信念關(guān)系，非信念函數(shù)等。以及各種不同的信念度的組合方式。47三、我想開展的研究工作、前期準(zhǔn)備、后期安排Aucher受到rankingfunction的啟發(fā)做過(guò)這種焊接(merge)工作，那么隨著rankingtheory的進(jìn)一步進(jìn)展，和不斷地發(fā)展著，我們有理由相信我們可以再試圖順著rankingtheory這條路子，去找到它的邏輯系統(tǒng)的對(duì)應(yīng)。這樣的工作目前我沒(méi)有看到有人做過(guò)，但是如果沿著這條路子繼續(xù)走下去，我覺(jué)得會(huì)有很大的空間可以發(fā)揮。48三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.1前期的研究的小成果及其不足（見(jiàn)PartI部分）1）理論背景的差異：信念修正提出于人工智能領(lǐng)域，它的設(shè)計(jì)初衷是為了解決實(shí)際問(wèn)題，即如何更新數(shù)據(jù)庫(kù)。而信念更新和信念提升旨在基于最初的靜態(tài)信念邏輯捕捉信念改變這一概念。（2）信念修正試圖決定在我們接納一個(gè)新信息時(shí)，哪些舊有信念應(yīng)該被舍棄。這時(shí)我們所依據(jù)的原則是一個(gè)認(rèn)知主體應(yīng)當(dāng)選取這樣一種方式來(lái)改變信念集合，即能把原來(lái)的信念集合發(fā)生的改變減少到最小。信念修正關(guān)注于認(rèn)知主體的信念集合將要做出什么改變。而信念的更新與提升試圖去描述在不同的觸發(fā)機(jī)制引導(dǎo)下，可能世界模型上的改變，變化后的可能世界模型和之前的模型有什么聯(lián)系，對(duì)公理化的結(jié)果造成影響。49三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.1前期的研究的小成果及其不足（見(jiàn)PartI部分）（3）信念修正在處理信念改變時(shí)更加抽象，它不提供任何的具體的機(jī)制來(lái)告訴我們哪些信念應(yīng)該被扔掉，哪些信念應(yīng)該被保持。它只提供了類似AGM這樣的公設(shè)，規(guī)范滿足什么條件的信念修正才是合理的。信念更新和提升與之相反。信念更新和提升恰恰決定了我們應(yīng)該采取哪些具體操作使得信念改變得以實(shí)現(xiàn)，并且給出了導(dǎo)致信念改變的不同的觸發(fā)機(jī)制，即強(qiáng)硬信息和柔和信息。對(duì)信念更新而言，強(qiáng)硬信息p一旦被采納，一些可能世界就面臨著被刪除的命運(yùn)，柔和信息一旦被采納，可能世界集就得重排。50三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.1前期的研究的小成果及其不足（見(jiàn)PartI部分）（4）在信念修正中，新的信息p出現(xiàn)了，我們就要接受這個(gè)信息，并相方設(shè)法把它放在我們?cè)械男拍罴校幌?duì)原有信念集進(jìn)行調(diào)整。信念更新和提升，我們最重要的目的不是要把觸發(fā)算子歸入我們的信念集合中，觸發(fā)算子最重要的功能是改變?cè)瓉?lái)的可能世界模型，要么強(qiáng)硬地扔掉一些不和諧的聲音，要么柔和地重排世界，把一些聲音自動(dòng)和諧掉。51三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.1前期的研究的小成果及其不足（見(jiàn)PartI部分）信念修正的最終落腳點(diǎn)是要建立算法，來(lái)對(duì)各種信念系統(tǒng)建立修正函數(shù)和約減函數(shù)等來(lái)對(duì)數(shù)據(jù)庫(kù)實(shí)施操作。為了實(shí)現(xiàn)這一點(diǎn)，我們必須遵循以最小的代價(jià)將新的信念容納在認(rèn)知主體的信念集中這個(gè)直覺(jué)。對(duì)于信念更新和提升而言，我們對(duì)這點(diǎn)要求不高，我們關(guān)注的是如何模擬信念的改變，以及如何去平衡動(dòng)態(tài)后的模型和原來(lái)的靜態(tài)模型的關(guān)系，使得完全公理化的好的邏輯性質(zhì)可以保存。當(dāng)然這并不意味著DEL方法無(wú)視信息損失的嚴(yán)重性，比如在意識(shí)到強(qiáng)硬信息可能對(duì)后來(lái)的操作產(chǎn)生影響，我們就發(fā)明了信念提升這種柔和并且更精致的方式來(lái)模擬信念改變，它僅僅改變的是信念而不是知識(shí)本身。52三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.1前期的研究的小成果及其不足（見(jiàn)PartI部分）補(bǔ)充一句：在最初的討論中，我們看到AGM理論是提供了信念修正的原則，而DEL理論是提供了具體如何操作，我所欠缺的一點(diǎn)是如何驗(yàn)證在DEL理論下信念的改變是否滿足AGM公設(shè)。所幸，在Aucher的碩士論文里，他提出的updatelogic和rankingtheory證實(shí)，這種結(jié)合能夠很好地反應(yīng)AGM原則。同時(shí)也為我進(jìn)一步的研究方向提供了一些信心。53三、我想開展的研究工作、前期準(zhǔn)備、后期安排3.2我接下來(lái)的具體工作和時(shí)間安排分三階段：先期準(zhǔn)備，技術(shù)實(shí)現(xiàn)，更多理論空間（1）【先期準(zhǔn)備，2015.7-2015-8】通過(guò)進(jìn)一步熟悉幾個(gè)理論背景環(huán)節(jié)，進(jìn)一步縮小和明確論文研究方案：（i）梳理哲學(xué)中對(duì)Belief的討論，特別是對(duì)于Belief的重要哲學(xué)爭(zhēng)論，包括KD45每條公理的背后的理論論爭(zhēng)。每次我有回到概念本身的沖動(dòng)，它源于其實(shí)每場(chǎng)技術(shù)革命都有背后的哲學(xué)思想的啟發(fā)與推動(dòng)，讓我們?cè)诩夹g(shù)不斷豐富的同時(shí)，也加深了對(duì)原本哲學(xué)思想的理解。我覺(jué)得這樣更有意義。(ii)BeliefRevisionTheory中AGMTheory和RankingTheory這兩個(gè)理論的發(fā)展和理論比較，特別是較晚出現(xiàn)的RankingTheory優(yōu)于AGMTheory之處，這部分的文獻(xiàn)要補(bǔ)齊。54三、我想開展的研究工作、前期準(zhǔn)備、后期安排（2）【技術(shù)實(shí)現(xiàn)，2015.9-2015.10（第一階段調(diào)試）；2015.11-2016.3】(iii)把握Rott09提出的27個(gè)信念改變方案的核心思想，通過(guò)借鑒早期已經(jīng)成形的滿足AGM公設(shè)的邏輯系統(tǒng)建立過(guò)程（存在很多相似處）中的一些想法，去構(gòu)造與27個(gè)信念改變方案對(duì)應(yīng)的可完全公理化的靜態(tài)邏輯系統(tǒng)，viz采用模態(tài)語(yǔ)言，可能世界語(yǔ)義學(xué)（或代數(shù)語(yǔ)義學(xué)）。這樣想也許有點(diǎn)樂(lè)觀，因?yàn)槲覀兛梢钥吹靡?jiàn)的風(fēng)險(xiǎn)是：不見(jiàn)得每種方案都找得出來(lái)相應(yīng)的可完全公理化的邏輯系統(tǒng)，甚至也許因?yàn)榧夹g(shù)的需要，能不能在同一個(gè)語(yǔ)義學(xué)下討論都不能100%保證。55三、我想開展的研究工作、前期準(zhǔn)備、后期安排（3）【更多的理論空間;2016.4-2016.7】(iv)在這些靜態(tài)的邏輯系統(tǒng)上嘗試著引入討論(iv_1)多主體信念修正情形(iv_2)動(dòng)態(tài)處理（這里沒(méi)有完全想好.）,以及更多。56參考文獻(xiàn)1.Alchourron,CarlosE.&G?rdenfors,Peter&Makinson,David(1985),OntheLogicofTheoryChange:PartialMeetContractionandRevisionFunctions.JSL50,510-5302.AucherG.(2004)ACombinedSystemforUpdateLogicandBeliefRevision,Master’sthesis,ILLC3.Eriksson,Lina&Hajek,Alan(2007),WhatareDegreesofBelief?StudiaLogica86,185-2154.G?rdenfors,Peter&Rott,Hans(1995),“BeliefRevision,”inD.M.Gabbay&C.J.Hogger&J.A.Robinson(eds.),EpistemicandTemporalReasoning(HandbookofLogicinArtificialIntelligenceandLogicProgramming:Volume4),Oxford:ClarendonPress,35–132.5.Hansson,SvenO.(1999),ATextbookofBeliefDynamics.TheoryChangeandDatabaseUpdating.Dordrecht:Kluwer.6.Hintikka,Jaakko(1961),KnowledgeandBelief,AnIntroductiontotheLogicoftheTwoNotions,Ithaca,NY:CornellUniversityPress.ReissuedasJ.Hintikka(2005),KnowledgeandBelief:AnIntroductiontotheLogicoftheTwoNotions,preparedbyV.F.Hendricks&J.Symons,London:King'sCollegePublications.577.Huber,Franz(2006),RankingFunctionsandRankingsonLanguage.ArtificialIntelligence170,462-471.8.Huber,Franz(2009),BeliefandDegreeofBeliefs.InF.Huber&C.SchmidtPetri(eds),DegreesofBelief.SyntheseLibrary342.Dordrecht:Springer,1-339.Huber,Franz(2013a),“BeliefRevisionI:TheAGMTheory,”PhilosophyCompass,8:604–612.10.Huber,Franz(2013b),“BeliefRevisionII:RankingTheory,”PhilosophyCompass,8:613–621.11.Rott,Hans(2001),Change,Choice,andInference,AStudyofBeliefRevisionandNonmonotonicReasoning,Oxford:OxfordUniversityPress.12.Rott,Hans(2009a),“DegreesAlltheWayDown:Beliefs,Non-Beliefs,Disbeliefs,”inF.Huber&C.Schmidt-Petri(eds.),DegreesofBelief,Dordrecht:Springer.13.Rott,Hans(2009b),“ShiftingPriorities:SimpleRepresentationsforTwenty-sevenIteratedTheoryChangeOperators,”inD.Makinson&J.Malinowski&H.Wansing(e