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

頁數(shù) 8 字數(shù) 9826

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

關(guān)鍵詞 ：人工智能,常識推理,歸納邏輯,廣義內(nèi)涵邏輯,認知邏輯,自然語言邏輯