四种命题逻辑中公式的相对Γ-重言度理论

四种命题逻辑中公式的相对Γ-重言度理论

基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,G(o)del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离.最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.

作 者： 王国俊 刘保翠 WANG Guo-jun LIU Bao-cui   作者单位： 王国俊,WANG Guo-jun(陕西师范大学数学与信息科学学院,西安,710062;西安交通大学基础科学研究中心,西安,710049)

刘保翠,LIU Bao-cui(陕西师范大学数学与信息科学学院,西安,710062) 

刊 名： 工程数学学报  ISTIC PKU 英文刊名： CHINESE JOURNAL OF ENGINEERING MATHEMATICS  年，卷(期)： 2007 24(4)  分类号： O141.1  关键词： 命题逻辑   相对Γ-重言度   性质   Γ-相似度   伪距离   近似推理  

【四种命题逻辑中公式的相对Γ-重言度理论】相关文章：

二值命题逻辑中逻辑推理的有效度04-26

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)04-26

二值命题逻辑中有限理论的α-结论04-26

应用雷达产品计算风暴相对螺旋度04-27

命题逻辑讲真不讲假04-27

生活中的物理论文01-29

一种基于相对贴近度的交互式决策法04-26

转动系统相对论性Birkhoff动力学的基本理论04-26

认知理论视野中的语言接收04-26

统计理论中的系统辩证思想04-26