计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 83-87.doi: 10.11896/j.issn.1002-137X.2016.11A.018
高晓莉,惠小静,朱乃调
GAO Xiao-li, HUI Xiao-jing and ZHU Nai-diao
摘要： 首先,借鉴n值ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式；接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义；最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。
| [1] 王国俊.数理逻辑引论与归结原理(2版)[M].北京:科学出版社,2006 [2] 王国俊.计量逻辑学(I)[J].工程数学学报,2006,3(2):191-215 [3] 惠小静.模糊逻辑系统中广义有效推理的真度递减定理[J].模糊系统与数学,2013,27(4):36-41 [4] 周建仁,吴洪博.ukasiewicz命题逻辑系统中真度的等价定义及相关性质[J].工程数学学报,2013,30(4):580-590 [5] 王国俊,刘保翠.4种命题逻辑中公式的相对Γ-重言度理论[J].工程数学学报,2007,4(4):598-610 [6] 周红军.ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理[J].软件学报,2012,3(9):2235-2247 [7] 折延宏,贺晓丽.粗糙逻辑中公式的Borel型概率粗糙真度[J].软件学报,2014,5(5):970-983 [8] 惠小静,王国俊.经典推理模式的随机化研究及其应用[J].中国科学:E辑,2007,7(6):801-812 [9] 惠小静.三值R0命题逻辑系统的随机化[J].应用数学学报,2009,2(1):19-27 [10] 王国俊,惠小静.概率逻辑学基本定理的推广[J].电子学报,2007,5(7):1333-1340 [11] 左卫兵.多值逻辑系统中公式的μ-真度理论[J].系统科学与数学,2011,1(7):879-892 [12] 马巧云,吴洪博.经典逻辑系统中公式的真度及公式间伪距离的一种等价定义[J].模糊系统与数学,2013,27(1):28-33 [13] 贺锦瑞,惠小静,双靖宁.三值ukasiewicz逻辑系统中公式的向量表示及其研究[J].计算机科学与探索,2015,9(9):1147-1152 |
| No related articles found! |
|
||
首页