基于泛逻辑学的逻辑关系柔性化研究-软件学报.pdfVIP

1000-9825/2005/16(05)0754 ©2005 Journal of Software Vol.16, No.5 ∗ 1,2+ 1 , 1( , 710072) 2( , 100037) Research on Flexibility of Logic Relation Based on Universal Logics WANG Wan-Sen1,2+, HE Hua-Can1 1(College of Computer Science and Engineering, Northwestern Polytechnical University, Xi’an 710072, China) 2(College of Information Engineering, Capital Normal University, Beijing 100037, China) + Corresponding author: Phn: +86-10 E-mail: wangws@, Received 2004-07-20; Accepted 2004-12-03 Wang WS, He HC. Research on flexibility of logic relation based on universal logics. Journal of Software, 2005,16(5):754−760. DOI: 10.1360/jos160754 Abstract : The need to solve complicated problems in the real world is the direct driving force for the quest of flexible logic system, which is the future of current development of logics. The theory of universal logic is a new flexible logic system, developed by He Hua-Can during his exploration of the flexibility of logic. This paper discusses the flexibility of probability logic based on the ideas and methods in the implementation of flexible logic. Theoretically, probability logic is a special example of the universal logics. So it is possible to build flexible probability logic in the framework of universal logics. Key words: universal logics; probability logic; flexibility : ,,. . ,.,, . : ;; : TP18 : A ,,, “ ”,“ ”“” ,,()()() ∗ Supported by the National Natural Science Foundation of China under Grant No (); the Natural Science Foundation of Beijing of China under Grant No.4032009 () : (1953 ),,,,,,,,, ;(1938 ),,,,,,,. : 755 [1] .