人工智能的邏輯基礎(chǔ)初探(文件)
【正文】 模型?已經(jīng)提出不少連續(xù)值邏輯定義?受傳統(tǒng)邏輯學(xué)思想束縛，運(yùn)算模型唯一?T范數(shù)發(fā)現(xiàn)了許多連續(xù)變化的算子簇，但不知道不什么物理意義。?產(chǎn)生和修正假設(shè)命題的方法不同，就形成了不同的邏輯（和附加機(jī)制）。?核心問題是在數(shù)理邏輯中引入柔性機(jī)制 包容各種矛盾和不確定性?任何邏輯都有語法規(guī)則和語義解釋兩部分?語法規(guī)則中至少有四個(gè)要素可柔性化： 建立柔性真值域l命題真值的度量空間必須是有序空間，可是 線序 、 偏序 或 超序 。 建立柔性連接詞?命題連接詞由運(yùn)算模型定義，我們根據(jù)模糊測(cè)度的邏輯性質(zhì)研究發(fā)現(xiàn)了柔性邏輯在 W＝ [0,1]上定義的命題連接詞有 7個(gè) 泛非 泛與 泛或 泛蘊(yùn)含 泛等價(jià) 泛平均 泛組合?柔性命題連接詞的運(yùn)算模型是連續(xù)變化的算子簇 ,它隨調(diào)整參數(shù)變化，可描述柔性命題間關(guān)系的不確定性（ 關(guān)系柔性 ）。?模式柔性可描述推理模式的不確定性。?我們特別注意到，集合、邏輯和代數(shù)是一個(gè)事物的三個(gè)不同方面： 集合 是事物的外延； 邏輯 是事物的內(nèi)涵； 代數(shù) 則描述了集合和邏輯的共同數(shù)學(xué)性質(zhì)，它們是三位一體的關(guān)系。?我們已經(jīng)在模糊測(cè)度的邏輯性質(zhì)、三角范數(shù) Schweizer算子簇和 Lukasiewicz連續(xù)值邏輯的基礎(chǔ)上，引入柔性參數(shù)和自適應(yīng)調(diào)整機(jī)制，建立了柔性命題邏輯學(xué)主要的運(yùn)算模型簇1.泛或命題連接詞的運(yùn)算模型 S(x,y,h,k)＝ ,k )4.命題泛邏輯學(xué)的應(yīng)用?邏輯生成器 已經(jīng)生成許多已有和未知的命題邏輯?統(tǒng)一了不精確推理理論?是進(jìn)一步建立柔性謂詞邏輯的基礎(chǔ)?柔性控制（一切可以運(yùn)用模糊邏輯、概率論、證據(jù)理論、近似推理的地方，原則上都可以用柔性命題邏輯）演講完畢，謝謝觀看！。同一個(gè) h,k，不同的 h,k?應(yīng)用上廣泛應(yīng)用各種不精確推理影響柔性邏輯運(yùn)算模型的因素有?模糊測(cè)度的誤差 ，用誤差系數(shù) k表示 k=1最大正誤差 k= k=0最大負(fù)誤差 ?廣義相關(guān)性 ，用廣義相關(guān)性系數(shù) h表示 h=1最大相吸 h= h= h=0最大相克?不平等性，用偏袒系數(shù) p表示 p=1最大左偏袒 p= p=0最大右偏袒 柔性邏輯運(yùn)算模型簇,n＝－ 1/log2k,k?[0,1]2. ?同一個(gè)語法規(guī)則通過不同的語義解釋可以派生出不同的
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1