本文選題：動態(tài)邏輯 + 信息�。� 參考：《北京大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》2008年01期

【摘要】：本文把邏輯表述為關(guān)于信息流動的一般理論,它涉及推理、觀察和社會交往等人類能力。由此導(dǎo)致的多主體動力學(xué)可以用關(guān)于信息更新的動態(tài)認(rèn)知邏輯系統(tǒng)來加以研究,后者也能夠處理信念更新和學(xué)習(xí)問題;可以把這種語義動態(tài)學(xué)與作為信息闡明的推理的語法過程相結(jié)合。本文最后討論了如何(將已有結(jié)果)擴(kuò)展到主體之間的長期互動,并描述了(主體的)偏好和目標(biāo),以及由此導(dǎo)致的邏輯、博弈論和社會選擇理論之間的相互作用。
[Abstract]:In this paper, logic is expressed as a general theory of information flow, which involves human abilities such as reasoning, observation and social interaction. The resulting multi-agent dynamics can be studied by the dynamic cognitive logic system on information updating, which can also deal with belief renewal and learning. This semantic dynamics can be combined with the grammatical process of reasoning as information clarification. Finally, this paper discusses how to extend the existing results to the long-term interaction between the agents, and describes the preferences and goals, and the resulting interactions between logic, game theory and social choice theory.
【作者單位】：
【分類號】：B815.3

【共引文獻(xiàn)】

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

1 胡義昭;;動態(tài)認(rèn)知邏輯的一個批評[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2010年02期

2 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[J];邏輯研究專輯;2003年00期

3 張峰;;論博弈邏輯[J];學(xué)術(shù)論壇;2006年03期

相關(guān)會議論文 前1條

1 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[A];2003年邏輯研究專輯[C];2003年

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

1 吳梅紅;基于動態(tài)認(rèn)知邏輯的多主體系統(tǒng)知識推理研究[D];廈門大學(xué);2009年

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

1 張木春;帶有偏好的博弈邏輯及其法律應(yīng)用[D];西南大學(xué);2008年

2 金雙全;終極博弈決策邏輯分析[D];浙江大學(xué);2010年

【相似文獻(xiàn)】

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

1 孟曉敏;;創(chuàng)建輕松的英語課堂教學(xué)環(huán)境[J];成功(教育);2008年03期

2 漆良蜜;;英語教學(xué)方法綜述[J];成功(教育);2008年11期

3 董莉;;古代文學(xué)史課中的師生互動[J];青年文學(xué)家;2011年10期

4 左桂春;李偉;丁政;;高職高專英語課堂教學(xué)的創(chuàng)新三部曲[J];職業(yè)教育研究;2006年07期

5 王秀玲;論普通高校古代漢語課堂愉快互動的必要性及其主要方法[J];云南財貿(mào)學(xué)院學(xué)報(社會科學(xué)版);2005年03期

6 朱昌亮;;讓英語課堂成為師生互動的舞臺[J];中學(xué)教學(xué)參考;2009年19期

7 劉瑩;;情感因素在計算機(jī)教學(xué)中的介入[J];教師;2009年22期

8 周迪撰;;為初學(xué)英語的小學(xué)生插上“樂學(xué)”的翅膀[J];考試周刊;2011年51期

9 左桂春;;大學(xué)英語課堂教學(xué)創(chuàng)新體驗[J];山東醫(yī)學(xué)高等專科學(xué)校學(xué)報;2006年02期

10 吳培顯;創(chuàng)作與批評的沖突與互動[J];中共杭州市委黨校學(xué)報;2000年03期

相關(guān)會議論文 前10條

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

2 國培光;張遂年;;電工學(xué)教學(xué)中學(xué)生思維品質(zhì)的培養(yǎng)[A];第五屆全國機(jī)械設(shè)計及制造專業(yè)教學(xué)研討會議論文集（卷1 教學(xué)論文）[C];1995年

3 田浩;;心理學(xué)的學(xué)科目標(biāo):從知識到行動[A];第十二屆全國心理學(xué)學(xué)術(shù)大會論文摘要集[C];2009年

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

5 顏敬;曾亞武;高睿;;基于信息更新和殘差修正的深基坑變形灰色預(yù)測研究[A];和諧地球上的水工巖石力學(xué)——第三屆全國水工巖石力學(xué)學(xué)術(shù)會議論文集[C];2010年

6 郭少文;賈文江;吳朝木;;注重能力培養(yǎng),提高學(xué)生的自學(xué)能力[A];第十五屆全國圖學(xué)教育研討會暨第七屆工程制圖CAI課件演示交流會論文集[C];2006年

7 白鵬鵬;;探究稱呼語的人際意義[A];福建省外國語文學(xué)會2009年年會暨學(xué)術(shù)研討會論文集[C];2009年

8 朱鳳亞;鄒錫紅;;淺談培養(yǎng)學(xué)生口語交際能力的有效互動[A];江蘇省教育學(xué)會2006年年會論文集（文科專輯）[C];2006年

9 鄒璇;;CRM系統(tǒng)與客戶經(jīng)理的互動[A];湖北省煙草學(xué)會2006年學(xué)術(shù)年會論文集[C];2006年

10 張明暉;劉克;;可靠性更新時供應(yīng)商的選擇與訂貨問題[A];第七屆中國不確定系統(tǒng)年會論文集[C];2009年

相關(guān)重要報紙文章 前10條

1 本報記者 侯軍;互動讓彩電走出價格戰(zhàn)[N];市場報;2002年

2 巴曙松;中國與世界多元化互動[N];中國經(jīng)營報;2001年

3 張金合 周進(jìn)獻(xiàn);努力構(gòu)建銀企互動格局[N];糧油市場報;2002年

4 夏凌;房產(chǎn)·IT激情互動[N];中華工商時報;2002年

5 本報記者 曹開彬;別讓軟件管死企業(yè)[N];中國計算機(jī)報;2001年

6 程延風(fēng);“互動點評本”與“素質(zhì)教育”方法[N];文匯報;2002年

7 本報記者 木斯;“網(wǎng)站互動計劃”揭秘[N];中國計算機(jī)報;2000年

8 ;陳東琪 資本市場應(yīng)與國民經(jīng)濟(jì)發(fā)展互動[N];江蘇經(jīng)濟(jì)報;2002年

9 姜鳴均;“報”“網(wǎng)”互動[N];中國新聞出版報;2001年

10 林位芳;“情”“法”交融 編輯作者互動[N];中國新聞出版報;2002年

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

1 趙健;學(xué)習(xí)共同體[D];華東師范大學(xué);2005年

2 李瑞昌;風(fēng)險　知識與公共決策[D];復(fù)旦大學(xué);2005年

3 王俊;解讀高等教育的性別符碼[D];華中科技大學(xué);2005年

4 胥胤;企業(yè)控制權(quán)配置論[D];四川大學(xué);2007年

5 彭海朋;可重構(gòu)的動態(tài)邏輯計算研究[D];北京郵電大學(xué);2010年

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

7 張冀新;城市群現(xiàn)代產(chǎn)業(yè)體系形成機(jī)理及評價研究[D];武漢理工大學(xué);2009年

8 赫廣霖;戲曲與儒學(xué)[D];山東大學(xué);2005年

9 王喜旺;學(xué)術(shù)與教育互動[D];華東師范大學(xué);2006年

10 陳長里;人本、效率、公平[D];湖南師范大學(xué);2008年

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

1 昌燦云;上市公司內(nèi)部控制與內(nèi)部治理互動關(guān)系研究[D];湘潭大學(xué);2007年

2 馬潔;跨國公司與中國制造業(yè)的互動性研究[D];陜西師范大學(xué);2005年

3 萬聰;從偽譯看翻譯與文化的互動[D];湖南師范大學(xué);2005年

4 尹娟娟;合作學(xué)習(xí)與社會相互依賴原理[D];江西師范大學(xué);2004年

5 王玲;手機(jī)媒體與媒介生態(tài)重塑[D];西北大學(xué);2005年

6 李波;對中學(xué)英語課堂中教師話語的研究[D];遼寧師范大學(xué);2005年

7 畢長海;論被害人過錯對量刑的影響[D];吉林大學(xué);2005年

8 林眉慧;生生“合作—互動”作文評改教學(xué)初探[D];福建師范大學(xué);2005年

9 魏純雅;合作學(xué)習(xí)：改變高職高專英語教學(xué)模式[D];福建師范大學(xué);2005年

10 王黔京;政府與非政府組織反貧困中的協(xié)作關(guān)系研究[D];貴州大學(xué);2006年

，

本文編號：1803096