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

《中山大學(xué)學(xué)報論叢》 2000年02期

投稿

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

 

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

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

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

下載全文 更多同類文獻(xiàn)

PDF全文下載

CAJ全文下載

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

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

【相似文獻(xiàn)】

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

1 郭美云;;[J];邏輯學(xué)研究;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];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

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

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

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

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

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

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

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

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

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

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

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

1 呂進(jìn);[D];西南大學(xué);2008年

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

3 張君;[D];清華大學(xué);2008年

4 馮彥波;[D];南開大學(xué);2010年

5 郭佳宏;[D];中山大學(xué);2006年

6 張繼華;[D];西南大學(xué);2012年

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

1 王軼;[D];中國人民大學(xué);2005年

2 劉珂;[D];河南大學(xué);2008年

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

4 蕭瑤;[D];西南大學(xué);2008年

5 張麗;[D];西南大學(xué);2009年

6 蔣軍利;[D];西南大學(xué);2007年

7 張亮;[D];山西大學(xué);2010年

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

9 熊作軍;[D];西南大學(xué);2011年

相關(guān)期刊

>邏輯學(xué)研究

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

>西南大學(xué)邏輯與智能研究中...

相關(guān)作者

>

《中國學(xué)術(shù)期刊（光盤版）》電子雜志社有限公司
同方知網(wǎng)數(shù)字出版技術(shù)股份有限公司
地址：北京清華大學(xué) 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)鍵詞：從人工智能看當(dāng)代邏輯學(xué)的發(fā)展，由筆耕文化傳播整理發(fā)布。

本文編號：188660