连续值命题逻辑中公式的条件相对重言度理论

作者：谭桂梅 于西昌赋值密度函数条件概率真度伪距离

摘要：基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数,定义了公式的概率真度、条件概率真度的概念,引入了公式的条件相对Γ-重言度,并给出了若干性质。利用公式的条件相对Γ-重言度,定义了公式间的条件相对Γ-相似度,进而导出了伪距离。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社