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

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

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