您好，歡迎來(lái)電子發(fā)燒友網(wǎng)！ ，新用戶？[免費(fèi)注冊(cè)]

您的位置：電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

Goguen命題邏輯系統(tǒng)SBL公理化擴(kuò)張計(jì)量化研究

大?。?/span>1.13 MB 人氣： 2017-12-28 需要積分：1

推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）

前往下載地址

　　本文以Goguen命題邏輯系統(tǒng)為例，擬在SBL公理化擴(kuò)張中展開(kāi)計(jì)量化研究．首先在，z值Goguen命題邏輯系統(tǒng)中添加了兩類算子，即對(duì)合否定和連接詞△，將其作為SBL~系統(tǒng)的公理化擴(kuò)張，記為Goguen_a?；颌騸a．然后利用公式的誘導(dǎo)函數(shù)給出公式在k（k任取～或A）連接詞下相對(duì)于局部有限理論I_的F-k真度的定義；討論了Ⅱ~a中F-k真度的MP規(guī)則、HS規(guī)則等相關(guān)性質(zhì)：最后，在Ⅱ~a中定義了兩公式間的F-k相似度與F-k偽距離，得到了公式在K連接詞下相對(duì)于局部有限理論r的r-k相似度與F-k偽距離所具有的一些良好性質(zhì).

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論，獲取積分！ 請(qǐng)遵守相關(guān)規(guī)定！

      ?