人工智能心得體會(huì)及擴(kuò)展資料(編輯修改稿)
2024-10-20 21:43 本頁面
【文章內(nèi)容簡介】 專家經(jīng)驗(yàn)知識(shí)和常識(shí)的推理?，F(xiàn)代邏輯迫切需要有一個(gè)統(tǒng)一可靠的，關(guān)于不精確推理的邏輯學(xué)作為它們進(jìn)一步研究信息不完全情況下推理的基礎(chǔ)理論，進(jìn)而形成一種能包容一切邏輯形態(tài)和推理模式的，靈活的，開放的，自適應(yīng)的邏輯學(xué)，這便是柔性邏輯學(xué)。而泛邏輯學(xué)就是研究剛性邏輯學(xué)(也即數(shù)理邏輯)和柔性邏輯學(xué)共同規(guī)律的邏輯學(xué)。泛邏輯是從高層研究一切邏輯的一般規(guī)律，建立能包容一切邏輯形態(tài)和推理模式，并能根據(jù)需要自由伸縮變化的柔性邏輯學(xué)，剛性邏輯學(xué)將作為一個(gè)最小的內(nèi)核存在其中，這就是提出泛邏輯的根本原因，也是泛邏輯的最終歷史使命。邏輯學(xué)在人工智能學(xué)科的研究方面的應(yīng)用邏輯方法是人工智能研究中的主要形式化工具，邏輯學(xué)的研究成果不但為人工智能學(xué)科的誕生奠定了理論基礎(chǔ)，而且它們還作為重要的成分被應(yīng)用于人工智能系統(tǒng)中。人工智能誕生后的間是邏輯推理占統(tǒng)治地位的時(shí)期。1963年，紐厄爾、西蒙等人編制的“邏輯理論機(jī)”數(shù)學(xué)定理證明程序(LT)。在此基礎(chǔ)之上，紐厄爾和西蒙編制了通用問題求解程序(GPS)，開拓了人工智能“問題求解”的一大領(lǐng)域。經(jīng)典數(shù)理邏輯只是數(shù)學(xué)化的形式邏輯，只能滿足人工智能的部分需要。(1)不確定性的推理研究人工智能發(fā)展了用數(shù)值的方法表示和處理不確定的信息，即給系統(tǒng)中每個(gè)語句或公式賦一個(gè)數(shù)值，用來表示語句的不確定性或確定性。比較具有代表性的有：1976年杜達(dá)提出的主觀貝葉斯模型，1978年查德提出的可能性模型，1984年邦迪提出的發(fā)生率計(jì)算模型，以及假設(shè)推理、定性推理和證據(jù)空間理論等經(jīng)驗(yàn)性模型。歸納邏輯是關(guān)于或然性推理的邏輯。在人工智能中，可把歸納看成是從個(gè)別到一般的推理。借助這種歸納方法和運(yùn)用類比的方法，計(jì)算機(jī)就可以通過新、老問題的相似性，從相應(yīng)的知識(shí)庫中調(diào)用有關(guān)知識(shí)來處理新問題。(2)不完全信息的推理研究常識(shí)推理是一種非單調(diào)邏輯，即人們基于不完全的信息推出某些結(jié)論，當(dāng)人們得到更完全的信息后，可以改變甚至收回原來的結(jié)論。非單調(diào)邏輯可處理信息不充分情況下的推理。20世紀(jì)80年代，賴特的缺省邏輯、麥卡錫的限定邏輯、麥克德莫特和多伊爾建立的NML非單調(diào)邏輯推理系統(tǒng)、摩爾的自認(rèn)知邏輯都是具有開創(chuàng)性的非單調(diào)邏輯系統(tǒng)。常識(shí)推理也是一種可能出錯(cuò)的不精確的推理，即容錯(cuò)推理。此外，多值邏輯和模糊邏輯也已經(jīng)被引入到人工智能中來處理模糊性和不完全性信息的推理。多值邏輯的三個(gè)典型系統(tǒng)是克林、盧卡西維茲和波克萬的三值邏輯系統(tǒng)。模糊邏輯的研究始于20世紀(jì)20年代盧卡西維茲的研究。1972年，扎德提出了模糊推理的關(guān)系合成原則，現(xiàn)有的絕大多數(shù)模糊推理方法都是關(guān)系合成規(guī)則的變形或擴(kuò)充
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號(hào)-1