本文關(guān)鍵詞： 認(rèn)知邏輯 動(dòng)態(tài)邏輯 公開宣告 信念修正 偏好變化　出處：《華東師范大學(xué)》2017年碩士論文　論文類型：學(xué)位論文

【摘要】：上世紀(jì)中后期,芬蘭哲學(xué)家、邏輯學(xué)家辛提卡在《知識(shí)與信念》一書中,在分析認(rèn)知概念的基礎(chǔ)上,建立了第一個(gè)認(rèn)知邏輯形式系統(tǒng)。此后,認(rèn)知邏輯從類模態(tài)的研究發(fā)展到了單主體、多主體,其對(duì)知識(shí)的刻畫也逐漸涉及到了公共知識(shí)、共同知識(shí)、協(xié)同知識(shí)、分享知識(shí)等等。然而伴隨認(rèn)知邏輯日益受到計(jì)算機(jī)、經(jīng)濟(jì)學(xué)、博弈論以及人工智能等領(lǐng)域關(guān)注,其只能刻畫靜態(tài)場(chǎng)景狀態(tài)的局限性日漸突出。于是,認(rèn)知邏輯的動(dòng)態(tài)化理論應(yīng)運(yùn)而生。動(dòng)態(tài)化的認(rèn)知邏輯可以很好地克服之前辛提卡型不能處理的知識(shí)與信念變化的不足,初步在邏輯上實(shí)現(xiàn)了對(duì)認(rèn)知主體進(jìn)行信息更新和信念變化的嚴(yán)格刻畫。本文通過引介動(dòng)態(tài)認(rèn)知邏輯基礎(chǔ)理論——公開宣告邏輯(public announcement logic)PAL,對(duì)卡片游戲和"泥孩難題"進(jìn)行了以PAL為基礎(chǔ)的動(dòng)態(tài)分析,并在此基礎(chǔ)上探析PAL的系統(tǒng)特征及其在處理信息更新上的技術(shù)細(xì)節(jié)。此外文章結(jié)合動(dòng)態(tài)語言對(duì)現(xiàn)實(shí)案例進(jìn)行考察,將其與不完全信息條件下因信念變化而造成的偏好變化相關(guān)聯(lián),進(jìn)行更為細(xì)致的動(dòng)態(tài)分析,所探討的主要問題包括信息多樣化問題以及對(duì)邏輯理論與現(xiàn)實(shí)實(shí)踐之間的關(guān)系進(jìn)行闡述。
[Abstract]:In 0th century, Sintika, a Finnish philosopher and logician, established the first system of cognitive logic form on the basis of the analysis of cognitive concepts in knowledge and belief. Cognitive logic has developed from the study of the model of class to single subject and multi-agent, and its portrayal of knowledge has gradually involved public knowledge, common knowledge and collaborative knowledge. However, with the increasing concern of cognitive logic in computer, economics, game theory and artificial intelligence, the limitations of which can only depict the static state of scene become more and more prominent. The dynamic theory of cognitive logic emerges as the times require. The dynamic cognitive logic can overcome the deficiency of the change of knowledge and belief which can not be handled by Sintica-type. In this paper, we introduce the basic theory of dynamic cognitive logic, that is, open proclamation logic. Public announcement logic)PAL. The dynamic analysis of card game and mud child puzzle based on PAL is carried out. On this basis, this paper analyzes the system characteristics of PAL and its technical details in dealing with information updating. In addition, this paper combines dynamic language to investigate practical cases. It is associated with the change of preference caused by the change of belief under the condition of incomplete information, and makes a more detailed dynamic analysis. The main problems discussed include the diversification of information and the relationship between logic theory and practical practice.
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：B815.3

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 弓肇祥;認(rèn)知邏輯的新發(fā)展[J];哲學(xué)動(dòng)態(tài);2002年03期

2 王左立;試論認(rèn)知邏輯研究中的若干問題[J];南開學(xué)報(bào);2003年06期

3 J.范·本特姆;劉奮榮;;認(rèn)知邏輯與認(rèn)識(shí)論之研究現(xiàn)狀[J];世界哲學(xué);2006年06期

4 李小五;何純秀;;一個(gè)刻畫理解的認(rèn)知邏輯[J];西南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年05期

5 劉奮榮;;從方法論的角度看動(dòng)態(tài)認(rèn)知邏輯的研究[J];世界哲學(xué);2010年03期

6 汪文甫;認(rèn)知邏輯與社會(huì)發(fā)展[J];探求;2002年04期

7 許滌非;自信性認(rèn)知邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2004年05期

8 李夏妍,張敏強(qiáng);認(rèn)知邏輯研究概觀[J];首都師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年05期

9 張君;;認(rèn)知邏輯和知識(shí)論:可能的融通[J];哲學(xué)研究;2007年04期

10 約翰·范本特姆;;在動(dòng)態(tài)認(rèn)知邏輯中融合觀察與內(nèi)省(英文)[J];邏輯學(xué)研究;2008年01期

相關(guān)會(huì)議論文 前8條

1 張建軍;;邏輯全能問題與動(dòng)態(tài)認(rèn)知邏輯[A];2000年邏輯研究專輯[C];2000年

2 郭美云;;一般群體知識(shí)的多主體認(rèn)知邏輯[A];2005年邏輯研究專輯[C];2005年

3 劉奮榮;;外界信息如何改變我們的知識(shí)、信念和偏好?[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

4 李夏妍;張敏強(qiáng);;認(rèn)知邏輯研究概觀[A];第十屆全國(guó)心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2005年

5 郭美云;;“和積之謎”的動(dòng)態(tài)認(rèn)知邏輯分析[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

6 張學(xué)立;董英東;;我國(guó)概率動(dòng)態(tài)認(rèn)知邏輯研究簡(jiǎn)況[A];第一次南開邏輯學(xué)專業(yè)學(xué)人學(xué)術(shù)研討會(huì)論文集[C];2012年

7 唐曉嘉;陳樹文;;認(rèn)知邏輯的幾個(gè)語義問題分析[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

8 熊立文;;用認(rèn)知邏輯刻畫簡(jiǎn)單枚舉法[A];2001年邏輯研究專輯[C];2001年

相關(guān)博士學(xué)位論文 前1條

1 郭美云;帶有群體知識(shí)的動(dòng)態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

相關(guān)碩士學(xué)位論文 前7條

1 王軼;認(rèn)知邏輯的動(dòng)態(tài)化理論[D];中國(guó)人民大學(xué);2005年

2 劉大偉;真信念及建構(gòu)理性[D];華中師范大學(xué);2015年

3 桂海斌;基于公開宣告邏輯的動(dòng)態(tài)理論探析[D];華東師范大學(xué);2017年

4 劉珂;動(dòng)態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

5 熊尚聰;論認(rèn)知邏輯在刻畫實(shí)際認(rèn)知過程中的困境與出路[D];中國(guó)政法大學(xué);2014年

6 程莉;概率動(dòng)態(tài)認(rèn)知邏輯初探[D];西南大學(xué);2009年

7 周廣強(qiáng);解釋診斷在動(dòng)態(tài)認(rèn)知邏輯中的研究與實(shí)現(xiàn)[D];中山大學(xué);2014年

，

本文編號(hào)：1489296