廣義智能科學(xué)的邏輯基礎(chǔ)探討(編輯修改稿)
2024-11-16 18:31 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 信息不全：全信息邏輯 ?非全信息邏輯 關(guān)鍵 1：如何補(bǔ)充和修正假設(shè)命題 關(guān)鍵 2：如何處理假設(shè)命題帶來(lái)的各種問(wèn)題 ?目前是在二值邏輯基礎(chǔ)上放寬對(duì)推理的前提條件應(yīng)該全部已知的限制，允許部分條件缺省，然后利用先驗(yàn)或后驗(yàn)的信息進(jìn)行補(bǔ)充和修正。 ?產(chǎn)生和修正假設(shè)命題的方法不同，就形成了不同的邏輯（和附加機(jī)制）。如 不完全歸納 類比 案例 發(fā)現(xiàn) 信念等 ?假設(shè)命題造成了推理過(guò)程的非單調(diào)性、 弗協(xié)調(diào)性、開放性等。 ?非全信息邏輯主要是研究附加機(jī)制。 動(dòng)態(tài)變化：一維邏輯 ?高維邏輯 關(guān)鍵 1：偽偏序邏輯的蘊(yùn)涵如何定義 ？ 關(guān)鍵 2：從整數(shù)維實(shí)數(shù)維可能嗎 ？ 可拓邏輯有更多的變化機(jī)制 （蔡文） 人工生命系統(tǒng)的經(jīng)驗(yàn) 為什么 ?天下沒有完全相同的葉子 ?生物體內(nèi)部如此完美地協(xié)調(diào) ?生物和它存在的環(huán)境如此和諧 因?yàn)? ?它的邏輯規(guī)則中存在隨機(jī)參數(shù)、內(nèi)部動(dòng)態(tài)平衡參數(shù)、對(duì)環(huán)境敏感的參數(shù)等 邏輯學(xué)中需要而且可能引入許多附加參數(shù)和自適應(yīng)機(jī)制 數(shù)理辯證邏輯的統(tǒng)一之路 ?經(jīng)典數(shù)理邏輯已經(jīng)是一個(gè)完整的理論體系，但它只能處理具有內(nèi)在同一性和外在確定性的推理問(wèn)題，它的各種邏輯學(xué)要素都是固定不變的，沒有調(diào)整機(jī)制。 ?數(shù)理辯證邏輯需要在經(jīng)典數(shù)理邏輯的基礎(chǔ)上，根據(jù)辨證處理具有內(nèi)在矛盾性和外在不確定性事物的劃分和時(shí)空定位規(guī)律，引入各種柔性參數(shù)和調(diào)整機(jī)制。 統(tǒng)一考慮多值性和非全信息性 統(tǒng)一考慮各種不確定性 三 泛邏輯學(xué)研究 綱要及初步成果 1 泛邏輯學(xué)的研究綱要 ?泛邏輯學(xué)的總綱領(lǐng)是從頂層研究邏輯學(xué)的一般規(guī)律，建立統(tǒng)一而又開放的邏輯學(xué)理論架構(gòu)，以規(guī)范和指導(dǎo)現(xiàn)代邏輯學(xué)研究，實(shí)現(xiàn)數(shù)理邏輯的柔性化。 ?核心問(wèn)題是在數(shù)理邏輯中引入柔性機(jī)制 包容各種矛盾和不確定性 ?任何邏輯都有語(yǔ)法規(guī)則和語(yǔ)義解釋兩部分 ?語(yǔ)法規(guī)則中至少有四個(gè)要素可柔性化： 建立柔性真值域 ?命題真值的度量空間必須是有序空間 ，可是 線序 、 偏序 或 超序 。 ?真值域的一般形式 是多維超序空間 W＝ {?}∪[ 0,1]n ? n＞ 0 其中 [0,1]是 基空間 ， n是 維數(shù) ， ?表示 無(wú)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1