資源描述:
《廣義智能科學(xué)的邏輯基礎(chǔ)探討》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、廣義智能科學(xué)的邏輯基礎(chǔ)探討西北工業(yè)大學(xué)計算機(jī)學(xué)院何華燦2004年09月11日于秦皇島一邏輯是智能的基本科學(xué)問題嗎?對這個問題的回答經(jīng)歷了早期:狹義智能的完全肯定√中期:知識工程的部分動搖?計算智能的完全否定?現(xiàn)在:探索廣義下的肯定答案?解決這個問題的重大意義?有助于深刻認(rèn)識智能的本質(zhì)?為智能科學(xué)奠定重要理論基礎(chǔ)?使人工智能有統(tǒng)一的可靠的邏輯基礎(chǔ),這是由實證科學(xué)向理論科學(xué)過渡和由定性向定量轉(zhuǎn)型的必要條件深刻的比喻?盡管人類很早就通過形體、結(jié)構(gòu)和遺傳進(jìn)化認(rèn)識了生物和生命,但直到發(fā)現(xiàn)了DNA,才真正開始認(rèn)識生物和生命的本質(zhì)。人類
2、基因組計劃如高貴的人和卑微的黑猩猩比較DNA的差別小于幾%!?邏輯學(xué)是思維和智能的DNAL計劃根據(jù)1:工生命的重要啟示?人工生命中的研究結(jié)果L-系統(tǒng)細(xì)胞機(jī)?DNA是生命系統(tǒng)的邏輯規(guī)則生物體只是這些邏輯規(guī)則的語義解釋和物理實現(xiàn)根據(jù)2:蓬勃發(fā)展的現(xiàn)代邏輯?與AI界有人放棄邏輯不同,有些邏輯學(xué)家認(rèn)為人工智能是現(xiàn)代邏輯學(xué)發(fā)展的原動力?他們在努力拓展經(jīng)典數(shù)理邏輯,以適應(yīng)計算機(jī)科學(xué),計算語言學(xué)和人工智能發(fā)展的需要,取得了豐碩成果,這集中反映在現(xiàn)代邏輯的“圣經(jīng)”《哲學(xué)邏輯手冊》中。?適應(yīng)智能科學(xué)需要的邏輯已初現(xiàn)端倪!問題的關(guān)鍵何在??智
3、能科學(xué)要處理矛盾和不確定,如:不精確不完全動態(tài)演化?人工智能只能使用數(shù)學(xué)化的邏輯而經(jīng)典數(shù)理邏輯不考慮矛盾和不確定?辯證邏輯能處理內(nèi)在矛盾性和外在不確定性,辯證邏輯能夠數(shù)學(xué)化嗎?關(guān)鍵:探索數(shù)理辯證邏輯二廣義智能科學(xué)對邏輯學(xué)的需求什么是廣義智能觀?智能廣泛存在于自然界中。(涂序彥等)?廣義智能是信息系統(tǒng)感知環(huán)境及其變化,通過自身結(jié)構(gòu)和功能的改變,恰當(dāng)而有效地對其作出反映,以適應(yīng)環(huán)境,達(dá)到系統(tǒng)生存目標(biāo)的能力。(何華燦)?廣義智能是一切可把廣義信息?廣義知識?廣義智力的機(jī)制和方法(鐘義信)什么是廣義邏輯觀?邏輯是自然界一切事物及其
4、變化的一般規(guī)則和規(guī)范。(何華燦)?邏輯和具體科學(xué)及哲學(xué)的關(guān)系與區(qū)別科學(xué)具體研究某類對象的變化規(guī)律哲學(xué)抽象研究整個自然的變化規(guī)律邏輯抽象研究自然變化的規(guī)則和規(guī)范邏輯側(cè)重規(guī)則和規(guī)范,科學(xué)側(cè)重原理?邏輯有多種形態(tài),如二值邏輯/二值圖象看多值邏輯/灰度圖象墨多維邏輯/彩色圖象之缺省邏輯/缺省圖象舞動態(tài)邏輯/動畫視頻?結(jié)構(gòu)和過程都是邏輯的具體實現(xiàn)事物的三種等價描述相互滲透不可分邏輯規(guī)則描述事物用推理演算解決知識結(jié)構(gòu)描述事物用搜索策略解決演化過程描述事物用尋優(yōu)過程解決例如可從三個不同側(cè)面觀看芭蕾舞:從形體上看是人體結(jié)構(gòu)的變化從能量上看
5、是能量變換的過程從信息上看是思維邏輯的演繹三個中一個為主,其他是伴隨的附件人工生命使我們想的更大膽,更深入!廣義智能科學(xué)理論體系基本需求:數(shù)理邏輯柔性化?邏輯學(xué)分為:★形式邏輯研究具有內(nèi)在同一性和外在確定性的概念、命題之間的必然聯(lián)系;★辨證邏輯研究具有內(nèi)在矛盾性和外在不確定性的概念、命題之間的必然聯(lián)系。?研究辨證邏輯的基本方法是將辨證邏輯問題通過劃分和時空定位,轉(zhuǎn)化為形式邏輯問題。邏輯學(xué)中的基本問題剛性邏輯學(xué)和柔性邏輯學(xué)?辨證邏輯的數(shù)學(xué)化得到非經(jīng)典數(shù)理邏輯,它是柔性邏輯學(xué)(Flexibilitylogics)?形式邏輯的數(shù)
6、學(xué)化得到經(jīng)典數(shù)理邏輯,它是剛性邏輯學(xué)(Rigidlogics)數(shù)理邏輯柔性化的三個方向1不精確推理:二值邏輯?連續(xù)值邏輯三值概率模糊多值模態(tài)2信息不完全:全信息邏輯?非全信息邏輯歸納類比容錯非單調(diào)弗協(xié)調(diào)開放3動態(tài)變化:一維邏輯?高維邏輯四值八值動態(tài)區(qū)間粗糙灰色?眾多現(xiàn)代邏輯需要在新的理論框架下統(tǒng)一不精確推理:二值邏輯?連續(xù)值邏輯關(guān)鍵1:命題真值連續(xù)變化的邏輯意義關(guān)鍵2:命題連接詞及其運(yùn)算模型邏輯意義:整體判斷和局部判斷命題連接詞及其運(yùn)算模型?已經(jīng)提出不少連續(xù)值邏輯定義?受傳統(tǒng)邏輯學(xué)思想束縛,運(yùn)算模型唯一?T-范數(shù)發(fā)現(xiàn)了許多
7、連續(xù)變化的算子簇,但不知道不什么物理意義。?認(rèn)識到不同情況需要不同的運(yùn)算模型?關(guān)鍵是轉(zhuǎn)變傳統(tǒng)觀念,找到適應(yīng)不同情況的自適應(yīng)機(jī)制和調(diào)整參數(shù)信息不全:全信息邏輯?非全信息邏輯關(guān)鍵1:如何補(bǔ)充和修正假設(shè)命題關(guān)鍵2:如何處理假設(shè)命題帶來的各種問題?目前是在二值邏輯基礎(chǔ)上放寬對推理的前提條件應(yīng)該全部已知的限制,允許部分條件缺省,然后利用先驗或后驗的信息進(jìn)行補(bǔ)充和修正。?產(chǎn)生和修正假設(shè)命題的方法不同,就形成了不同的邏輯(和附加機(jī)制)。如不完全歸納類比案例發(fā)現(xiàn)信念等?假設(shè)命題造成了推理過程的非單調(diào)性、弗協(xié)調(diào)性、開放性等。?非全信息邏輯主
8、要是研究附加機(jī)制。動態(tài)變化:一維邏輯?高維邏輯關(guān)鍵1:偽偏序邏輯的蘊(yùn)涵如何定義?關(guān)鍵2:從整數(shù)維實數(shù)維可能嗎?可拓邏輯有更多的變化機(jī)制(蔡文)人工生命系統(tǒng)的經(jīng)驗為什么天下沒有完全相同的葉子生物體內(nèi)部如此完美地協(xié)調(diào)生物和它存在的環(huán)境如此和諧因為它的邏輯規(guī)則中存在隨機(jī)參數(shù)、內(nèi)部動態(tài)平衡參數(shù)、對環(huán)境敏感的參數(shù)