本文關(guān)鍵詞： 信念修正 自省主體 Moore-型信息 不成功修正 弱成功　出處：《北京師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2008年05期 　論文類型：期刊論文

【摘要】：主體的信念狀態(tài)隨著世界的改變和新信息的輸入等因素在不斷地演化,對(duì)于信念狀態(tài)變化規(guī)律的描述和形式刻畫在一定程度上可以幫助我們模擬人類等具有的高級(jí)智能,從而為計(jì)算機(jī)人工智能這樣的學(xué)科提供理論基礎(chǔ),對(duì)哲學(xué)、邏輯學(xué)等本身的發(fā)展也有一定的理論意義。這里我們考察具有足夠推理能力的完全自省主體在信念修正過程中對(duì)Moore-型信息的處理規(guī)律,即把相應(yīng)主體信念狀態(tài)的Moore-型斷定作為新信息輸入,用來修正原來的信念狀態(tài)。經(jīng)典的AGM理論可以較好地刻畫不含模態(tài)算子的客觀信息的修正。然而,如果把主體信念狀態(tài)中的信息和用來修正的新信息的形式擴(kuò)大到模態(tài)的情況,"成功"和"一致性"公設(shè)不可能同時(shí)成立。為此,我們首先討論自省主體i在自己的信念狀態(tài)和客觀事實(shí)的信念的不同組合情況下,對(duì)涉及自身信念狀態(tài)的Moore-型信息A∧┐BiA的修正可能與結(jié)果。然后選出其中有意義的過程,定義和說明一種弱化的"成功"版本——"不成功修正";并且在繼承經(jīng)典AGM某些公設(shè)的基礎(chǔ)上,給出上述修正過程的局部描述。此外,我們還將結(jié)合動(dòng)態(tài)信念邏輯等工具,試圖給出上述修正過程的邏輯表達(dá)。
[Abstract]:The belief state of the subject evolves with the change of the world and the input of new information. To a certain extent, the description and formal description of the law of change of belief state can help us to simulate the advanced intelligence of human beings, thus providing a theoretical basis for such subjects as computer artificial intelligence and philosophy. The development of logic itself also has certain theoretical significance. Here we investigate the processing law of Moore-type information by fully introspection subject with sufficient reasoning ability in the process of belief revision. That is to say, Moore-type determination of the corresponding subject belief state is regarded as the input of new information. The classical AGM theory can well describe the correction of objective information without modal operators. If the information in the subject belief state and the form of the new information used to be modified are extended to the case of the mode, the postulates of "success" and "consistency" cannot be established at the same time. We first discuss the case of introspection subject I in different combinations of beliefs of one's own belief state and objective facts. The modification of Moore-type information A A BiA involving its own belief state is possible and result, and then the meaningful process is selected. Definition and description of a weak version of "success"-"unsuccessful revision"; On the basis of inheriting some postulates of classical AGM, the local description of the above correction process is given. In addition, we will try to give the logical expression of the above correction process with the tools of dynamic belief logic and so on.
【作者單位】： 北京師范大學(xué)價(jià)值與文化研究中心;
【基金】：教育部人文社會(huì)科學(xué)研究青年項(xiàng)目“基于自然語言的信念修正和知識(shí)更新邏輯研究”(07JC720401)
【分類號(hào)】：B81
【正文快照】： 一、背景和問題由來我們面臨著無時(shí)不在變化的世界,新的信息不斷地沖擊著主體①原有的信念系統(tǒng),主體不可能對(duì)新出現(xiàn)的各種信息而無動(dòng)于衷。有時(shí)主體可能不假思索地接受新信息;有時(shí)為了接受新信息會(huì)產(chǎn)生很多麻煩,它們不得不對(duì)自己原有的信念狀態(tài)作出調(diào)整;有時(shí)主體有很強(qiáng)的免疫

【參考文獻(xiàn)】

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

1 郭佳宏;;研究主體信念修正的不同路徑[J];暨南學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年03期

2 郭佳宏;;信息變化的邏輯[J];求是學(xué)刊;2007年06期

【共引文獻(xiàn)】

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

1 郭佳宏;;信息變化的邏輯[J];求是學(xué)刊;2007年06期

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

1 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

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

1 劉文赫;Horn子句型信念的靜態(tài)非修正處理方法研究[D];大連海事大學(xué);2011年

2 施娟;關(guān)聯(lián)理論對(duì)語義悖論的詮釋[D];云南師范大學(xué);2007年

3 張建新;不一致信念的定量非修正分層處理方法研究[D];大連海事大學(xué);2010年

4 馮陸;子句型信念集靜態(tài)非修正處理方法的優(yōu)化研究[D];大連海事大學(xué);2012年

【相似文獻(xiàn)】

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

1 熊立文;信念修正的理論與方法[J];哲學(xué)動(dòng)態(tài);2005年03期

2 熊立文;信念修正的AGM理論[J];現(xiàn)代哲學(xué);2005年01期

3 谷飆;;信念修正模型的哲學(xué)基礎(chǔ)[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年02期

4 郭佳宏;;研究主體信念修正的不同路徑[J];暨南學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年03期

5 董英東;;淺析歸納邏輯的認(rèn)知傾向[J];唐山學(xué)院學(xué)報(bào);2010年02期

6 龔艷;;哲學(xué)咨詢:一個(gè)新興的哲學(xué)實(shí)踐領(lǐng)域[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年04期

7 郭佳宏;;信息變化的邏輯[J];求是學(xué)刊;2007年06期

8 呂進(jìn);;一個(gè)描述現(xiàn)實(shí)主體信念的信息宣告覺知邏輯[J];哲學(xué)動(dòng)態(tài);2008年07期

9 霍書全;;關(guān)于條件句的蘊(yùn)涵理論[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年03期

10 約翰·范本特姆;郭美云;蔣軍利;;“如實(shí)述說”:邏輯中的信息流動(dòng)[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年01期

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

1 徐中強(qiáng);何守才;;模糊Petri模型的不確定管理新技術(shù)[A];數(shù)據(jù)庫研究進(jìn)展97——第十四屆全國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（下）[C];1997年

2 林連南;吳盡昭;;包含缺省的Z規(guī)約演化：一種可操作的方法[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

3 王文方;;國王的新衣裳與舊衣裳[A];邏輯與認(rèn)知學(xué)術(shù)研討會(huì)會(huì)議論文集[C];2004年

4 郭佳宏;;信息交流背景下的邏輯與理性——從LORI國際研討會(huì)看邏輯學(xué)研究發(fā)展趨勢(shì)[A];和諧社會(huì)：社會(huì)建設(shè)與改革創(chuàng)新——2007學(xué)術(shù)前沿論叢（下卷）[C];2007年

5 孫多青;王麗;;在供應(yīng)鏈中削弱信息不對(duì)稱的方法[A];第二十九屆中國控制會(huì)議論文集[C];2010年

6 徐瑩;徐福緣;;多Agent電子商務(wù)協(xié)同管理體系結(jié)構(gòu)研究[A];全國第十屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)年會(huì)論文集[C];2006年

7 張犁;潘綱;李石堅(jiān);吳朝暉;;智能影子(SmartShadow):一個(gè)新的普適計(jì)算模型[A];第四屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2008年

8 陳凌云;;企業(yè)內(nèi)部控制評(píng)價(jià):基于管理層和審計(jì)師的博弈分析[A];首屆內(nèi)部控制專題學(xué)術(shù)研討會(huì)論文集[C];2009年

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

1 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

2 孫瑜;本體修正[D];中國科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

3 王樹鋒;非規(guī)范知識(shí)的獲取與融合技術(shù)研究[D];上海大學(xué);2008年

4 肖文潔;知識(shí)表示與推理的若干問題研究[D];南京航空航天大學(xué);2010年

5 雷瑩;電子市場環(huán)境下agent自主談判決策機(jī)制的設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2007年

6 代利;基于判斷聚合邏輯的群體理性條件研究[D];西南大學(xué);2012年

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

1 雷宇;證詞邏輯初探[D];西南大學(xué);2011年

2 張建新;不一致信念的定量非修正分層處理方法研究[D];大連海事大學(xué);2010年

3 郝彥彬;基于agent的信息融合與信息過濾機(jī)制的研究與實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2003年

4 尚穎;常識(shí)推理中不一致信念的定量非修正處理方法[D];東北師范大學(xué);2002年

5 蘇靜;信念變化的多—核收縮算子研究[D];南京航空航天大學(xué);2004年

6 陳沙;基于博弈的多Agent系統(tǒng)中合作的研究[D];吉林大學(xué);2008年

7 李黎濱;一種本體變化的表示與管理方法[D];吉林大學(xué);2011年

8 張麗麗;常識(shí)推理中不一致信念的兩種修正策略研究[D];廈門大學(xué);2005年

9 金玉;信念算子運(yùn)算的語義解釋研究[D];大連海事大學(xué);2009年

10 郭th;基于信念修正的“觀其脈證，知犯何逆，隨證治之”的邏輯刻畫[D];北京中醫(yī)藥大學(xué);2012年

，

本文編號(hào)：1483885