人工智能論文(精選5篇)
人工智能論文范文第1篇
參考文獻簡單來說就是我們在論文的寫作當中參考引用過的內(nèi)容,在文中引用的地方標注出來,然后在論文的末尾依次詳細的列出來。關(guān)注學術(shù)參考網(wǎng)查閱更多優(yōu)秀的論文參考文獻,下面是小編采編收集的關(guān)于人工智能論文參考文獻,歡迎大家閱讀借鑒。
人工智能論文參考文獻:
[1]楊狀元,林建中.人工智能的現(xiàn)狀及今后發(fā)展趨勢展望[J].科技信息,2009(04):184~185.
[2]郝勇勝.對人工智能研究的哲學反思[D].太原:太原科技大學,2023.
[3]蔡曙山,薛小迪.人工智能與人類智能——從認知科學五個層級的理論看人機大戰(zhàn)[J].北京大學學報(哲學社會科學版),2023,53(04):145.
[4]張凱斐.人工智能的應用領域及其未來展望[J].呂梁學院學報,2023,26(04):85~87.
[5]褚秋雯.從哲學的角度看人工智能[D].武漢:武漢理工大學,2023.
人工智能論文參考文獻:
[1]史忠植,王文杰.人工智能[M].北京:國防工業(yè)出版社,2007.
[2]周以真.計算思維[J].中國計算機學會通訊,2007(3).
[3]陳慶霞.人工智能研究綱領的發(fā)展歷程和前景[J].科技信息,2008(33).
[4]周曉東,劉雪梅.信息時代的計算機人工智能[J].硅谷,2023(1).
[5]朱祝武.人工智能發(fā)展綜述[J].中國西部科技,2023(17).
人工智能論文參考文獻:
[1]黃炎孫.人工智能的符號主義立場研究[D].北京化工大學,2023.
[2]劉步青.人機協(xié)同系統(tǒng)的推理機制及其哲學意蘊[D].華東師范大學,2023.
[3]陳晉.人工智能技術(shù)發(fā)展的倫理困境研究[D].吉林大學,2023.
[4]馬龍.人工智能技術(shù)在電氣自動化控制中的應用[J].山西焦煤科技,2023,(S1):50-51+55.
[5]馬仲雄.淺談電氣自動化控制中的人工智能技術(shù)[J].電子技術(shù)與軟件工程,2023,(11):246-247.
[6]紀文革.人工智能技術(shù)在電氣自動化控制中的應用思路分析[J].電子測試,2023,(03):137-138.
[7]祝珊.人工智能與會計人員[J].中財稅研究,2023(15).
人工智能論文范文第2篇
[關(guān)鍵詞]人工智能,常識推理,歸納邏輯,廣義內(nèi)涵邏輯,認知邏輯,自然語言邏輯
現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期,其發(fā)展動力主要來自于數(shù)學中的公理化運動。當時的數(shù)學家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導出其他的數(shù)學定理,從而把整個數(shù)學構(gòu)造成為一個嚴格的演繹大廈,然后用某種程序和方法一勞永逸地證明數(shù)學體系的可靠性。為此需要發(fā)明和鍛造嚴格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀邏輯研究的嚴重數(shù)學化,其表現(xiàn)在于:一是邏輯專注于在數(shù)學的形式化過程中提出的問題;二是邏輯采納了數(shù)學的方法論,從事邏輯研究就意味著象數(shù)學那樣用嚴格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當?shù)胤Q為“數(shù)理邏輯”,它增強了邏輯研究的深度,使邏輯學的發(fā)展繼古希臘邏輯、歐洲中世紀邏輯之后進入第三個高峰期,并且對整個現(xiàn)代科學特別是數(shù)學、哲學、語言學和計算機科學產(chǎn)生了非常重要的影響。
本文所要探討的問題是:21世紀邏輯發(fā)展的主要動力將來自何處?大致說來將如何發(fā)展?我個人的看法是:計算機科學和人工智能將至少是21世紀早期邏輯學發(fā)展的主要動力源泉,并將由此決定21世紀邏輯學的另一幅面貌。由于人工智能要模擬人的智能,它的難點不在于人腦所進行的各種必然性推理(這一點在20世紀基本上已經(jīng)做到了,如用計算機去進行高難度和高強度的數(shù)學證明,“深藍”通過高速、大量的計算去與世界冠軍下棋),而是最能體現(xiàn)人的智能特征的能動性、創(chuàng)造性思維,這種思維活動中包括學習、抉擇、嘗試、修正、推理諸因素,例如選擇性地搜集相關(guān)的經(jīng)驗證據(jù),在不充分信息的基礎上作出嘗試性的判斷或抉擇,不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為,……由此達到實踐的成功。于是,邏輯學將不得不比較全面地研究人的思維活動,并著重研究人的思維中最能體現(xiàn)其能動性特征的各種不確定性推理,由此發(fā)展出的邏輯理論也將具有更強的可應用性。
實際上,在20世紀中后期,就已經(jīng)開始了現(xiàn)代邏輯與人工智能(記為AI)之間的相互融合和滲透。例如,哲學邏輯所研究的許多課題在理論計算機和人工智能中具有重要的應用價值。AI從認知心理學、社會科學以及決策科學中獲得了許多資源,但邏輯(包括哲學邏輯)在AI中發(fā)揮了特別突出的作用。某些原因促使哲學邏輯家去發(fā)展關(guān)于非數(shù)學推理的理論;基于幾乎同樣的理由,AI研究者也在進行類似的探索,這兩方面的研究正在相互接近、相互借鑒,甚至在逐漸融合在一起。例如,AI特別關(guān)心下述課題:
·效率和資源有限的推理;
·感知;
·做計劃和計劃再認;
·關(guān)于他人的知識和信念的推理;
·各認知主體之間相互的知識;
·自然語言理解;
·知識表示;
·常識的精確處理;
·對不確定性的處理,容錯推理;
·關(guān)于時間和因果性的推理;
·解釋或說明;
·對歸納概括以及概念的學習。[①]
21世紀的邏輯學也應該關(guān)注這些問題,并對之進行研究。為了做到這一點,邏輯學家們有必要熟悉AI的要求及其相關(guān)進展,使其研究成果在AI中具有可應用性。
我認為,至少是21世紀早期,邏輯學將會重點關(guān)注下述幾個領域,并且有可能在這些領域出現(xiàn)具有重大意義的成果:(1)如何在邏輯中處理常識推理中的弗協(xié)調(diào)、非單調(diào)和容錯性因素?(2)如何使機器人具有人的創(chuàng)造性智能,如從經(jīng)驗證據(jù)中建立用于指導以后行動的歸納判斷?(3)如何進行知識表示和知識推理,特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理?(4)如何結(jié)合各種語境因素進行自然語言理解和推理,使智能機器人能夠用人的自然語言與人進行成功的交際?等等。
1.常識推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯性因素
AI研究的一個目標就是用機器智能模擬人的智能,它選擇各種能反映人的智能特征的問題進行實踐,希望能做出各種具有智能特征的軟件系統(tǒng)。AI研究基于計算途徑,因此要建立具有可操作性的符號模型。一般而言,AI關(guān)于智能系統(tǒng)的符號模型可描述為:由一個知識載體(稱為知識庫KB)和一組加載在KB上的足以產(chǎn)生智能行為的過程(稱為問題求解器PS)構(gòu)成。經(jīng)過20世紀70年代包括專家系統(tǒng)的發(fā)展,AI研究者逐步取得共識,認識到知識在智能系統(tǒng)中力量,即一般的智能系統(tǒng)事實上是一種基于知識的系統(tǒng),而知識包括專門性知識和常識性知識,前者亦可看做是某一領域內(nèi)專家的常識。于是,常識問題就成為AI研究的一個核心問題,它包括兩個方面:常識表示和常識推理,即如何在人工智能中清晰地表示人類的常識,并運用這些常識去進行符合人類行為的推理。顯然,如此建立的常識知識庫可能包含矛盾,是不協(xié)調(diào)的,但這種矛盾或不協(xié)調(diào)應不至于影響到進行合理的推理行為;常識推理還是一種非單調(diào)推理,即人們基于不完全的信息推出某些結(jié)論,當人們得到更完全的信息后,可以改變甚至收回原來的結(jié)論;常識推理也是一種可能出錯的不精確的推理模式,是在容許有錯誤知識的情況下進行的推理,簡稱容錯推理。而經(jīng)典邏輯拒斥任何矛盾,容許從矛盾推出一切命題;并且它是單調(diào)的,即承認如下的推理模式:如果p?r,則pùq?r;或者說,任一理論的定理屬于該理論之任一擴張的定理集。因此,在處理常識表示和常識推理時,經(jīng)典邏輯應該受到限制和修正,并發(fā)展出某些非經(jīng)典的邏輯,如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯推理等。有人指出,常識推理的邏輯是次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物,而后者又可看做是對容錯推理的簡單且基本的情形的一種形式化。[②]
“次協(xié)調(diào)邏輯”(ParaconsistentLogic)是由普里斯特、達·科斯塔等人在對悖論的研究中發(fā)展出來的,其基本想法是:當在一個理論中發(fā)現(xiàn)難以克服的矛盾或悖論時,與其徒勞地想盡各種辦法去排除或防范它們,不如干脆讓它們留在理論體系內(nèi),但把它們“圈禁”起來,不讓它們?nèi)我鈹U散,以免使我們所創(chuàng)立或研究的理論成為“不足道”的。于是,在次協(xié)調(diào)邏輯中,能夠容納有意義、有價值的“真矛盾”,但這些矛盾并不能使系統(tǒng)推出一切,導致自毀。因此,這一新邏輯具有一種次于經(jīng)典邏輯但又遠遠高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認為,如果在一理論T中,一語句A及其否定?A都是定理,則T是不協(xié)調(diào)的;否則,稱T是協(xié)調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或推理,則不協(xié)調(diào)的T也是不足道的(trivial)。因此,通常以經(jīng)典邏輯為基礎的理論,如果它是不協(xié)調(diào)的,那它一定也是不足道的。這一現(xiàn)象表明,經(jīng)典邏輯雖可用于研究協(xié)調(diào)的理論,但不適用于研究不協(xié)調(diào)但又足道的理論。達·科斯塔在20世紀60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w),以用作不協(xié)調(diào)而又足道的理論的邏輯工具。對次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題:(i)矛盾律?(Aù?A)不普遍有效;(ii)從兩個相互否定的公式A和?A推不出任意公式;即是說,矛盾不會在系統(tǒng)中任意擴散,矛盾不等于災難。(iii)應當容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里,(i)和(ii)表明了對矛盾的一種相對寬容的態(tài)度,(iii)則表明次協(xié)調(diào)邏輯對于經(jīng)典邏輯仍有一定的繼承性。
在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w)中,下述經(jīng)典邏輯的定理或推理模式都不成立:
?(Aù?A)
Aù?AB
A(?AB)
(A??A)B
(A??A)?B
A??A
(?Aù(AúB))B
(AB)(?B?A)
若以C0為經(jīng)典邏輯,則系列C0,C1,C2,…Cn,…Cw使得對任正整數(shù)i有Ci弱于Ci-1,Cw是這系列中最弱的演算。已經(jīng)為Cn設計出了合適的語義學,并已經(jīng)證明Cn相對于此種語義是可靠的和完全的,并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的。現(xiàn)在,已經(jīng)有人把次協(xié)調(diào)邏輯擴展到模態(tài)邏輯、時態(tài)邏輯、道義邏輯、多值邏輯、集合論等領域的研究中,發(fā)展了這些領域內(nèi)的次協(xié)調(diào)理論。顯然,次協(xié)調(diào)邏輯將會得到更進一步的發(fā)展。[③]
非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯,它的研究開始于20世紀80年代。1980年,D·麥克多莫特和J·多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們在經(jīng)典謂詞演算中引入一個算子M,表示某種“一致性”斷言,并將其看做是模態(tài)概念,通過一定程序把模態(tài)邏輯系統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B·摩爾的論文《非單調(diào)邏輯的語義思考》(1983)據(jù)認為在非單調(diào)邏輯方面作出了令人注目的貢獻。他在“缺省推理”和“自動認知推理”之間做了區(qū)分,并把前者看作是在沒有任何相反信息和缺少證據(jù)的條件下進行推理的過程,這種推理的特征是試探性的:根據(jù)新信息,它們很可能會被撤消。自動認知推理則不是這種類型,它是與人們自身的信念或知識相關(guān)的推理,可用它模擬一個理想的具有信念的有理性的人的推理。對于在計算機和人工智能中獲得成功的應用而言,非單調(diào)邏輯尚需進一步發(fā)展。
2.歸納以及其他不確定性推理
人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中,具有必然性的演繹推理固然起重要作用,但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此,計算機要成功地模擬人的智能,真正體現(xiàn)出人的智能品質(zhì),就必須對各種具有不確定性的推理模式進行研究。
首先是對歸納推理和歸納邏輯的研究。這里所說的“歸納推理”是廣義的,指一切擴展性推理,它們的結(jié)論所斷定的超出了其前提所斷定的范圍,因而前提的真無法保證結(jié)論的真,整個推理因此缺乏必然性。具體說來,這種意義的“歸納”包括下述內(nèi)容:簡單枚舉法;排除歸納法,指這樣一些操作:預先通過觀察或?qū)嶒灹谐霰谎芯楷F(xiàn)象的可能的原因,然后有選擇地安排某些事例或?qū)嶒,根?jù)某些標準排除不相干假設,最后得到比較可靠的結(jié)論;統(tǒng)計概括:從關(guān)于有窮數(shù)目樣本的構(gòu)成的知識到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理;類比論證和假說演繹法,等等。盡管休謨提出著名的“歸納問題”,對歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑,但我認為,(1)歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認知策略,對于人類來說具有實踐的必然性。(2)人類有理由從經(jīng)驗的重復中建立某種確實性和規(guī)律性,其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的,而用純邏輯的理由去懷疑一個關(guān)于世界的事實性斷言則是不合理的,除非這個斷言是邏輯矛盾。(3)人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且,歸納邏輯的這種可能性正在計算機科學和人工智能的研究推動下慢慢地演變成現(xiàn)實。恩格斯早就指出,“社會一旦有技術(shù)上的需要,則這種需要比十所大學更能把科學推向前進!盵④]有人通過指責現(xiàn)有的歸納邏輯不成熟,得出“歸納邏輯不可能”的結(jié)論,他們的推理本身與歸納推理一樣,不具有演繹的必然性。(4)人類實踐的成功在一定程度上證明了相應的經(jīng)驗知識的真理性,也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認,歸納邏輯目前還很不成熟。有的學者指出,為了在機器的智能模擬中克服對歸納模擬的困難而有所突破,應該將歸納邏輯等有關(guān)的基礎理論研究與機器學習、不確定推理和神經(jīng)網(wǎng)絡學習模型與歸納學習中已有的成果結(jié)合起來。只有這樣,才能在已有的歸納學習成果上,在機器歸納和機器發(fā)現(xiàn)上取得新的突破和進展。[⑤]這是一個極有價值且極富挑戰(zhàn)性的課題,無疑在21世紀將得到重視并取得進展。
再談模糊邏輯,F(xiàn)實世界中充滿了模糊現(xiàn)象,這些現(xiàn)象反映到人的思維中形成了模糊概念和模糊命題,如“矮個子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對它的研究始于20世紀20年代,其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯(二值邏輯)解決不了的問題提供了解決的可能,它目前在醫(yī)療診斷、故障檢測、氣象預報、自動控制以及人工智能研究中獲得重要應用。顯然,它在21世紀將繼續(xù)得到更大的發(fā)展。
3.廣義內(nèi)涵邏輯
經(jīng)典邏輯只是對命題聯(lián)結(jié)詞、個體詞、謂詞、量詞和等詞進行了研究,但在自然語言中,除了這些語言成分之外,顯然還存在許多其他的語言成分,如各種各樣的副詞,包括模態(tài)詞“必然”、“可能”和“不可能”、時態(tài)詞“過去”、“現(xiàn)在”和“未來”、道義詞“應該”、“允許”、“禁止”等等,以及各種認知動詞,如“思考”、“希望”、“相信”、“判斷”、“猜測”、“考慮”、“懷疑”,這些認知動詞在邏輯和哲學文獻中被叫做“命題態(tài)度詞”。對這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。
大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的,造成內(nèi)涵語境,后者與外延語境構(gòu)成對照。外延語境又叫透明語境,是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用的語境;內(nèi)涵語境又稱晦暗語境,是上述規(guī)則在其中不適用的語境。相應于外延語境和內(nèi)涵語境的區(qū)別,一切語言表達式(包括自然語言的名詞、動詞、形容詞直至語句)都可以區(qū)分為外延性的和內(nèi)涵性的,前者是提供外延語境的表達式,后者是提供內(nèi)涵性語境的表達式。例如,殺死、見到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達式,而知道、相信、認識、必然、可能、允許、禁止、過去、現(xiàn)在、未來等都是內(nèi)涵性表達式。在內(nèi)涵語境中會出現(xiàn)一些復雜的情況。首先,對于個體詞項來說,關(guān)鍵性的東西是我們不僅必須考慮它們在現(xiàn)實世界中的外延,而且要考慮它們在其他可能世界中的外延。例如,由于“必然”是內(nèi)涵性表達式,它提供內(nèi)涵語境,因而下述推理是非有效的:
晨星必然是晨星,
晨星就是暮星,
所以,晨星必然是暮星。
這是因為:這個推理只考慮到“晨星”和“暮星”在現(xiàn)實世界中的外延,并沒有考慮到它們在每一個可能世界中的外延,我們完全可以設想一個可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我們就不能利用同一性替換規(guī)則,由該推理的前提得出它的結(jié)論:“晨星必然是暮星”。其次,在內(nèi)涵語境中,語言表達式不再以通常是它們的外延的東西作為外延,而以通常是它們的內(nèi)涵的東西作為外延。以“達爾文相信人是從猿猴進化而來的”這個語句為例。這里,達爾文所相信的是“人是從猿猴進化而來的”所表達的思想,而不是它所指稱的真值,于是在這種情況下,“人是從猿猴進化而來的”所表達的思想(命題)就構(gòu)成它的外延。再次,在內(nèi)涵語境中,雖然適用于外延的函項性原則不再成立,但并不是非要拋棄不可,可以把它改述為新的形式:一復合表達式的外延是它出現(xiàn)于外延語境中的部分表達式的外延加上出現(xiàn)于內(nèi)涵語境中的部分表達式的內(nèi)涵的函項。這個新的組合性或函項性原則在內(nèi)涵邏輯中成立。
一般而言,一個好的內(nèi)涵邏輯至少應滿足兩個條件:(i)它必須能夠處理外延邏輯所能處理的問題;(ii)它還必須能夠處理外延邏輯所不能處理的難題。這就是說,它既不能與外延邏輯相矛盾,又要克服外延邏輯的局限。這樣的內(nèi)涵邏輯目前正在發(fā)展中,并且已有初步輪廓。從術(shù)語上說,內(nèi)涵邏輯除需要真、假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術(shù)語之外,還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù)語。廣而言之,可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知道”、“相信”,“允許”、“禁止”等提供內(nèi)涵語境的語句算子的一般邏輯。在這種廣義之下,模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認知邏輯、問題邏輯等都是內(nèi)涵邏輯。不過,還有一種狹義的內(nèi)涵邏輯,它可以粗略定義如下:一個內(nèi)涵邏輯是一個形式語言,其中包括(1)謂詞邏輯的算子、量詞和變元,這里的謂詞邏輯不必局限于一階謂詞邏輯,也可以是高階謂詞邏輯;(2)合式的λ—表達式,例如(λx)A,這里A是任一類型的表達式,x是任一類型的變元,(λx)A本身是一函項,它把變元x在其中取值的那種類型的對象映射到A所屬的那種類型上;(3)其他需要的模態(tài)的或內(nèi)涵的算子,例如
版權(quán)聲明:本文內(nèi)容由互聯(lián)網(wǎng)用戶自發(fā)貢獻,該文觀點僅代表作者本人。本站僅提供信息存儲空間服務,不擁有所有權(quán),不承擔相關(guān)法律責任。如發(fā)現(xiàn)本站有涉嫌抄襲侵權(quán)/違法違規(guī)的內(nèi)容, 請發(fā)送郵件至 yyfangchan@163.com (舉報時請帶上具體的網(wǎng)址) 舉報,一經(jīng)查實,本站將立刻刪除