期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
三值Gdel命题逻辑中基于前提信息的随机真度
被引量:
1
1
作者
崔美华
徐罗山
《扬州大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第2期1-5,共5页
利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机...
利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.
展开更多
关键词
三值gdel逻辑系统
前提信息
Γ-随机真度
Γ-随机相似度
Γ-随机
逻辑
度量空间
下载PDF
职称材料
Gdel逻辑系统中公式真度判断方法
2
作者
张凤姣
张兴芳
《聊城大学学报(自然科学版)》
2011年第1期39-42,46,共5页
通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词
g
del
逻辑系统
逻辑
公式
真
值
函数
伪真
值
函数
真度
下载PDF
职称材料
题名
三值Gdel命题逻辑中基于前提信息的随机真度
被引量:
1
1
作者
崔美华
徐罗山
机构
盐城师范学院数学科学学院
扬州大学数学科学学院
出处
《扬州大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第2期1-5,共5页
基金
国家自然科学基金资助项目(10371106,60774073)
江苏省高校自然科学基础研究项目(08KJD110008)
文摘
利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.
关键词
三值gdel逻辑系统
前提信息
Γ-随机真度
Γ-随机相似度
Γ-随机
逻辑
度量空间
Keywords
3-valued
g
del
lo
g
ic system
premise information
Γ-randomized truth de
g
ree
Γ-randomized similarity
Γ-randomized lo
g
ic metric space
分类号
O141.1 [理学—基础数学]
O159 [理学—基础数学]
下载PDF
职称材料
题名
Gdel逻辑系统中公式真度判断方法
2
作者
张凤姣
张兴芳
机构
聊城大学数学科学学院
出处
《聊城大学学报(自然科学版)》
2011年第1期39-42,46,共5页
基金
国家自然科学基金资助项目(60875034)
聊城大学基金项目(X081001)
文摘
通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词
g
del
逻辑系统
逻辑
公式
真
值
函数
伪真
值
函数
真度
Keywords
g
o
del
lo
g
ic system, lo
g
ical formula, truth function, pseudo-truth function, truth de
g
ree
分类号
O142 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
三值Gdel命题逻辑中基于前提信息的随机真度
崔美华
徐罗山
《扬州大学学报(自然科学版)》
CAS
CSCD
北大核心
2010
1
下载PDF
职称材料
2
Gdel逻辑系统中公式真度判断方法
张凤姣
张兴芳
《聊城大学学报(自然科学版)》
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部