期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
真度约简与计量逻辑学推理模式的关系
1
作者
于鹏
《陕西科技大学学报(自然科学版)》
2011年第5期145-147,152,共4页
基于计量逻辑学公式真度理论给出了n值Lukasiewicz命题集的真度约简方法和计量逻辑学中近似推理的模式,讨论了真度约简与近似推理模式之间的关系,为在F(S)中展开近似推理提供了新的途径.
关键词
计量逻辑学
近似推理
命题集约简
LUKASIEWICZ
命题集
在线阅读
下载PDF
职称材料
概率逻辑学基本定理的推广
被引量:
41
2
作者
王国俊
惠小静
《电子学报》
EI
CAS
CSCD
北大核心
2007年第7期1333-1340,共8页
通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计...
通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数■的有限逻辑理论相容度概念,是δ-相容度的推广.
展开更多
关键词
不可靠度
生成状态集
生成概率
自然合并概率
计量逻辑学
p-相容度
在线阅读
下载PDF
职称材料
多值逻辑中基于Camberra模糊距离的计量化方法
被引量:
7
3
作者
赵彬
于鹏
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2305-2315,共11页
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不...
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了三值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法.
展开更多
关键词
计量逻辑学
Camberra模糊距离
近似推理
相容理论
在线阅读
下载PDF
职称材料
(3n+1)值逻辑系统R_0L中公式的真度性质
被引量:
8
4
作者
吴洪博
周建仁
张琼
《电子学报》
EI
CAS
CSCD
北大核心
2011年第10期2230-2234,2229,共6页
基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n...
基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架.
展开更多
关键词
计量逻辑学
R0L系统
真度
相似度
伪距离
在线阅读
下载PDF
职称材料
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质
被引量:
18
5
作者
周建仁
吴洪博
《工程数学学报》
CSCD
北大核心
2013年第4期580-590,共11页
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系...
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.
展开更多
关键词
计量逻辑学
Lukasiewicz命题
逻辑
真度定义
等价形式
推理规则
在线阅读
下载PDF
职称材料
题名
真度约简与计量逻辑学推理模式的关系
1
作者
于鹏
机构
陕西科技大学理学院
出处
《陕西科技大学学报(自然科学版)》
2011年第5期145-147,152,共4页
文摘
基于计量逻辑学公式真度理论给出了n值Lukasiewicz命题集的真度约简方法和计量逻辑学中近似推理的模式,讨论了真度约简与近似推理模式之间的关系,为在F(S)中展开近似推理提供了新的途径.
关键词
计量逻辑学
近似推理
命题集约简
LUKASIEWICZ
命题集
Keywords
quantitative logic
approximate reasoning
reduction of proposition set
Lukasiewicz
proposition set
分类号
O142 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
概率逻辑学基本定理的推广
被引量:
41
2
作者
王国俊
惠小静
机构
陕西师范大学数学研究所
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第7期1333-1340,共8页
基金
国家自然科学基金重点项目(No.10331010)
文摘
通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数■的有限逻辑理论相容度概念,是δ-相容度的推广.
关键词
不可靠度
生成状态集
生成概率
自然合并概率
计量逻辑学
p-相容度
Keywords
unceaainty
generating states set
generating probability
naturally merged probability
quantitative logic
p-consistency degree
分类号
O142 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
多值逻辑中基于Camberra模糊距离的计量化方法
被引量:
7
3
作者
赵彬
于鹏
机构
陕西师范大学数学与信息科学学院
陕西科技大学文理学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2305-2315,共11页
基金
国家自然科学基金重点项目(No.11531009)
中央高校基本科研业务费专项资金(No.GK201501001)
文摘
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了三值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法.
关键词
计量逻辑学
Camberra模糊距离
近似推理
相容理论
Keywords
quantitative logic
camberra fuzzy distance
approximate reasoning
consistent theory
分类号
O141.1 [理学—基础数学]
O153.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
(3n+1)值逻辑系统R_0L中公式的真度性质
被引量:
8
4
作者
吴洪博
周建仁
张琼
机构
陕西师范大学数学与信息科学学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第10期2230-2234,2229,共6页
基金
国家自然科学基金资助项目(No.10871121)
文摘
基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架.
关键词
计量逻辑学
R0L系统
真度
相似度
伪距离
Keywords
quantitative logic
R0Lsystem
truth degree
similarity degree
pseudo-metric
分类号
O141.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质
被引量:
18
5
作者
周建仁
吴洪博
机构
陕西师范大学数学与信息科学学院
出处
《工程数学学报》
CSCD
北大核心
2013年第4期580-590,共11页
基金
国家自然科学基金(11171196)~~
文摘
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.
关键词
计量逻辑学
Lukasiewicz命题
逻辑
真度定义
等价形式
推理规则
Keywords
quantitative logic
Lukasiewicz proposition Logic
truth degree
equivalent definition
inference rule
分类号
O141.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
真度约简与计量逻辑学推理模式的关系
于鹏
《陕西科技大学学报(自然科学版)》
2011
0
在线阅读
下载PDF
职称材料
2
概率逻辑学基本定理的推广
王国俊
惠小静
《电子学报》
EI
CAS
CSCD
北大核心
2007
41
在线阅读
下载PDF
职称材料
3
多值逻辑中基于Camberra模糊距离的计量化方法
赵彬
于鹏
《电子学报》
EI
CAS
CSCD
北大核心
2018
7
在线阅读
下载PDF
职称材料
4
(3n+1)值逻辑系统R_0L中公式的真度性质
吴洪博
周建仁
张琼
《电子学报》
EI
CAS
CSCD
北大核心
2011
8
在线阅读
下载PDF
职称材料
5
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质
周建仁
吴洪博
《工程数学学报》
CSCD
北大核心
2013
18
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部