首页 | 官方网站   微博 | 高级检索  
     

四值非全序R0命题逻辑上的随机伪度量
引用本文:左卫兵.四值非全序R0命题逻辑上的随机伪度量[J].云南大学学报(自然科学版),2012,0(2):134-141.
作者姓名:左卫兵
作者单位:华北水利水电学院数学与信息科学学院
基金项目:河南省自然科学基金资助项目(112300410040);河南省教育厅自然科学基金资助项目(2011A110012);河南省高等学校青年骨干教师资助计划项目(2011GGJS-097)
摘    要: 通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.

关 键 词:非全序  命题逻辑  真度权函数  可变随机真度  随机伪度量

Randomized pseudo-metric of R0-type 4-valued non-totally ordered propositional logic
ZUO Wei-bing.Randomized pseudo-metric of R0-type 4-valued non-totally ordered propositional logic[J].Journal of Yunnan University(Natural Sciences),2012,0(2):134-141.
Authors:ZUO Wei-bing
Affiliation:ZUO Wei-bing(College of Mathematics and Information Science,North China University of Water Resources and Electric Power,Zhengzhou 450046,China)
Abstract:By introducing random mapping and truth degree weight function,we define the varialble randomized truth degree of formula in R0-type 4-valued non-totally ordered propositional logic system.The basic properties of variable randomized truth degree are obtained in this paper.The concept of randomized similarity and randomized pseudo-metric is introduced and randomized logic metric space in R0-type 4-valued non-totally ordered propositional logic system is also established,which provides possible framework for approximate reasoning in the logic system of 4-valued non-totally ordered propositional logic system.
Keywords:non-totally ordered  propositional logic  truth degree weight function  variable randomized truth degree  randomized pseudo-metric
本文献已被 CNKI 等数据库收录!
点击此处可从《云南大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《云南大学学报(自然科学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号