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

【摘要】：本文首先介紹動(dòng)態(tài)認(rèn)知邏輯的發(fā)展由來(lái)和研究背景,再以動(dòng)態(tài)認(rèn)知邏輯的的一個(gè)基礎(chǔ)系統(tǒng)———公開(kāi)宣告邏輯(public announcement logic簡(jiǎn)稱PAL)為例,從而介紹動(dòng)態(tài)認(rèn)知邏輯研究的一些基本思路和方法,重點(diǎn)考察動(dòng)態(tài)認(rèn)知邏輯是如何完成靜態(tài)向動(dòng)態(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ó)家社科規(guī)劃基金資助課題《現(xiàn)代邏輯在人工智能中的應(yīng)用研究》的子課題(項(xiàng)目編號(hào):04BZX046)
【分類號(hào)】：B81

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 朱廣忠;公共事業(yè)管理的若干基本問(wèn)題[N];光明日?qǐng)?bào);2005年

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

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

6 中國(guó)科學(xué)技術(shù)協(xié)會(huì)書記處書記 馮長(zhǎng)根;學(xué)術(shù)論文寫作與發(fā)表的八個(gè)問(wèn)題[N];北京科技報(bào);2008年

7 潘偉君;見(jiàn)“基”行事[N];上海證券報(bào);2008年

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

9 余麗君;青神教育科研邁大步[N];眉山日?qǐng)?bào);2005年

10 易文;溫州瓦市小學(xué)校本課程開(kāi)發(fā)結(jié)碩果[N];光明日?qǐng)?bào);2007年

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

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

2 吳梅紅;基于動(dòng)態(tài)認(rèn)知邏輯的多主體系統(tǒng)知識(shí)推理研究[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)皮生長(zhǎng)因子表達(dá)[D];浙江大學(xué);2006年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：2062518