期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
三值命题逻辑随机化的注记
1
作者
左卫兵
《河北师范大学学报(自然科学版)》
CAS
北大核心
2011年第4期325-331,335,共8页
通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.
关键词
命题逻辑
真度权函数
随机
真度
随机伪度量
连续性
下载PDF
职称材料
四值非全序R_0命题逻辑上的随机伪度量
2
作者
左卫兵
《云南大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第2期134-141,共8页
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在...
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.
展开更多
关键词
非全序
命题逻辑
真度权函数
可变随机
真度
随机伪度量
原文传递
题名
三值命题逻辑随机化的注记
1
作者
左卫兵
机构
华北水利水电学院数学与信息科学学院
出处
《河北师范大学学报(自然科学版)》
CAS
北大核心
2011年第4期325-331,335,共8页
基金
河南省自然科学基金(112300410040)
河南省教育厅自然科学研究项目(2010A110011)
文摘
通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.
关键词
命题逻辑
真度权函数
随机
真度
随机伪度量
连续性
Keywords
propositional logic
truth degree weight function
randomized truth degree
randomized pseudo-metric
continuity
分类号
O141 [理学—基础数学]
下载PDF
职称材料
题名
四值非全序R_0命题逻辑上的随机伪度量
2
作者
左卫兵
机构
华北水利水电学院数学与信息科学学院
出处
《云南大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第2期134-141,共8页
基金
河南省自然科学基金资助项目(112300410040)
河南省教育厅自然科学基金资助项目(2011A110012)
河南省高等学校青年骨干教师资助计划项目(2011GGJS-097)
文摘
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.
关键词
非全序
命题逻辑
真度权函数
可变随机
真度
随机伪度量
Keywords
non - totally ordered
propositional logic
truth degree weight function
variable randomized truth degree
randomized pseudo - metric
分类号
O141 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
三值命题逻辑随机化的注记
左卫兵
《河北师范大学学报(自然科学版)》
CAS
北大核心
2011
0
下载PDF
职称材料
2
四值非全序R_0命题逻辑上的随机伪度量
左卫兵
《云南大学学报(自然科学版)》
CAS
CSCD
北大核心
2012
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部