本文關(guān)鍵詞：主體認(rèn)知正則活動(dòng)的邏輯刻畫

  更多相關(guān)文章： 知識(shí) 正則活動(dòng) 動(dòng)態(tài)認(rèn)知邏輯

【摘要】：研究了主體對(duì)正則復(fù)合活動(dòng)認(rèn)知的性質(zhì)。首先,分析了文獻(xiàn)中對(duì)主體認(rèn)知活動(dòng)的邏輯刻畫及其存在的問(wèn)題;然后,提出刻畫主體認(rèn)知復(fù)合活動(dòng)的邏輯系統(tǒng)KRAL,并證明了該系統(tǒng)的可靠性和完全性。
【作者單位】： 暨南大學(xué)學(xué)報(bào)編輯部;西南大學(xué)邏輯與智能研究中心;
【關(guān)鍵詞】： 知識(shí) 正則活動(dòng) 動(dòng)態(tài)認(rèn)知邏輯
【基金】：國(guó)家社科基金項(xiàng)目“現(xiàn)代邏輯在人工智能中的應(yīng)用研究”(04BZX046),項(xiàng)目負(fù)責(zé)人:唐曉嘉
【分類號(hào)】：B812
【正文快照】： 知道邏輯(KL)[1]和命題動(dòng)態(tài)邏輯(PDL)[2]是刻畫主體認(rèn)知和主體行為的經(jīng)典邏輯。KL刻畫Kφ及其性質(zhì),PDL刻畫[α]φ及其性質(zhì)�，F(xiàn)實(shí)中,主體的認(rèn)知和活動(dòng)相互作用:一方面,主體恰當(dāng)?shù)貓?zhí)行活動(dòng)需要一定的認(rèn)知基礎(chǔ),另一方面,活動(dòng)也可以改變主體的認(rèn)知狀態(tài)。為了更精細(xì)地刻畫主體的認(rèn)

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

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

【共引文獻(xiàn)】

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 李慧華;自認(rèn)知邏輯AEL[D];華南師范大學(xué);2007年

2 劉珂;動(dòng)態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 劉壯虎;必然性的邏輯分析[J];哲學(xué)研究;2002年02期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 張際會(huì);;認(rèn)識(shí)一點(diǎn)草木[J];軍事記者;2010年03期

2 何亦聰;;論周作人的書話散文創(chuàng)作及其在當(dāng)代的傳承[J];中州學(xué)刊;2010年01期

3 張久權(quán);;科技期刊論文寫作系列講座:V.引言[J];中國(guó)煙草科學(xué);2010年01期

4 汪貞莉;;中專英語(yǔ)口語(yǔ)教學(xué)淺論[J];知識(shí)經(jīng)濟(jì);2010年04期

5 高永惠;安楊;喬洪濤;;從《肖申克的救贖》看出的管理門道[J];中小企業(yè)管理與科技(下旬刊);2010年01期

6 高建華;;項(xiàng)目教學(xué)法在Flash動(dòng)畫教學(xué)中的應(yīng)用[J];中國(guó)科技信息;2010年03期

7 諾敏·何;譜莊;;我是草原上的一只鷹[J];中國(guó)攝影家;2010年01期

8 肖常平;;神學(xué)研究[J];中國(guó)天主教;2010年01期

9 李騰;;傳播福音應(yīng)加強(qiáng)學(xué)習(xí)教會(huì)史知識(shí)[J];中國(guó)天主教;2010年01期

10 魏新俊;;優(yōu)美的音樂(lè)形式,豐富的主題內(nèi)涵——英詩(shī)的藝術(shù)美賞析[J];學(xué)理論;2010年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 劉巧利;;略論孔子和蘇格拉底的“道德可教性”思想[A];教育的傳統(tǒng)與變革——紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（四）[C];2009年

2 劉巧利;;《拉刻斯篇》中蘇格拉底對(duì)于“勇敢”的德性分析[A];教育的傳統(tǒng)與變革——紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（四）[C];2009年

3 劉巧利;;《拉刻斯篇》中蘇格拉底對(duì)于“勇敢”的德性分析[A];紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（16）——外國(guó)教育思想史與人物研究[C];2009年

4 劉巧利;;略論孔子和蘇格拉底的“道德可教性”思想[A];紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（21）——中外教育史比較研究（含比較教育等）[C];2009年

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

6 郭艷芬;劉志紅;謝明元;;基于知識(shí)與監(jiān)督分類的青南高原植被信息提取[A];中國(guó)氣象學(xué)會(huì)2008年年會(huì)衛(wèi)星遙感應(yīng)用技術(shù)與處理方法分會(huì)場(chǎng)論文集[C];2008年

7 王詩(shī)頌;;電氣自動(dòng)化技術(shù)專業(yè)人才培養(yǎng)方案的開發(fā)與實(shí)踐[A];2008無(wú)錫職教教師論壇論文集[C];2008年

8 黃俊明;李文立;羅會(huì)明;康敏;楊玉芳;陳海珍;譚劍斌;胡帥爾;;廣州地區(qū)居民對(duì)轉(zhuǎn)基因食品的認(rèn)知調(diào)查[A];中國(guó)毒理學(xué)會(huì)放射毒理專業(yè)委員會(huì)第七次、中國(guó)毒理學(xué)會(huì)免疫毒理專業(yè)委員會(huì)第五次、中國(guó)環(huán)境誘變劑學(xué)會(huì)致突專業(yè)委員會(huì)第二次、中國(guó)環(huán)境誘變劑學(xué)會(huì)致畸專業(yè)委員會(huì)第二次、中國(guó)環(huán)境誘變劑學(xué)會(huì)致癌專業(yè)委員會(huì)第二次全國(guó)學(xué)術(shù)會(huì)議論文匯編[C];2008年

9 王玉;張格祥;劉旭東;馬劍華;肖永良;王宏志;;甘肅省會(huì)寧縣高一學(xué)生營(yíng)養(yǎng)知識(shí)、態(tài)度、行為調(diào)查與分析[A];中國(guó)營(yíng)養(yǎng)學(xué)會(huì)第十次全國(guó)營(yíng)養(yǎng)學(xué)術(shù)會(huì)議暨第七屆會(huì)員代表大會(huì)論文摘要匯編[C];2008年

10 李永華;;孕婦營(yíng)養(yǎng)知識(shí)、態(tài)度和行為調(diào)查分析[A];中國(guó)營(yíng)養(yǎng)學(xué)會(huì)第十次全國(guó)營(yíng)養(yǎng)學(xué)術(shù)會(huì)議暨第七屆會(huì)員代表大會(huì)論文摘要匯編[C];2008年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 曾強(qiáng)（工作單位：安徽省壽縣工商局）;必須加快知識(shí)經(jīng)濟(jì)的發(fā)展[N];安徽經(jīng)濟(jì)報(bào);2002年

2 陶慶玲;人才決定企業(yè)現(xiàn)代化管理水平[N];安徽經(jīng)濟(jì)報(bào);2002年

3 本報(bào)記者 文霞平;點(diǎn)燃農(nóng)家娃心中的希望[N];安徽日?qǐng)?bào);2002年

4 省政協(xié)常委陳天庚;運(yùn)用高新技術(shù)構(gòu)筑現(xiàn)代旅游產(chǎn)業(yè)[N];安徽日?qǐng)?bào);2002年

5 薛兆豐;微軟·暴利·盜版·壟斷[N];北京科技報(bào);2002年

6 白仲堯（中國(guó)社會(huì)科學(xué)院財(cái)貿(mào)經(jīng)濟(jì)研究所 研究員 博士生導(dǎo)師）;中關(guān)村文化的內(nèi)涵和特征[N];北京科技報(bào);2002年

7 李鐵映;關(guān)于學(xué)風(fēng)問(wèn)題的思考[N];北京日?qǐng)?bào);2002年

8 陳曉明（中國(guó)社科院文學(xué)所研究員）;歷史在別處[N];北京日?qǐng)?bào);2002年

9 北京廣播學(xué)院副院長(zhǎng)　　任金州教授;運(yùn)用多種形式對(duì)大學(xué)生進(jìn)行性教育[N];北京日?qǐng)?bào);2002年

10 本報(bào)記者黃秀麗;四千所市民學(xué)校扎根京城[N];北京日?qǐng)?bào);2002年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 李世宏;知識(shí)，傳承與教化[D];華東師范大學(xué);2007年

2 魯柏祥;基于知識(shí)的國(guó)家農(nóng)業(yè)技術(shù)創(chuàng)新體系研究[D];浙江大學(xué);2007年

3 鄭春光;博弈、知識(shí)與教育[D];華東師范大學(xué);2006年

4 劉玉鵬;普羅提諾靈魂學(xué)說(shuō)研究[D];浙江大學(xué);2006年

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

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

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

8 林鉆煌;面向知識(shí)的企業(yè)組織運(yùn)作模式理論與應(yīng)用研究[D];南京理工大學(xué);2005年

9 華東明;安全協(xié)議的形式化方法及其應(yīng)用的研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2005年

10 王維國(guó);論知識(shí)的公共性維度[D];南開大學(xué);2002年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 高文動(dòng);馮契先生“理性直覺(jué)”論[D];華東師范大學(xué);2009年

2 鄧昱;中文問(wèn)答系統(tǒng)中的答案抽取算法研究[D];北京郵電大學(xué);2009年

3 郭寧曉;廣州市成年吸煙者吸煙知識(shí)態(tài)度行為前瞻性研究[D];中國(guó)疾病預(yù)防控制中心;2009年

4 樊曉明;農(nóng)村外來(lái)婦女艾滋病預(yù)防健康教育效果評(píng)價(jià)[D];安徽醫(yī)科大學(xué);2009年

5 劉閑月;產(chǎn)業(yè)集群網(wǎng)絡(luò)特性對(duì)其創(chuàng)新的影響研究[D];華僑大學(xué);2009年

6 牛文靜;終身學(xué)習(xí)背景下的普通學(xué)校美術(shù)教育發(fā)展[D];河北師范大學(xué);2009年

7 劉新民;課堂教學(xué)育人資源開發(fā)的策略研究[D];華東師范大學(xué);2008年

8 李金奎;河北省農(nóng)村地區(qū)艾滋病知識(shí)、態(tài)度與相關(guān)行為調(diào)查及效果評(píng)價(jià)[D];河北醫(yī)科大學(xué);2008年

9 劉曉寧;對(duì)意義建構(gòu)的再認(rèn)識(shí)[D];內(nèi)蒙古師范大學(xué);2008年

10 張震;世界一流大學(xué)組織文化的個(gè)案研究[D];中南民族大學(xué);2008年

，

本文編號(hào)：672816