-
题名计量逻辑中真度的均值表示形式及应用
被引量：22
- 1
-
-
作者
吴洪博
周建仁
-
机构
陕西师范大学数学与信息科学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2012年第9期1822-1828,共7页
-
基金
国家自然科学基金(No.11171196)
陕西省教育厅专项科研计划项目(No.11JK0512)
-
文摘
命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.
-
关键词
计量逻辑
真度
均值表示
极限定理
对称性定理
规范型
计算公式
-
Keywords
quantitative logic
truth degree
mean representation
limit theorem
symmetry theorem
normal form
calculation formula
-
分类号
O141.1
[理学—数学]
-
-
题名基于公式真度的公式集约简
被引量：4
- 2
-
-
作者
于鹏
候再恩
-
机构
陕西科技大学理学院
-
出处
《模糊系统与数学》
CSCD
北大核心
2010年第1期66-70,共5页
-
基金
陕西科技大学自然科学基金资助项目(ZX07-37)
陕西省教育厅科研研究计划项目(08JK236)
-
文摘
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。
-
关键词
Boole函数
公式真度
公式集约简
α-真度约简
近似推理
-
Keywords
Bollean Function
The truth degree of formula
Proposition Reduction
α-truth Reduction
Approximate Reasoning
-
分类号
O235
[理学—运筹学与控制论]
O153
[理学—数学]
-
-
题名计量逻辑学中真度的贝叶斯公式
被引量：1
- 3
-
-
作者
何超琴
韩邦合
-
机构
西安邮电学院
西安电子科技大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第32期45-46,61,共3页
-
基金
陕西省自然科学基金基础研究计划(No.2010JM8021)
-
文摘
在条件真度的基础上,给出了计量逻辑学中二值公式真度的全概率公式和贝叶斯公式,并且在D-条件真度,蕴涵真度以及多值逻辑系统下讨论了该贝叶斯公式是否成立,得出在D-条件真度,多值逻辑系统下该贝叶斯公式仍然是成立的。
-
关键词
真度
条件真度
贝叶斯公式
D-条件真度
-
Keywords
truth degree
conditional truth degree
Baysesian formula
D-conditional truth degree
-
分类号
O141.1
[理学—数学]
-
-
题名n值命题逻辑系统中公式真度的进一步研究
- 4
-
-
作者
王庆平
王大全
张兴芳
-
机构
聊城大学数学科学学院
-
出处
《模糊系统与数学》
CSCD
北大核心
2009年第1期30-35,共6页
-
基金
教育部科学技术研究重点项目(206089)
聊城大学科研项目(X071043)
-
文摘
首先计算了四个n值命题逻辑系统L*,Luk,Gd及Π中一个典型公式p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随n变化的情况。
-
关键词
n值命题逻辑
公式的真度
公式P1→P2
-
Keywords
n-value Proposition Logic
The truth degree of formula
formula P1→P2
-
分类号
O231
[理学—运筹学与控制论]
-
-
题名谓词逻辑中公理化真度的若干评注
- 5
-
-
作者
马硕
惠小静
郝娇
-
机构
延安大学数学与计算机科学学院
-
出处
《宁夏大学学报（自然科学版）》
CAS
2022年第1期30-32,40,共4页
-
基金
国家自然科学基金资助项目(11471007,61763045)
延安大学研究生教育创新计划项目(YCX2021056)。
-
文摘
根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.
-
关键词
一阶谓词逻辑
真度
广义矛盾式
矛盾式
定理
-
Keywords
first-order predicate logic
truth degree
generalized contradictory formula
contradictory formula
theorem
-
分类号
O141
[理学—数学]
-
-
题名计量逻辑学中的形式化推演方法
- 6
-
-
作者
于鹏
-
机构
陕西科技大学理学院
-
出处
《宁夏大学学报（自然科学版）》
CAS
2014年第3期209-211,215,共4页
-
基金
陕西省自然科学基础研究计划资助项目(2011JQ1015)
-
文摘
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
-
关键词
公式真度
计量逻辑学
形式化推理
经典命题逻辑系统
-
Keywords
truth degree of formula
quantitative logic
formal deduction method
classical proposition log-ic system
-
分类号
O142
[理学—数学]
-
