畢業(yè)論文人工智能與現(xiàn)今邏輯學(xué)的發(fā)展概要

1、<p>　　畢業(yè)論文：人工智能與現(xiàn)今邏輯學(xué)的發(fā)展(1)    </p><p>　　］ 本文認(rèn)為，計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主動(dò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ù)

2、中建立用于指導(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)知邏輯，自然語言邏輯 現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動(dòng)力主來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們?cè)?/p>

3、圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主動(dòng)力。由此造成的后果就是20世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)</p><p>　?。壅?本文認(rèn)為，計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主動(dòng)力源泉，并且在很大程度上將決

4、定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點(diǎn)關(guān)注下列論題：（1）如何在邏輯中處理常識(shí)推理的弗協(xié) ...         本篇論文由網(wǎng)友投稿，3COME文檔只給大家提供一個(gè)交流平臺(tái)，請(qǐng)大家參考，如有版權(quán)問題請(qǐng)聯(lián)系我們盡快處理。在內(nèi)涵語境中會(huì)出現(xiàn)一些復(fù)雜的情況。首先，對(duì)于個(gè)體詞項(xiàng)來說，關(guān)鍵性的東西是我們不僅必須考慮它們?cè)诂F(xiàn)實(shí)世界中的外延，而且考

5、慮它們?cè)谄渌赡苁澜缰械耐庋?。例如，由于“必然”是?nèi)涵性表達(dá)式，它提供內(nèi)涵語境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 這是因?yàn)椋哼@個(gè)推理只考慮到“晨星”和“暮星”在現(xiàn)實(shí)世界中的外延，并沒有考慮到它們?cè)诿恳粋€(gè)可能世界中的外延，我們完全可以設(shè)想一個(gè)可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我們就不能利用同一性替換規(guī)則，由該推理的前提得出它的結(jié)論：“晨星必然是暮星”