Goguen命题逻辑系统SBL公理化扩张计量化研究
大小：1.13 MB 人气： 2017-12-28 需要积分：1
标签：SBL(8200)
本文以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启动流程简析 45
- WisBlock 液压监测应用指南 159
- WisBlock GPS 跟踪器应用指南 418
- WisBlock 土壤 PH 监测应用指南 274
- WisBlock 土壤电导率监测应用指南 339
- WisBlock 水位监测应用指南 250
- WisBlock PAR 监测应用指南 197
- WisBlock 环境监测应用指南 286
- WisBlock 天气监测应用指南 261
- FSBL的数据段和代码段如何连接？ 353