從人工智能看當(dāng)代邏輯學(xué)的發(fā)展.doc
約10頁DOC格式手機打開展開
從人工智能看當(dāng)代邏輯學(xué)的發(fā)展,頁數(shù)：10字?jǐn)?shù)：9873artificial intelligence and contemporary logic study ［摘要］計算機科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要動力源泉，并且在很大程度上將決定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯...
內(nèi)容介紹
此文檔由會員 cnlula 發(fā)布
從人工智能看當(dāng)代邏輯學(xué)的發(fā)展
頁數(shù)：10 字?jǐn)?shù)：9873
從人工智能看當(dāng)代邏輯學(xué)的發(fā)展
Artificial Intelligence and Contemporary Logic Study
［摘要］計算機科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要動力源泉，并且在很大程度上將決定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點關(guān)注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（2）如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導(dǎo)以后行動的可錯的歸納判斷？（3）如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進行的推理？（4）如何結(jié)合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成功的交際？等等。
［關(guān)鍵詞］ 人工智能，常識推理，歸納邏輯，廣義內(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ā)展動力主要來自于數(shù)學(xué)中的公理化運動。當(dāng)時的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個數(shù)學(xué)構(gòu)造成為一個嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀(jì)邏輯研究的嚴(yán)重數(shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之
頁數(shù)：10 字?jǐn)?shù)：9873
從人工智能看當(dāng)代邏輯學(xué)的發(fā)展
Artificial Intelligence and Contemporary Logic Study
［摘要］計算機科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要動力源泉，并且在很大程度上將決定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點關(guān)注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（2）如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導(dǎo)以后行動的可錯的歸納判斷？（3）如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進行的推理？（4）如何結(jié)合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成功的交際？等等。
［關(guān)鍵詞］ 人工智能，常識推理，歸納邏輯，廣義內(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ā)展動力主要來自于數(shù)學(xué)中的公理化運動。當(dāng)時的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個數(shù)學(xué)構(gòu)造成為一個嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀(jì)邏輯研究的嚴(yán)重數(shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之
