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