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


頁數(shù)：10 字?jǐn)?shù)：9873

從人工智能看當(dāng)代邏輯學(xué)的發(fā)展
Artificial Intelligence and Contemporary Logic Study


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

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

Abstract This paper discusses the future development of 21 century Logic from the artificial intelligence point of view. It argues that AI will be the main source of motive force for logic in 21 century, and AI will determine what 21 century logic looks like in a certain degree. At least in the beginning of 21 century Logic Study will focus on the following topics: (i) common sense inference which is paraconsistent, nonmonotonic and defeasible; (ii) generalized inductive inference and inductive logic; (iii) generalized intentional logic, especially epistemic logic; (iv) natural language understanding and logic of natural language.
Key Words AI , 21 century logic, common sense inference, inductive logic, intentional logic, logic of natural language.

現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動(dòng)力主要來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們?cè)噲D即從少數(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é)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強(qiáng)了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之