Abstract：In this paper,based on lattice evaluation theory and by defining probality measure in pre-rough algebra evaluation lattice and set of all formulae respectively,the new type of rough probabilistic truth degree of formulae in rough logic is introduced by the integral method.The MP rule,HS rule and meet inference of rough probabilistic truth degree are proved,the concept of accuracy degree and roughness degree of fomulae are introduced also.At the meantime,the concept of rough similarity degree and pseudo-distances between formulae are introduced and three different kinds of approximate reasoning models are estabished.The theory of quantitative logic is expanded to rough logic,which makes it possible in graded reasoning in rough logic.
左卫兵, 李慧慧, 钱莉. 粗糙逻辑中公式的一种新的粗糙概率真度[J]. 电子学报, 2019, 47(5): 1174-1179.
ZUO Wei-bing, LI Hui-hui, QIAN Li. New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic. Acta Electronica Sinica, 2019, 47(5): 1174-1179.
[1] Pawlak Z.Rough sets[J].International Journal of Computer and Information Science,1982,11(5):341-356.
[2] Pawlak Z.RoughSets-Theoretical Aspects of Reasoning about Data[M].Boston:Kluwer Academic Publishers,1991.
[3] Lin T Y,Cercone T.Rough Sets and Data Mining:Analysis for Imprecise Data[M].Boston:Kluwer Academic Publishers,1997.
[4] Orlowska E.Incomplete Information-Rough Set Analysis[M].Heidelberg:Physica-Verlag,1997.
[5] Pawlak Z.Roughlogic[J].Bulletin of the Polish Academy of Science:Technical Science,1987,35(5):253-258.
[6] Duntsh I.A logic for rough sets[J].Theoretical Computer Science,1997,179(1-2):427-436.
[7] Banerjee M,Chakraborty M K.Rough sets through algebraic logic[J].Foundamenta Informaticae,1996,28(3-4):211-221.
[8] Banerjee M.Rough sets and 3-valued Lukasiewicz logic[J].Fundamenta Informaticae,1997,31(3-4):213-220.
[9] Wang G J,Fu L,Song J S.Theory of truth degrees of propositions in two valued logic[J].Sci China Ser A-Math,2002,45(9):1106-1116.
[10] Wang G J,Leung Y.Integrated semantics and logic metric spaces[J].Fuzzy Set and Systems,2003,136(1):71-91.
[11] Zhou H J,Wang G J,Zhou W.Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic)[J].International Journal of Approximate Reasoning,2006,43(2):117-132.
[12] Wang G J,Zhou H J.Quantitative logic[J].Information Sciences,2009,179(3):226-247.
[13] Wang G J,Zhou H J.Introduction to Mathematical Logic and Resolution Principle[M].Beijing:Science Press,Oxford:Alpha Science International Limited,2009.
[14] Zhou H J,Wang G J.Borel probabilistic and quantitative logic[J].Sci China Inf Sci,2011,54(9):1843-1854.
[15] 左卫兵.基于剩余格语义的格值逻辑系统的程度化方法[J].电子学报,2017,45(8):1842-1848. ZUO W B.Graded method of lattice-valued logic system based on residuated lattice semantics[J].Acta Electronica Sinica,2017,45(8):1842-1848.(in Chinese)
[16] She Y H,He X L and Wang G J.Rough truth degrees of formulas and approximate reasoning in rough logic[J].Fundamenta Informaticae,2011,107:67-83.
[17] She Y H,He X L.Uncertainty measures for rough formulae in rough logic:an axiomatic approach[J].Computers and Mathematics with Applications,2012,63:83-93.
[18] 折延宏,贺晓丽.粗糙逻辑中公式的Borel型概率粗糙真度[J].软件学报,2014,25(5):970-983. She Y H,He X L.Borel probabilistic rough truth degree of formulae in rough logic[J].Journal of Software,2014,25(5):970-983.(in Chinese)
[19] She Y H,He X L.Uncertainty measures in rough algebra with applications to rough logic[J].International Journal of Machine Learning and Cybernetics,2014,5(5):671-681.
[20] Liu Z Z,She Y H.Uncertainty measure in rough logic:a probabilistic approach[J].Journal of Inteligent and Fuzzy Systems,2017,32:945-953.
[21] 赵彬,于鹏.多值逻辑中基于Camberra模糊距离的计量化方法[J].电子学报,2018,46(10):2305-2315. ZHAO B,YU P.A kind of quantitative method based on Camberrra fuzzy distance in multiple-valued logic[J].Acta Electronica Sinica,2018,46(10):2305-2315.(in Chinese)
2019, Vol. 47 
