本文選題：動態(tài)認(rèn)知邏輯 + 研究背景��； 參考：《自然辯證法研究》2006年01期

【摘要】：本文首先介紹動態(tài)認(rèn)知邏輯的發(fā)展由來和研究背景,再以動態(tài)認(rèn)知邏輯的的一個基礎(chǔ)系統(tǒng)———公開宣告邏輯(public announcement logic簡稱PAL)為例,從而介紹動態(tài)認(rèn)知邏輯研究的一些基本思路和方法,重點(diǎn)考察動態(tài)認(rèn)知邏輯是如何完成靜態(tài)向動態(tài)的轉(zhuǎn)換。
[Abstract]:This paper first introduces the origin and research background of dynamic cognitive logic, and then takes (public announcement logic, a basic system of dynamic cognitive logic, as an example. This paper introduces some basic ideas and methods in the research of dynamic cognitive logic, and focuses on how the dynamic cognitive logic completes the transformation from static to dynamic.
【作者單位】： 北京大學(xué)哲學(xué)系
【基金】：國家社科規(guī)劃基金資助課題《現(xiàn)代邏輯在人工智能中的應(yīng)用研究》的子課題(項(xiàng)目編號:04BZX046)
【分類號】：B81

【相似文獻(xiàn)】

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

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

2 任勝利;正文的架構(gòu)與撰寫[J];中國有色金屬學(xué)報;2005年03期

3 劉壯虎,李小五;對動作的認(rèn)知[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2005年06期

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

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

6 廖德明;;動態(tài)認(rèn)知邏輯視域下的知識與信念[J];畢節(jié)學(xué)院學(xué)報;2010年01期

7 黃穎;;鳳凰衛(wèi)視研究背景、現(xiàn)狀及意義綜述[J];青春歲月;2010年20期

8 王景周;崔建英;;從實(shí)踐思維看現(xiàn)代邏輯的發(fā)展[J];暨南學(xué)報(哲學(xué)社會科學(xué)版);2010年01期

9 周謹(jǐn)平;;高校英語詞匯教學(xué)新啟示[J];現(xiàn)代商貿(mào)工業(yè);2007年09期

10 施鐵如;中學(xué)生性別心理差異的研究[J];心理科學(xué);1993年01期

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

1 李晶;張敏霞;;生態(tài)水力研究進(jìn)展[A];2008中國環(huán)境科學(xué)學(xué)會學(xué)術(shù)年會優(yōu)秀論文集（上卷）[C];2008年

2 ;略論醫(yī)院知識管理[A];首屆中國IT與醫(yī)藥衛(wèi)生高層論壇論文集[C];2004年

3 宋雁;;免疫毒理學(xué)安全評價體系的建立[A];第四屆第二次中國毒理學(xué)會食品毒理學(xué)專業(yè)委員會與營養(yǎng)食品所毒理室聯(lián)合召開學(xué)術(shù)會議論文集[C];2008年

4 孫瑩;姚斐;林慧芳;李綺斌;;科技創(chuàng)新視頻平臺節(jié)目制作流程管理體系建設(shè)研究[A];信息時代——科技情報研究學(xué)術(shù)論文集（第三輯）[C];2008年

5 文勇立;;牦牛褪黑激素合成酶基因AA-NAT和HIOMT的差異表達(dá)研究[A];中國畜牧獸醫(yī)學(xué)會家畜生態(tài)學(xué)分會第七屆全國代表大會暨學(xué)術(shù)研討會論文集[C];2008年

6 王湃;凌雪冰;張安錄;;農(nóng)地城市流轉(zhuǎn)的選擇價值:研究背景、意義及趨勢[A];2009年中國土地學(xué)會學(xué)術(shù)年會論文集[C];2009年

7 陸菡;于布為;;SUMO化修飾參與活動依賴刺激過程及異丙酚抗氧化效應(yīng)[A];2010中華醫(yī)學(xué)會全國麻醉學(xué)術(shù)年會論文匯編[C];2010年

8 劉雙信;史偉;梁馨苓;李珩;葉智明;王文健;梁永正;何朝生;胡湘明;章斌;彭炎強(qiáng);馬健超;;維持性血液透析病人OPG及RANKL的研究[A];中華醫(yī)學(xué)會腎臟病學(xué)分會2006年學(xué)術(shù)年會論文集[C];2006年

9 卓靜;李唐寧;;波形齒夾具錨在碳纖維片材加固技術(shù)及預(yù)應(yīng)力技術(shù)中應(yīng)用研究[A];FRP與結(jié)構(gòu)補(bǔ)強(qiáng)——'05全國FRP與結(jié)構(gòu)加固學(xué)術(shù)會議論文精選[C];2005年

10 郝曉秀;楊淑蕙;馮群策;徐清華;;印刷一體機(jī)用版紙—熱敏蠟紙[A];中國造紙學(xué)報2003年增刊——中國造紙學(xué)會第十一屆學(xué)術(shù)年會論文集[C];2003年

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

1 唐堂;15位專家聯(lián)合撰文駁斥“牛奶有害論”[N];中國質(zhì)量報;2007年

2 崔晶煒;如何尋找“新奶酪”[N];中國計(jì)算機(jī)報;2004年

3 朱廣忠;公共事業(yè)管理的若干基本問題[N];光明日報;2005年

4 本報通訊員 錢恂熊;淤泥固化技術(shù)應(yīng)用前景廣闊[N];中國水利報;2007年

5 Morningstar晨星(深圳)基金研究中心 李雯;在新品中選擇適合自己的基金[N];證券時報;2006年

6 中國科學(xué)技術(shù)協(xié)會書記處書記 馮長根;學(xué)術(shù)論文寫作與發(fā)表的八個問題[N];北京科技報;2008年

7 潘偉君;見“基”行事[N];上海證券報;2008年

8 本報記者 張自然;金鵬：“專注與多元”之美[N];中國電子報;2003年

9 余麗君;青神教育科研邁大步[N];眉山日報;2005年

10 易文;溫州瓦市小學(xué)校本課程開發(fā)結(jié)碩果[N];光明日報;2007年

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

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

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

3 周琳琳;基于認(rèn)知心理邏輯的“觀其脈證，知犯何逆，隨證治之”研究[D];北京中醫(yī)藥大學(xué);2012年

4 蘇愉仁;基于邏輯的《金匱要略》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2010年

5 李義召;腦缺血再灌注損傷機(jī)制與LMWH-SOD防治作用研究[D];山東大學(xué);2005年

6 馬琪;同源框基因NKX3.1抑制前列腺癌細(xì)胞血管內(nèi)皮生長因子表達(dá)[D];浙江大學(xué);2006年

7 徐小圓;HT-7托卡馬克芯部溫度漲落與鋸齒磁重聯(lián)的電子回旋輻射成像診斷研究[D];中國科學(xué)技術(shù)大學(xué);2009年

8 鄒安若;心肌萎縮對大鼠心肌移植細(xì)胞鉀通道的影響[D];華中科技大學(xué);2004年

9 崔運(yùn)鵬;基于本體論的農(nóng)業(yè)知識管理關(guān)鍵技術(shù)研究[D];中國農(nóng)業(yè)科學(xué)院;2007年

10 童水龍;人破骨細(xì)胞刺激因子的結(jié)構(gòu)生物學(xué)研究及普通變形桿菌的LAD初步晶體學(xué)研究[D];中國科學(xué)技術(shù)大學(xué);2008年

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

1 韓學(xué)軍;連江流域設(shè)計(jì)洪水計(jì)算與研究[D];武漢大學(xué);2004年

2 姜望;大學(xué)英語四級考試對大學(xué)英語教學(xué)反撥作用初步研究[D];武漢理工大學(xué);2008年

3 牛建強(qiáng);隴西小曲研究[D];西北師范大學(xué);2009年

4 張麗;時態(tài)公開宣告邏輯初探[D];西南大學(xué);2009年

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

6 成鵬;軀干肌等速肌力測試的相關(guān)研究[D];第二軍醫(yī)大學(xué);2005年

7 張微;大學(xué)英語四級考試的反撥效應(yīng)研究[D];吉林大學(xué);2004年

8 胡曉;有機(jī)小分子在Au（111）表面的相互作用力及組裝的掃描隧道顯微學(xué)研究[D];中國科學(xué)技術(shù)大學(xué);2009年

9 王永鳳;復(fù)合多鐵性材料的制備和電磁學(xué)性能研究[D];中國科學(xué)技術(shù)大學(xué);2009年

10 張俐;基于GIS的水量水質(zhì)耦合模型應(yīng)用研究[D];武漢大學(xué);2005年

本文編號：2062518