国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

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

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

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

大小:1.13 MB 人氣: 2017-12-28 需要積分:1

  本文以Goguen命題邏輯系統(tǒng)為例,擬在SBL公理化擴(kuò)張中展開計(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ī)定!

      ?