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

文檔介紹：
從人工智能看當(dāng)代邏輯學(xué)的發(fā)展[摘要]本文認(rèn)為,計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈?并且在很大程度上將決定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期,邏輯學(xué)將重點(diǎn)關(guān)注下列論題:(1)如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素?(2)如何使機(jī)器人具有人的創(chuàng)造性智能,如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動的可錯(cuò)的歸納判斷?(3)如何進(jìn)行知識表示和知識推理,特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進(jìn)行的推理?(4)如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理,使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際?等等。[關(guān)鍵詞]人工智能,常識推理,歸納邏輯,廣義內(nèi)涵邏輯,認(rèn)知邏輯,自然語言邏輯現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期,其發(fā)展動力主要來自于數(shù)學(xué)中的公理化運(yùn)動。當(dāng)時(shí)的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理,從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈,然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿ΑＳ纱嗽斐傻暮蠊褪?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化,其表現(xiàn)在于:一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問... 內(nèi)容來自轉(zhuǎn)載請標(biāo)明出處.

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