廣義智能科學(xué)的邏輯基礎(chǔ)探討-文庫(kù)吧
2025-09-07 18:31 本頁(yè)面
【正文】 側(cè)重規(guī)則和規(guī)范，科學(xué)側(cè)重原理 ?邏輯有多種形態(tài)，如 ?二值邏輯 /二值圖象 看 ?多值邏輯 /灰度圖象 墨 ?多維邏輯 /彩色圖象 之 ?缺省邏輯 /缺省圖象 舞 ?動(dòng)態(tài)邏輯 /動(dòng)畫(huà) 視頻 ?結(jié)構(gòu)和過(guò)程都是邏輯的具體實(shí)現(xiàn) ?事物的三種 等價(jià) 描述 相互滲透不可分 邏輯 規(guī)則描述事物 用推理演算解決 知識(shí) 結(jié)構(gòu) 描述事物 用搜索策略解決 演化 過(guò)程 描述事物 用尋優(yōu)過(guò)程解決 ?例如 可從三個(gè)不同側(cè)面觀看芭蕾舞： 從 形體 上看 是人體結(jié)構(gòu)的變化 從 能量 上看 是能量變換的過(guò)程 從 信息 上看 是思維邏輯的演繹 三個(gè)中一個(gè)為 主 ，其他是伴隨的 附件 ?人工生命使我們想的更大膽，更深入！ 廣義 智能科學(xué)理論體系 基本需求：數(shù)理邏輯柔性化 ?邏輯學(xué)分為： ★ 形式邏輯 研究具有內(nèi)在同一性和外在確定性的概念、命題之間的必然聯(lián)系； ★ 辨證邏輯 研究具有內(nèi)在矛盾性和外在不確定性的概念、命題之間的必然聯(lián)系。 ?研究辨證邏輯的 基本方法 是將辨證邏輯 問(wèn)題通過(guò) 劃分和時(shí)空定位 ，轉(zhuǎn)化為形式 邏輯問(wèn)題。 邏輯學(xué)中的基本問(wèn)題 剛性邏輯學(xué)和柔性邏輯學(xué) ?辨證邏輯的數(shù)學(xué)化得到非經(jīng)典數(shù)理邏輯 ，它是 柔性邏輯學(xué) (Flexibility logics) ?形式邏輯的數(shù)學(xué)化得到經(jīng)典數(shù)理邏輯 ， 它是 剛性邏輯學(xué) (Rigid logics) 數(shù)理邏輯柔性化的三個(gè)方向 1不精確推理 ： 二值邏輯 ?連續(xù)值邏輯 三值 概率 模糊 多值 模態(tài) 2信息不完全 ： 全信息邏輯 ?非全信息邏輯 歸納 類比 容錯(cuò) 非單調(diào) 弗協(xié)調(diào) 開(kāi)放 3動(dòng)態(tài)變化 ： 一維邏輯 ?高維邏輯 四值 八值 動(dòng)態(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)了許多連續(xù)變化的算子簇，但不知道不什么物理意義。 ?認(rèn)識(shí)到不同情況需要不同的運(yùn)算模型 ?關(guān)鍵是轉(zhuǎn)變傳統(tǒng)觀念，找到適應(yīng)不同情況的自適應(yīng)機(jī)制和調(diào)整參數(shù)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1