本文選題：認知系統(tǒng) + 鄰域語義��； 參考：《現(xiàn)代哲學》2006年01期

【摘要】：首先,我們構(gòu)造認知系統(tǒng)EK1-EK3,給出它們的一些證明論結(jié)果。其次,我們引入鄰域語義,給出EK1-EK3的特征公理和規(guī)則的框架條件,證明EK1-EK3相對這些框架條件分別是框架可靠的。最后,我們證明EK1-EK3相對這些框架條件分別是框架完全的。
[Abstract]:Firstly, we construct the cognitive system EK _ 1-EK _ 3 and give some proofs. Secondly, we introduce neighborhood semantics, give the characteristic axioms of EK1-EK3 and the frame conditions of rules, and prove that EK1-EK3 is frame reliable relative to these frame conditions. Finally, we prove that EK1-EK3 is frame complete relative to these frame conditions.
【作者單位】： 中山大學邏輯與認知研究所中山大學哲學系
【基金】：教育部哲學社會科學研究重大課題攻關(guān)項目(04JZD0006)成果之一
【分類號】：B812

【相似文獻】

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

1 寧春巖;關(guān)于認知系統(tǒng)的幾個假想[J];求是學刊;1986年04期

2 ;新書簡介[J];外語教學與研究;1987年02期

3 韓寶育;語言符號的局限性[J];陜西師范大學學報(哲學社會科學版);1987年04期

4 E.拉茲洛;錢兆華;;現(xiàn)代綜合哲學——系統(tǒng)哲學[J];世界哲學;1991年06期

5 趙成;認識系統(tǒng)的產(chǎn)生與發(fā)展初探[J];新疆大學學報(哲學人文社會科學版);1992年01期

6 楊森 ,畢明;淺論建立在需要基礎(chǔ)上的知行統(tǒng)一觀[J];西北師大學報(社會科學版);1993年02期

7 孫維張;論言語的理解[J];吉林大學社會科學學報;1996年03期

8 錢兆華;拉茲洛系統(tǒng)哲學述要[J];河南師范大學學報(哲學社會科學版);1998年06期

9 屠德雍,鮑健強;一種新的認知模型和信息加工規(guī)律[J];自然辯證法研究;1998年03期

10 張奇,周永壘;策略性學習過程探析[J];遼寧師范大學學報(社會科學版);1998年02期

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

1 楊斌;張侃;;外部表征對人信息加工能力影響的研究[A];第三屆全國人—機—環(huán)境系統(tǒng)工程學術(shù)會議論文集[C];1997年

2 陳慕澤;;多主體認知系統(tǒng)中的共同知識[A];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年

3 Mette S.Husemoen;Bernardine Hayes;Jean J．Chu;C．Will Zhang;;天人合一——保證健康的全球文化:現(xiàn)代醫(yī)學與傳統(tǒng)元極醫(yī)學相結(jié)合以獲取健康[A];國際傳統(tǒng)醫(yī)藥大會論文摘要匯編[C];2000年

4 白學軍;郭罡;;對人面再認兩種模型的檢驗:來自發(fā)展研究的證據(jù)[A];第九屆全國心理學學術(shù)會議文摘選集[C];2001年

5 韓在柱;舒華;;漢語動詞和名詞在人腦中的表征方式:來自兩例個案的證據(jù)[A];第九屆全國心理學學術(shù)會議文摘選集[C];2001年

6 王瑞明;莫雷;李瑩;;知覺符號系統(tǒng)理論探析[A];科學·認知·意識——哲學與認知科學國際研討會文集[C];2004年

7 黃培紅;;基于自然語言理解的認知系統(tǒng)原理與算法初探——人機對話系統(tǒng)算法基礎(chǔ)與構(gòu)造[A];’2004計算機應用技術(shù)交流會議論文集[C];2004年

8 陳列尊;;復雜認知模型及其對教育教學設(shè)計的指導意義[A];中國教育技術(shù)協(xié)會2004年年會論文集[C];2004年

9 李小五;;適于認知邏輯的關(guān)系概率語義(英文)[A];Proceedings of The 3rd International Conference on Logic and Cognition[C];2004年

10 王岳;;快樂舞蹈學——舞蹈教學中的愉快教育[A];中國少年兒童舞蹈論文比賽獲獎作品集[C];2005年

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

1 武斌;電腦不懂性別歧視[N];中國圖書商報;2000年

2 俞國良（作者系中央教科所教育心理研究室主任、教授、博士生導師）;直面基礎(chǔ)教育的創(chuàng)新教育研究[N];光明日報;2001年

3 冬巖;上班族躲開職場憂郁癥[N];科學時報;2001年

4 采訪者 本報記者 王素梅 受訪者 中國人民大學勞動人事學院副院長、教授、著名管理咨詢專家 彭劍鋒;中國企業(yè)文化面面談[N];遼寧日報;2002年

5 曾志朗;大文豪為何只使用幾千字？[N];中國商報;2002年

6 李炳彥;學會駕馭“戰(zhàn)爭迷霧”[N];中國國防報;2003年

7 王輝　耿建忠;從殲滅為主到控制為重[N];中國國防報;2003年

8 和君創(chuàng)業(yè)管理咨詢公司總裁 彭劍鋒;企業(yè)要講求規(guī)則成本[N];中國國門時報;2003年

9 千龍;什么樣的職業(yè)是上班族的憂郁雷區(qū)[N];中國勞動保障報;2003年

10 本報記者 李旭紅;優(yōu)化人才生態(tài)環(huán)境應對開放性競爭[N];市場報;2003年

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

1 王棟;大學外語教師認知研究及其對教師發(fā)展的啟示[D];上海外國語大學;2004年

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

1 孫厭舒;隱喻與文化——關(guān)于美國當代政治隱喻和經(jīng)濟隱喻的研究[D];山東師范大學;2001年

2 陳虎;英漢存現(xiàn)句的最簡探索研究[D];解放軍外國語學院;2001年

3 朱紅;基于人才認知的數(shù)據(jù)挖掘研究[D];昆明理工大學;2002年

4 董志強;語義模糊初探[D];四川大學;2002年

5 吳清華;中學古典詩歌教學與中學生健全人格建構(gòu)[D];福建師范大學;2003年

6 朱斐斐;對不成功語言學習者學習策略的認知研究[D];武漢理工大學;2004年

7 單春玲;數(shù)據(jù)挖掘在人才認知系統(tǒng)中的應用研究[D];天津財經(jīng)學院;2004年

8 王軼;認知邏輯的動態(tài)化理論[D];中國人民大學;2005年

9 李丹弟;闡釋話語中詞的語用意義[D];東華大學;2005年

10 宋修娟;不同動作技能水平中學生內(nèi)隱學習的實驗研究[D];華東師范大學;2005年

，

本文編號：1879541