-
题名基于公式真度的公式集约简
被引量：4
- 1
-
-
作者
于鹏
候再恩
-
机构
陕西科技大学理学院
-
出处
《模糊系统与数学》
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
[理学—数学]
-
-
题名广义MP问题的三I真度解
被引量：4
- 2
-
-
作者
于鹏
刘凤雏
王三五
-
机构
陕西科技大学理学院
中国工商银行陕西省分行
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第12期47-49,共3页
-
基金
国家自然科学基金No.10771129
陕西科技大学自然科学基金项目No.ZX07-37~~
-
文摘
基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。
-
关键词
公式真度
二值逻辑
广义MP问题
三I算法
α-三I真度解
-
Keywords
truth degree
two-value logic system
generalized modus ponens
Triple I method
α-Triple I truth degree solution
-
分类号
O142
[理学—数学]
-
-
题名多重广义MP问题的三I真度解
被引量：1
- 3
-
-
作者
于鹏
刘凤雏
-
机构
陕西科技大学理学院
中国工商银行陕西省分行
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第7期49-51,109,共4页
-
基金
陕西科技大学自然科学基金项目(No.ZX07-37
No.ZX10-33)
-
文摘
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。
-
关键词
公式真度
二值逻辑
多重广义MP问题
三I算法
-
Keywords
truth degree
two-value logic system
multiple .generalized modus ponens
Triple I method
a-Triple I truth degree solution
-
分类号
O142
[理学—数学]
-
-
题名一阶逻辑中不含相同谓词符号公式的真度研究
- 4
-
-
作者
王波
惠小静
鲁星
-
机构
延安大学数学与计算机科学学院
-
出处
《贵州大学学报（自然科学版）》
2022年第5期29-34,共6页
-
基金
国家自然科学基金资助项目(11471007,61763045)。
-
文摘
自真度概念被提出以来,命题逻辑的计量化得到了广泛的关注和发展。谓词逻辑的相关研究是一个难点,其中一阶逻辑的公理化真度以及程度化才刚刚起步。从文字的完全闭包及其合取的公理化真度出发,首先,证明了不含相同谓词符号广义合取式的真度计算公式;其次,通过合取范式的结构特点,证明了合取范式的真度计算公式;再次,证明了2个公式的逻辑等价性。所得结果为后续公理化真度性质研究奠定了基础。
-
关键词
一阶逻辑
公式真度
合取范式
逻辑等价
-
Keywords
first-order logic
formula truth degree
conjunction normal form
logical equivalence
-
分类号
O141.1
[理学—数学]
-
-
题名计量逻辑学中的形式化推演方法
- 5
-
-
作者
于鹏
-
机构
陕西科技大学理学院
-
出处
《宁夏大学学报（自然科学版）》
CAS
2014年第3期209-211,215,共4页
-
基金
陕西省自然科学基础研究计划资助项目(2011JQ1015)
-
文摘
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
-
关键词
公式真度
计量逻辑学
形式化推理
经典命题逻辑系统
-
Keywords
truth degree of formula
quantitative logic
formal deduction method
classical proposition log-ic system
-
分类号
O142
[理学—数学]
-
-
题名模糊命题系统Gdel和L~*中条件真度的比较
被引量：2
- 6
-
-
作者
范欣
王国俊
-
机构
陕西师范大学数学与信息科学学院
-
出处
《云南师范大学学报（自然科学版）》
2010年第4期23-27,共5页
-
基金
国家自然科学基金资助项目(10771129)
陕西师范大学211工程建设基金资助项目
-
文摘
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.
-
关键词
模糊命题系统Gdel和L＊
蕴涵算子
三角模算子
伴随对
公式的条件真度
-
Keywords
fuzzy propositional systems Godel and L
implication operator
t -norm operator
adjoint pair
the conditional truth degree
-
分类号
O141.1
[理学—数学]
-
-
题名n值命题逻辑系统中公式真度的进一步研究
- 7
-
-
作者
王庆平
王大全
张兴芳
-
机构
聊城大学数学科学学院
-
出处
《模糊系统与数学》
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
[理学—运筹学与控制论]
-
-
题名命题逻辑中公式的成真程度问题研究
- 8
-
-
作者
张天宇
-
机构
郑州外国语学校
-
出处
《华北水利水电学院学报》
2008年第4期110-112,共3页
-
文摘
为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可能性的真度进行了分析,得到一些有规律的结果.
-
关键词
命题公式
公式的真度
赋值可能性
-
Keywords
assumption formula
the authenticity degree of formula
possibility of value-given
-
分类号
O141.1
[理学—数学]
-
-
题名数理逻辑中的数值化方法
- 9
-
-
作者
王国俊
-
出处
《模糊系统与数学》
CSCD
2004年第z1期19-28,共10页
-
文摘
数理逻辑的本质是形式推理而不是数值计算,非此即彼式的严谨性是其特征,因而在一定意义下它是"两极化"的.比如,(1)一个逻辑理论或者是相容的,或者是不相容的,不存在"半相容的"理论.(2)"逻辑公式A是假设集T的推论"或者成立,或者不成立,说它近似成立是无意义的.(3)逻辑公式中有重言式和矛盾式,但没有0.8重言式.本文的目的在于为上述基本概念提供程度化的版本,并从而建立一种近似推理理论.
-
关键词
逻辑公式的真度
近似推理
积分语义学
逻辑理论的相容度
-
分类号
O141.1
[理学—数学]
-
