本文關(guān)鍵詞：從人工智能看當代邏輯學的發(fā)展，由筆耕文化傳播整理發(fā)布。

《中山大學學報論叢》 2000年02期

投稿

從人工智能看當代邏輯學的發(fā)展

 

【摘要】：文章認為,計算機科學和人工智能將是21世紀邏輯學發(fā)展的主要動力源泉,并且在很大程度上將決定21世紀邏輯學的面貌。至少在21世紀早期,邏輯學將重點關(guān)注下列論題:(1)如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素;(2)如何使機器人具有人的創(chuàng)造性智能,如從經(jīng)驗證據(jù)中建立用于指導(dǎo)以后行動的可錯的歸納判斷;(3)如何進行知識表示和知識推理,特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理;(4)如何結(jié)合各種語境因素進行自然語言理解和推理,使智能機器人能夠用人的自然語言與人進行成功的交際等等。

【作者單位】： 北京大學哲學系
【關(guān)鍵詞】：
【分類號】：B81-05
【正文快照】：

現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期,其發(fā)展動力主要來自于數(shù)學中的公理化運動。當時的數(shù)學家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學定理,從而把整個數(shù)學構(gòu)造成為一個嚴格的演繹大廈,然后用某種程序和方法一勞永逸地證明數(shù)學體系的可靠性。為此需要發(fā)

下載全文 更多同類文獻

PDF全文下載

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式，，AdobeReader僅支持PDF格式

【相似文獻】

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

1 郭美云;;[J];邏輯學研究;2011年02期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 張建軍;;[A];2000年邏輯研究專輯[C];2000年

2 熊立文;;[A];2001年邏輯研究專輯[C];2001年

3 劉奮榮;;[A];2001年邏輯研究專輯[C];2001年

4 陳曉華;;[A];第二屆海峽兩岸邏輯教學學術(shù)會議專輯[C];2006年

5 馮荷飛;曹子寧;;[A];邏輯學及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學與信息科學學術(shù)會議論文集[C];2008年

6 唐曉嘉;陳樹文;;[A];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年

7 劉奮榮;;[A];邏輯、語言與思維——周禮全先生八十壽辰紀念文集[C];2001年

8 蔡曙山;;[A];小康社會：文化生態(tài)與全面發(fā)展——2003學術(shù)前沿論壇論文集[C];2004年

9 郭佳宏;;[A];和諧社會：社會建設(shè)與改革創(chuàng)新——2007學術(shù)前沿論叢（下卷）[C];2007年

10 李瑞峰;;[A];1994年邏輯研究專輯[C];1994年

中國重要報紙全文數(shù)據(jù)庫 前3條

1 陳波;[N];光明日報;2000年

2 陳慕澤;[N];光明日報;2000年

3 華東師范大學 馮棉;[N];社會科學報;2004年

中國博士學位論文全文數(shù)據(jù)庫 前6條

1 呂進;[D];西南大學;2008年

2 劉奮榮;[D];中國社會科學院研究生院;2001年

3 張君;[D];清華大學;2008年

4 馮彥波;[D];南開大學;2010年

5 郭佳宏;[D];中山大學;2006年

6 張繼華;[D];西南大學;2012年

中國碩士學位論文全文數(shù)據(jù)庫 前9條

1 王軼;[D];中國人民大學;2005年

2 劉珂;[D];河南大學;2008年

3 賈改琴;[D];西南師范大學;2005年

4 蕭瑤;[D];西南大學;2008年

5 張麗;[D];西南大學;2009年

6 蔣軍利;[D];西南大學;2007年

7 張亮;[D];山西大學;2010年

8 郭美云;[D];西南師范大學;2003年

9 熊作軍;[D];西南大學;2011年

相關(guān)期刊

>邏輯學研究

相關(guān)機構(gòu)

>西南大學邏輯與智能研究中...

相關(guān)作者

>

《中國學術(shù)期刊（光盤版）》電子雜志社有限公司
同方知網(wǎng)數(shù)字出版技術(shù)股份有限公司
地址：北京清華大學 84-48信箱 大眾知識服務(wù)
京ICP證040441號
互聯(lián)網(wǎng)出版許可證 新出網(wǎng)證（京）字008號
出版物經(jīng)營許可證 新出發(fā)京批字第直0595號

訂購熱線：400-819-9993 010-62982499
服務(wù)熱線：010-62985026 010-62791813
在線咨詢：
傳真：010-62780361
京公網(wǎng)安備11010802020475號

  本文關(guān)鍵詞：從人工智能看當代邏輯學的發(fā)展，由筆耕文化傳播整理發(fā)布。

本文編號：188660