-
题名连续值命题逻辑系统中公式的条件概率真度
- 1
-
-
作者
于西昌
谭桂梅
张兴芳
-
机构
聊城职业技术学院
聊城大学图书馆
聊城大学数学科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第28期55-59,共5页
-
基金
山东省自然科学基金NoY2003A01~~
-
文摘
基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密。
-
关键词
赋值密度函数
概率真度
条件概率真度
推理规则
稠密性
-
Keywords
valuation density function
probability truth degree
conditional probability truth degree
inference rule
density
-
分类号
O141.1
[理学—基础数学]
-
-
题名命题逻辑中条件概率真度的相似度及伪距离
- 2
-
-
作者
牛广化
于西昌
-
机构
枣庄科技职业学院建筑工程系
聊城职业技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第17期33-38,共6页
-
基金
山东省自然科学基金 No.Y2003A01~~
-
文摘
通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了可靠的依据。
-
关键词
赋值密度函数
条件概率真度
相似度
伪距离
-
Keywords
valuation density function
conditional probability truth degree
similarity degree
pseudo-distance
-
分类号
O141.1
[理学—基础数学]
-
-
题名连续值命题逻辑中公式的条件相对重言度理论
- 3
-
-
作者
谭桂梅
于西昌
-
机构
聊城大学图书馆
聊城职业技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第16期55-59,共5页
-
基金
山东省自然科学基金(No.Y2003A01)~~
-
文摘
基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数,定义了公式的概率真度、条件概率真度的概念,引入了公式的条件相对Γ-重言度,并给出了若干性质。利用公式的条件相对Γ-重言度,定义了公式间的条件相对Γ-相似度,进而导出了伪距离。
-
关键词
赋值密度函数
条件概率真度
条件相对Γ-重言度
条件相对Γ-相似度
伪距离
-
Keywords
valuation density function
conditional probability truth degree
conditional relative Γ-tautology degree
conditional relative Γ-similarity degree
pseudo-distance
-
分类号
O141.1
[理学—基础数学]
-
