-
题名n值命题逻辑系统中公式真度的进一步研究
- 1
-
-
作者
王庆平
王大全
张兴芳
-
机构
聊城大学数学科学学院
-
出处
《模糊系统与数学》
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
[理学—运筹学与控制论]
-
-
题名命题逻辑中公式的成真程度问题研究
- 2
-
-
作者
张天宇
-
机构
郑州外国语学校
-
出处
《华北水利水电学院学报》
2008年第4期110-112,共3页
-
文摘
为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可能性的真度进行了分析,得到一些有规律的结果.
-
关键词
命题公式
公式的真度
赋值可能性
-
Keywords
assumption formula
the authenticity degree of formula
possibility of value-given
-
分类号
O141.1
[理学—数学]
-
-
题名数理逻辑中的数值化方法
- 3
-
-
作者
王国俊
-
出处
《模糊系统与数学》
CSCD
2004年第z1期19-28,共10页
-
文摘
数理逻辑的本质是形式推理而不是数值计算,非此即彼式的严谨性是其特征,因而在一定意义下它是"两极化"的.比如,(1)一个逻辑理论或者是相容的,或者是不相容的,不存在"半相容的"理论.(2)"逻辑公式A是假设集T的推论"或者成立,或者不成立,说它近似成立是无意义的.(3)逻辑公式中有重言式和矛盾式,但没有0.8重言式.本文的目的在于为上述基本概念提供程度化的版本,并从而建立一种近似推理理论.
-
关键词
逻辑公式的真度
近似推理
积分语义学
逻辑理论的相容度
-
分类号
O141.1
[理学—数学]
-
-
题名模糊命题系统Gdel和L~*中条件真度的比较
被引量：2
- 4
-
-
作者
范欣
王国俊
-
机构
陕西师范大学数学与信息科学学院
-
出处
《云南师范大学学报（自然科学版）》
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
[理学—数学]
-
-
题名一阶模糊谓词逻辑公式的解释模型真度理论及其应用
被引量：10
- 5
-
-
作者
张兴芳
孟广武
-
机构
聊城大学数学科学学院
-
出处
《系统科学与数学》
CSCD
北大核心
2008年第5期588-593,共6页
-
基金
山东省自然科学基金(Y2003A01)资助课题.
-
文摘
基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.
-
关键词
模糊谓词
公式的解释模型真度
近似推理
-
Keywords
Fuzzy predicate, truth degree of formulas based on interpretation model, approximate reasoning.
-
分类号
O159
[理学—数学]
-
