模式识别与人工智能
Friday, May. 2, 2025 Home      About Journal      Editorial Board      Instructions      Ethics Statement      Contact Us                   中文
  2013, Vol. 26 Issue (3): 231-241    DOI:
Orignal Article Current Issue| Next Issue| Archive| Adv Search |
Random Truth Theory of Proposition Logic and Its Application
LIU Xiao-Ling1,ZHANG Jia-Lu2
1. Department of Computer Science,Xiangnan University,Chenzhou 423000
2.Department of Mathematics,Xiangnan University,Chenzhou 423000

Download: PDF (433 KB)   HTML (0 KB) 
Export: BibTeX | EndNote (RIS)      
Abstract  In this paper,the concept of random truth degree of proposition formulas based on a random variable sequence is introduced,which is a common generalization of various concepts of truth degree existing in references,and the set of random truth degree of all logic formulas is proved to have no isolated point in [0,1]. The random similarity degree and random pseudo-metric space between two logic formulas are defined by means of random truth degrees,and the random logic pseudo-metric space is proved to have no isolated point. The random truth degree of proposition logic is a generation of various truth degree of proposition logic. Using convergence theorem of integration in probability,a limit theorem of truth degrees is given,which shows the connection of various truth degrees. Various logic operations are continuous in random logic pseudo-metric space,and the fundamental theorem of probability logic is extended to the multi-valued proposition logic. Two diverse approximate reasoning ways are proposed in random logic pseudo-metric space.
Key wordsProposition Logic      Random Truth Degree      Random Similarity Degree      Random Logic Pseudo-Metric Space      Approximate Reasoning     
Received: 12 March 2011     
ZTFLH: TP181  
  O142  
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
LIU Xiao-Ling
ZHANG Jia-Lu
Cite this article:   
LIU Xiao-Ling,ZHANG Jia-Lu. Random Truth Theory of Proposition Logic and Its Application[J]. , 2013, 26(3): 231-241.
URL:  
http://manu46.magtech.com.cn/Jweb_prai/EN/      OR     http://manu46.magtech.com.cn/Jweb_prai/EN/Y2013/V26/I3/231
Copyright © 2010 Editorial Office of Pattern Recognition and Artificial Intelligence
Address: No.350 Shushanhu Road, Hefei, Anhui Province, P.R. China Tel: 0551-65591176 Fax:0551-65591176 Email: bjb@iim.ac.cn
Supported by Beijing Magtech  Email:support@magtech.com.cn