三值命题逻辑系统中理论的随机发散度的分布
|
摘要
在三值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中,指出理论的p-随机发散度是和随机三值分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式之集S的p-随机发散度随着三值分布序列p的不同取值可以充满整个(0,1]实数区间。
This paper points out that the p-randomized divergence degree and the values of randomized three-point distribution are closely related in randomized logic metric space of 3-valued propositional logical system. It is proved that the p-randomized divergence degree of the set of atomic formulas with different values of three-point distribution sequence can be full of the real number interval(0, 1].
This paper points out that the p-randomized divergence degree and the values of randomized three-point distribution are closely related in randomized logic metric space of 3-valued propositional logical system. It is proved that the p-randomized divergence degree of the set of atomic formulas with different values of three-point distribution sequence can be full of the real number interval(0, 1].
引文
[1]Hamilton A G.Logic for mathematicians[M].New York:Cambridge University Press,1978.
[2]胡世华,陆钟万.数理逻辑基础[M].北京:科学出版社,1983.
[3]王元元.计算机科学中的逻辑学[M].北京:科学出版社,1989.
[4]陆汝铃.人工智能[M].北京:科学出版社,1988.
[5]王国俊.数理统计引论与归结原理[M].北京:科学出版社,2003.
[6]惠小静,王国俊.经典推理模式的随机化研究及其应用[J].中国科学:E辑,2007,37(6):801-812.
[7]惠小静,王国俊.经典推理模式的随机化研究及其应用(II)[J].模糊系统与数学,2008,22(3):21-26.
[8]惠小静.三值R0命题逻辑系统的随机化[J].应用数学学报,2009,32(1):19-27.
[9]惠小静.三种近似推理模式的等价性[J].计算机工程与应用,2008,44(27):56-57.
[10]惠小静,李宏设,李丽.D-逻辑度量空间中的相容理论[J].模糊系统与数学,2009,23(2):12-17.
[11]崔美华.经典命题逻辑中公式的D-条件真度及近似推理[J].模糊系统与数学,2010,24(6):34-41.
[12]李修清,魏海新,林亮.修正的n值G?del逻辑系统的随机化[J].计算机工程与应用,2012,48(24):45-49.
[13]李修清,朱宁.R0型命题逻辑系统的随机化[J].模糊系统与数学,2013,27(1):63-70.
[14]李修清,魏海新.n值Lukasiewicz逻辑系统中理论的随机发散度[J].模糊系统与数学,2013,27(6):93-98.
[15]王国俊.非经典数理逻辑与近似推理[M].2版.北京:科学出版社,2008.
[16]崔美华.n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理[J].应用数学学报,2012,35(2),209-220.
[17]王国俊.计量逻辑学(I)[J].工程数学学报,2006,23(2):191-215.
[2]胡世华,陆钟万.数理逻辑基础[M].北京:科学出版社,1983.
[3]王元元.计算机科学中的逻辑学[M].北京:科学出版社,1989.
[4]陆汝铃.人工智能[M].北京:科学出版社,1988.
[5]王国俊.数理统计引论与归结原理[M].北京:科学出版社,2003.
[6]惠小静,王国俊.经典推理模式的随机化研究及其应用[J].中国科学:E辑,2007,37(6):801-812.
[7]惠小静,王国俊.经典推理模式的随机化研究及其应用(II)[J].模糊系统与数学,2008,22(3):21-26.
[8]惠小静.三值R0命题逻辑系统的随机化[J].应用数学学报,2009,32(1):19-27.
[9]惠小静.三种近似推理模式的等价性[J].计算机工程与应用,2008,44(27):56-57.
[10]惠小静,李宏设,李丽.D-逻辑度量空间中的相容理论[J].模糊系统与数学,2009,23(2):12-17.
[11]崔美华.经典命题逻辑中公式的D-条件真度及近似推理[J].模糊系统与数学,2010,24(6):34-41.
[12]李修清,魏海新,林亮.修正的n值G?del逻辑系统的随机化[J].计算机工程与应用,2012,48(24):45-49.
[13]李修清,朱宁.R0型命题逻辑系统的随机化[J].模糊系统与数学,2013,27(1):63-70.
[14]李修清,魏海新.n值Lukasiewicz逻辑系统中理论的随机发散度[J].模糊系统与数学,2013,27(6):93-98.
[15]王国俊.非经典数理逻辑与近似推理[M].2版.北京:科学出版社,2008.
[16]崔美华.n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理[J].应用数学学报,2012,35(2),209-220.
[17]王国俊.计量逻辑学(I)[J].工程数学学报,2006,23(2):191-215.