本文選題：認(rèn)知邏輯 + 可操作性�。� 參考：《南開學(xué)報(哲學(xué)社會科學(xué)版)》2003年06期

【摘要】：認(rèn)知邏輯研究的目的是為人工智能研究提供有力的工具。然而,目前認(rèn)知邏輯的研究成果卻難于應(yīng)用于人工智能的實踐之中。這種情況在很大程度上是由于認(rèn)知邏輯自身存在的問題造成的。第一,認(rèn)知邏輯理論缺少可操作性,人們不能用能行的方法構(gòu)造認(rèn)知邏輯系統(tǒng)定理的證明和根據(jù)系統(tǒng)所進(jìn)行的推演。第二,認(rèn)知邏輯理論所采用的可能世界語義學(xué)方法不能對認(rèn)知語句做出合乎情理的解釋。第三,認(rèn)知邏輯的公理系統(tǒng)并不是人工智能研究所必需的。由于這些問題的存在,邏輯學(xué)家需要對原有的方法進(jìn)行認(rèn)真的反思。
[Abstract]:The purpose of cognitive logic research is to provide powerful tools for artificial intelligence research. However, the current research results of cognitive logic are difficult to be applied to the practice of artificial intelligence. To a large extent, this situation is caused by the problems existing in cognitive logic itself. Firstly, the theory of cognitive logic is lack of maneuverability, and people can not construct the proof of the theorem of cognitive logic system and the deduction according to the system. Secondly, the possible world semantics used in cognitive logic theory can not make a reasonable explanation of cognitive sentences. Thirdly, the axiomatic system of cognitive logic is not necessary for artificial intelligence research. Due to the existence of these problems, logicians need to seriously reflect on the original methods.
【作者單位】： 南開大學(xué)哲學(xué)系
【基金】：喜馬拉雅文教基金 中流文教基金
【分類號】：B815.3

【共引文獻(xiàn)】

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

1 潘恩榮;;設(shè)計的哲學(xué)基礎(chǔ)與意義——自然主義式的認(rèn)知[J];自然辯證法通訊;2006年05期

2 郭斌;從康德的理性觀看計算機時空的構(gòu)建——從計算機的角度來看時間與空間[J];自然辯證法研究;2004年08期

3 劉西瑞;表征的基礎(chǔ)[J];廈門大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2005年05期

4 王哲;;人工智能的復(fù)雜性與信息科學(xué)綱領(lǐng)[J];系統(tǒng)科學(xué)學(xué)報;2007年02期

5 魏屹東;認(rèn)知科學(xué)與哲學(xué)關(guān)系的歷史審視[J];文史哲;2005年02期

6 周凌波,王前;略論信息思維的三種基本形式[J];東北大學(xué)學(xué)報(社會科學(xué)版);2005年03期

7 沈驪天;;心靈的哲學(xué)求索與科學(xué)探索[J];華中科技大學(xué)學(xué)報(社會科學(xué)版);2006年05期

8 韓永進(jìn);技術(shù)的符號意義問題研究[J];科學(xué)技術(shù)與辯證法;2004年04期

9 郝寧湘,郭貴春;人工智能與智能進(jìn)化[J];科學(xué)技術(shù)與辯證法;2005年03期

10 毛華濱,高新民;從意向性看人工智能的發(fā)展方向[J];科學(xué)技術(shù)與辯證法;2005年05期

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

1 賈林祥;認(rèn)知心理學(xué)的聯(lián)結(jié)主義理論研究[D];南京師范大學(xué);2002年

2 翟東海;加乘型模糊神經(jīng)網(wǎng)絡(luò)理論和應(yīng)用的研究[D];西南交通大學(xué);2003年

3 唐平;異常心理的哲學(xué)研究[D];武漢大學(xué);2005年

4 彭永東;控制論的發(fā)生與傳播研究[D];中國科學(xué)院研究生院（自然科學(xué)史研究所）;2006年

5 胡小安;虛擬技術(shù)若干哲學(xué)問題研究[D];武漢大學(xué);2006年

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

1 劉瓊;圖靈測試、中文房間理論及其對功能主義的影響[D];湘潭大學(xué);2007年

2 汪寅;虛擬現(xiàn)實技術(shù)的哲學(xué)意蘊及其社會影響[D];廣西大學(xué);2004年

3 琚喬月;法律專家系統(tǒng)的邏輯學(xué)探析[D];河南大學(xué);2005年

4 唐芳芳;哥德爾定理的意義[D];清華大學(xué);2005年

5 趙澤林;心靈的計算理論與馬克思主義心智學(xué)說的當(dāng)代發(fā)展[D];華中師范大學(xué);2006年

6 李康;福多的心理模塊論及其認(rèn)知哲學(xué)思想[D];山西大學(xué);2006年

7 崔鑫;人工智能研究綱領(lǐng)的困境與走向[D];南京航空航天大學(xué);2006年

8 汪靜;網(wǎng)絡(luò)語言的本質(zhì)及社會功能[D];東華大學(xué);2007年

9 寧春勇;人工智能能否超越人類智能？[D];河南大學(xué);2007年

10 蔣玲玲;整合·虛擬·超越[D];湖南師范大學(xué);2007年

【相似文獻(xiàn)】

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

1 楚譚;淺談?wù)Z句的語用意義[J];中國俄語教學(xué);1984年06期

2 李先昆;中國邏輯與語言研究會討論語言邏輯問題[J];哲學(xué)動態(tài);1986年08期

3 S.哈克;黃駿;尹智全;周建設(shè);馮周卓;;邏輯的范圍[J];世界哲學(xué);1986年06期

4 金承光;《法律意識中的邏輯》簡介[J];國外社會科學(xué);1989年09期

5 郭貴春;邏輯方法的意義[J];東岳論叢;1990年05期

6 祁洞之;古代中國自然哲學(xué)的認(rèn)識論基礎(chǔ)及特征[J];江蘇社會科學(xué);1992年06期

7 李小五;用帶測度函數(shù)的可能世界語義學(xué)解釋—歸納認(rèn)知邏輯[J];自然辯證法研究;1993年02期

8 李小五;1993年國外哲學(xué)邏輯研究新進(jìn)展[J];國外社會科學(xué);1994年06期

9 曾利沙;英語線性段落結(jié)構(gòu)模式研究[J];外語教學(xué)與研究;1994年01期

10 周文英;現(xiàn)代普通邏輯提綱（四）[J];江西教育學(xué)院學(xué)報;1995年01期

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

1 張建軍;;類說謊者認(rèn)知悖論[A];1994年邏輯研究專輯[C];1994年

2 李瑞峰;;知道邏輯初探[A];1994年邏輯研究專輯[C];1994年

3 張建軍;;邏輯全能問題與動態(tài)認(rèn)知邏輯[A];2000年邏輯研究專輯[C];2000年

4 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個理論問題[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

5 唐曉嘉;陳樹文;;認(rèn)知邏輯的幾個語義問題分析[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

6 熊立文;;用認(rèn)知邏輯刻畫簡單枚舉法[A];2001年邏輯研究專輯[C];2001年

7 劉奮榮;;非單調(diào)性問題與自認(rèn)知邏輯[A];2001年邏輯研究專輯[C];2001年

8 劉奮榮;;缺省邏輯如何研究非單調(diào)推理？[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

9 王陽;;模態(tài)邏輯·形式語義·文本符號[A];2003年邏輯研究專輯[C];2003年

10 蔡曙山;;學(xué)科交叉與現(xiàn)代邏輯的發(fā)展[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

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

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

2 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

3 朱德全　龍登麗;課堂改革：能否基于問題開處方？[N];中國教育報;2004年

4 華東師范大學(xué) 馮棉;邏輯科學(xué)，將充滿活力[N];社會科學(xué)報;2004年

5 陳波;邏輯學(xué)的2005年[N];光明日報;2006年

6 中國人民大學(xué)附屬中學(xué)高級教師 彭曉;無限網(wǎng)絡(luò),無限教育[N];光明日報;2006年

7 中國社會科學(xué)院農(nóng)村發(fā)展所研究員 李成貴;建設(shè)清潔的新農(nóng)村[N];人民日報;2007年

8 記者 宋廣玉;我市和諧發(fā)展指數(shù)位列全國第四[N];南京日報;2007年

9 深圳報業(yè)集團駐滬記者 馬信芳;深圳以86.80分居41城市之首[N];深圳特區(qū)報;2007年

10 劉倩倩;威海和諧發(fā)展指數(shù)位列全國第四[N];威海日報;2007年

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

1 劉奮榮;非單調(diào)推理的邏輯研究[D];中國社會科學(xué)院研究生院;2001年

2 唐林濤;設(shè)計事理學(xué)理論、方法與實踐[D];清華大學(xué);2004年

3 劉海波;智能機器人神經(jīng)心理模型研究[D];哈爾濱工程大學(xué);2005年

4 王勇;用于電力行業(yè)決策支持的多AGENT技術(shù)研究[D];華東師范大學(xué);2007年

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

1 孫瑜;基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D];云南師范大學(xué);2002年

2 郭美云;辛提卡IF一階邏輯研究[D];西南師范大學(xué);2003年

3 梁永鋒;中學(xué)化學(xué)教學(xué)中酸度AG代替pH的研究[D];西北師范大學(xué);2004年

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

5 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

6 張雪魁;李斯特經(jīng)濟學(xué)與歷史唯物主義[D];河北大學(xué);2004年

7 章江花;基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究[D];云南師范大學(xué);2006年

，

本文編號：2076677