發(fā)布時(shí)間：2018-05-12 17:46

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

【摘要】：首先,我們構(gòu)造認(rèn)知系統(tǒng)EK1-EK3,給出它們的一些證明論結(jié)果。其次,我們引入鄰域語義,給出EK1-EK3的特征公理和規(guī)則的框架條件,證明EK1-EK3相對(duì)這些框架條件分別是框架可靠的。最后,我們證明EK1-EK3相對(duì)這些框架條件分別是框架完全的。
[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.
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所中山大學(xué)哲學(xué)系
【基金】：教育部哲學(xué)社會(huì)科學(xué)研究重大課題攻關(guān)項(xiàng)目(04JZD0006)成果之一
【分類號(hào)】：B812

【相似文獻(xiàn)】

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

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

2 ;新書簡(jiǎn)介[J];外語教學(xué)與研究;1987年02期

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

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

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

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

7 孫維張;論言語的理解[J];吉林大學(xué)社會(huì)科學(xué)學(xué)報(bào);1996年03期

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

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

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

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

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

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

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

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

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

6 王瑞明;莫雷;李瑩;;知覺符號(hào)系統(tǒng)理論探析[A];科學(xué)·認(rèn)知·意識(shí)——哲學(xué)與認(rèn)知科學(xué)國際研討會(huì)文集[C];2004年

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

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

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

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

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

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

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

3 冬巖;上班族躲開職場(chǎng)憂郁癥[N];科學(xué)時(shí)報(bào);2001年

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

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

6 李炳彥;學(xué)會(huì)駕馭“戰(zhàn)爭(zhēng)迷霧”[N];中國國防報(bào);2003年

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

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

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

10 本報(bào)記者 李旭紅;優(yōu)化人才生態(tài)環(huán)境應(yīng)對(duì)開放性競(jìng)爭(zhēng)[N];市場(chǎng)報(bào);2003年

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

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

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

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

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

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

4 董志強(qiáng);語義模糊初探[D];四川大學(xué);2002年

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

6 朱斐斐;對(duì)不成功語言學(xué)習(xí)者學(xué)習(xí)策略的認(rèn)知研究[D];武漢理工大學(xué);2004年

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

8 王軼;認(rèn)知邏輯的動(dòng)態(tài)化理論[D];中國人民大學(xué);2005年

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

10 宋修娟;不同動(dòng)作技能水平中學(xué)生內(nèi)隱學(xué)習(xí)的實(shí)驗(yàn)研究[D];華東師范大學(xué);2005年

，

本文編號(hào)：1879541