首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   1篇
  国内免费   1篇
无线电   1篇
自动化技术   3篇
  2017年   2篇
  2016年   2篇
排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
惠小静  高晓莉  朱乃调 《电子学报》2017,45(11):2656-2662
本文首先对n值Goguen命题逻辑进行公理化扩张Goguen~,Δ,记为∏~,Δ.利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏~,Δ中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏~,Δ中介绍了任意理论Γ相对于特定理论Γ0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.  相似文献   
2.
首先,借鉴n值ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。  相似文献   
3.
高晓莉  惠小静  朱乃调 《软件学报》2017,28(7):1629-1639
本文首先对n值Goguen命题逻辑进行公理化扩张,Goguen~,△,记为Π~,△.利用公式的诱导函数给出公式在kk任取~或△)连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了Π~,△中Γ-k真度的MP规则、HS规则等相关性质;最后,在Π~,△中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.  相似文献   
4.
通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel~,Δ,简记为G~,Δ。在Gdel~,Δ中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号