本文選題：動(dòng)態(tài)認(rèn)知 + 邏輯邏輯推理��； 參考：《自然辯證法通訊》2009年06期

【摘要】：動(dòng)態(tài)認(rèn)知邏輯是近年來興起不久的非經(jīng)典邏輯,是一個(gè)相對比較新的研究領(lǐng)域。20世紀(jì)中后期人們對知識(shí)與信念的研究由靜態(tài)向動(dòng)態(tài)轉(zhuǎn)變,荷蘭邏輯學(xué)家J. van Benthem首先提出用動(dòng)態(tài)模態(tài)邏輯為信息變化提供模型,建議用動(dòng)態(tài)算子來刻畫事實(shí)的變化,從而宣告動(dòng)態(tài)認(rèn)知邏輯的產(chǎn)生。到目前,動(dòng)態(tài)認(rèn)知邏輯得到了快速發(fā)展,人們不僅深入地討論了公共宣告、半公開宣告和秘密告知等行為,而且還研究了行為過程中的信息更新、信念修正,進(jìn)一步為它們提供了結(jié)構(gòu)模型與形式表達(dá),建立了一系列的形式系統(tǒng)。
[Abstract]:Dynamic cognitive logic is a relatively new research field. In the middle and late 20th century, people's research on knowledge and belief changed from static to dynamic. J. van Benthem, a Dutch logician, first proposed the use of dynamic modal logic to provide a model for information change, and suggested that dynamic operators should be used to describe the changes of facts, thus proclaiming the emergence of dynamic cognitive logic. Up to now, dynamic cognitive logic has been developed rapidly. People not only discuss the behavior of public announcement, semi-public declaration and secret announcement, but also study the updating of information and the revision of belief in the process of behavior. Furthermore, the structural model and formal representation are provided for them, and a series of formal systems are established.
【作者單位】： 西華師范大學(xué);
【分類號(hào)】：B815.3

【相似文獻(xiàn)】

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

1 廖德明;;動(dòng)態(tài)認(rèn)知邏輯:變化中的認(rèn)知推理[J];自然辯證法研究;2008年12期

2 葉茂林;杜瀛;;企業(yè)行銷人員勝任特征結(jié)構(gòu)模型初探[J];心理科學(xué);2009年06期

3 許渭生;韓海燕;;高校教師職業(yè)倦怠量表的構(gòu)建[J];中國特殊教育;2010年05期

4 高云鵬;;自我概念結(jié)構(gòu)研究的發(fā)展趨勢與展望[J];新疆石油教育學(xué)院學(xué)報(bào);2006年01期

5 張振亞;;《名詞短語》評(píng)介[J];語文學(xué)刊;2009年11期

6 彭運(yùn)石;段碧花;;社會(huì)科學(xué)領(lǐng)域創(chuàng)造性人格結(jié)構(gòu)模型研究[J];湖南師范大學(xué)教育科學(xué)學(xué)報(bào);2011年01期

7 夏東民;;社會(huì)轉(zhuǎn)型原點(diǎn)結(jié)構(gòu)理論模型的構(gòu)建[J];蘇州大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年02期

8 沈梅;;自我概念的理論述評(píng)[J];湖北教育學(xué)院學(xué)報(bào);2007年07期

9 賴小琴;;國外科學(xué)本質(zhì)研究述評(píng)[J];廣西教育學(xué)院學(xué)報(bào);2009年01期

10 張烈;;虛擬體驗(yàn)設(shè)計(jì)的結(jié)構(gòu)層面分析[J];裝飾;2009年11期

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

1 梁麗;郭成;;中學(xué)生負(fù)面學(xué)業(yè)自我及其預(yù)測因子模型的初步構(gòu)建[A];第十二屆全國心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2009年

2 薛風(fēng)平;;區(qū)域創(chuàng)新能力結(jié)構(gòu)及其非線性測評(píng)模型[A];第十一屆中國管理科學(xué)學(xué)術(shù)年會(huì)論文集[C];2009年

3 劉靜琳;李桂君;;項(xiàng)目間知識(shí)共享:量表與模型[A];第十二屆中國管理科學(xué)學(xué)術(shù)年會(huì)論文集[C];2010年

4 李莉;齊娜;;耳廓結(jié)構(gòu)模型聲學(xué)特性的測量[A];泛在信息社會(huì)中的聲學(xué)——中國聲學(xué)學(xué)會(huì)2010年全國會(huì)員代表大會(huì)暨學(xué)術(shù)會(huì)議論文集[C];2010年

5 鄧祖濤;;基于結(jié)構(gòu)模型的鄉(xiāng)村旅游地游客滿意度研究——以湖北梁子湖旅游區(qū)為例[A];第十五屆全國區(qū)域旅游學(xué)術(shù)開發(fā)研討會(huì)暨度假旅游論壇論文冊[C];2010年

6 黨延忠;;一種基于電子表格的決策支持系統(tǒng)新模型——核心輻射模型[A];系統(tǒng)工程與可持續(xù)發(fā)展戰(zhàn)略——中國系統(tǒng)工程學(xué)會(huì)第十屆年會(huì)論文集[C];1998年

7 李藝敏;蔣艷菊;李新旺;;大學(xué)生孤獨(dú)感結(jié)構(gòu)問卷的編制[A];第十屆全國心理學(xué)學(xué)術(shù)大會(huì)論文摘要集[C];2005年

8 陸勇;;工資改革淺議[A];上海煙草系統(tǒng)1999年度學(xué)術(shù)論文選編[C];1999年

9 周宗奎;;關(guān)于兒童社會(huì)技能的結(jié)構(gòu)模型[A];第九屆全國心理學(xué)學(xué)術(shù)會(huì)議文摘選集[C];2001年

10 王辰龍;盧雷;;基于擴(kuò)展導(dǎo)航結(jié)構(gòu)的Web應(yīng)用測試[A];第一屆全國Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

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

1 蘇鴻英 編譯;中子衍射研究液態(tài)氧化鋁結(jié)構(gòu)模型已獲成功[N];中國有色金屬報(bào);2002年

2 記者 趙蓉;湖南舉辦土木建筑結(jié)構(gòu)模型創(chuàng)作賽[N];中國建設(shè)報(bào);2006年

3 記者　 丁峰;商業(yè)化將使P2P 從草根走向殿堂[N];中國電子報(bào);2006年

4 本報(bào)記者 吳濤;運(yùn)博花船昨首次試航[N];揚(yáng)州日報(bào);2010年

5 記者　 趙鳳華;我具備自主研制百萬千瓦核電廠安全殼能力[N];科技日報(bào);2006年

6 徐立凡;通脹和滯脹,宏調(diào)政策都需關(guān)照[N];華夏時(shí)報(bào);2008年

7 本報(bào)記者 張孔生;運(yùn)博花船今夜璀璨試航[N];揚(yáng)州日報(bào);2010年

8 劉曉薔;解密脫氧核糖核酸[N];醫(yī)藥養(yǎng)生保健報(bào);2006年

9 記者 李曉明;中國巖石圈研究獲七大成果[N];地質(zhì)勘查導(dǎo)報(bào);2005年

10 安世亞太 許明財(cái);ANSYS薄壁結(jié)構(gòu)模型處理技術(shù)[N];中國航空報(bào);2006年

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

1 賈建波;神東煤鏡質(zhì)組結(jié)構(gòu)模型的構(gòu)建及其熱解甲烷生成機(jī)理的分子模擬[D];太原理工大學(xué);2010年

2 吳東曉;創(chuàng)業(yè)社會(huì)勝任力結(jié)構(gòu)模型與績效關(guān)系研究[D];浙江大學(xué);2005年

3 劉安豐;基于QoS的分布式Web服務(wù)結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學(xué);2005年

4 田學(xué)雷;有關(guān)金屬液—固態(tài)結(jié)構(gòu)相關(guān)性若干問題的研究[D];山東工業(yè)大學(xué);1999年

5 代應(yīng);廢舊汽車資源化逆向物流運(yùn)作管理研究[D];重慶大學(xué);2008年

6 肖高;先進(jìn)制造企業(yè)自主創(chuàng)新能力結(jié)構(gòu)模型及與績效關(guān)系研究[D];浙江大學(xué);2007年

7 黃秋明;高職課程質(zhì)量保證體系研究[D];華東師范大學(xué);2008年

8 鄭榮;企業(yè)競爭情報(bào)能力增長機(jī)理及其評(píng)價(jià)研究[D];吉林大學(xué);2008年

9 劉磊;培養(yǎng)學(xué)生實(shí)踐能力論綱[D];遼寧師范大學(xué);2007年

10 周豪;區(qū)域高新技術(shù)產(chǎn)業(yè)化系統(tǒng)的分析與評(píng)價(jià)[D];哈爾濱工程大學(xué);2007年

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

1 廖雅琴;軍人心理素質(zhì)結(jié)構(gòu)及其特點(diǎn)的研究[D];第三軍醫(yī)大學(xué);2006年

2 王丹;小學(xué)教師職業(yè)倦怠結(jié)構(gòu)、現(xiàn)狀及其與應(yīng)對方式的關(guān)系研究[D];遼寧師范大學(xué);2008年

3 周子元;信用風(fēng)險(xiǎn)計(jì)量的結(jié)構(gòu)模型研究[D];首都經(jīng)濟(jì)貿(mào)易大學(xué);2004年

4 王麗麗;轉(zhuǎn)變點(diǎn)問題的統(tǒng)計(jì)推斷及應(yīng)用[D];華中科技大學(xué);2005年

5 何曉燕;中學(xué)生審美能力的結(jié)構(gòu)及其發(fā)展特點(diǎn)[D];西南大學(xué);2006年

6 王小華;信用風(fēng)險(xiǎn)結(jié)構(gòu)模型的理論方法及實(shí)證研究[D];上海財(cái)經(jīng)大學(xué);2005年

7 丁政;企業(yè)軟實(shí)力內(nèi)涵及其結(jié)構(gòu)模型研究[D];廣東工業(yè)大學(xué);2007年

8 付磊;基于可持續(xù)發(fā)展的綠色供應(yīng)鏈管理設(shè)計(jì)策略研究[D];吉林大學(xué);2008年

9 任賢;電子郵件個(gè)性化過濾系統(tǒng)研究[D];長沙理工大學(xué);2007年

10 谷千書;軟件工程系統(tǒng)結(jié)構(gòu)模型的應(yīng)用分析[D];復(fù)旦大學(xué);2008年

，

本文編號(hào)：1961562