Goguen命題邏輯系統SBL公理化擴張計量化研究
大小：1.13 MB 人氣：0 2017-12-28 需要積分：1
標簽：SBL(8243)
本文以Goguen命題邏輯系統為例，擬在SBL公理化擴張中展開計量化研究．首先在，z值Goguen命題邏輯系統中添加了兩類算子，即對合否定和連接詞△，將其作為SBL~系統的公理化擴張，記為Goguen_a。或Ⅱ~a．然后利用公式的誘導函數給出公式在k（k任取～或A）連接詞下相對于局部有限理論I_的F-k真度的定義；討論了Ⅱ~a中F-k真度的MP規則、HS規則等相關性質：最后，在Ⅱ~a中定義了兩公式間的F-k相似度與F-k偽距離，得到了公式在K連接詞下相對于局部有限理論r的r-k相似度與F-k偽距離所具有的一些良好性質.
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
Goguen命題邏輯系統SBL公理化擴張計量化研究下載
相關電子資料下載
- TDA4 SPL SBL啟動流程簡析 1407
- WisBlock 液壓監測應用指南 506
- WisBlock GPS 跟蹤器應用指南 893
- WisBlock 土壤 PH 監測應用指南 705
- WisBlock 土壤電導率監測應用指南 840
- WisBlock 水位監測應用指南 675
- WisBlock PAR 監測應用指南 585
- WisBlock 環境監測應用指南 638
- WisBlock 天氣監測應用指南 709
- FSBL的數據段和代碼段如何連接？ 733