Approximation reasoning models based on random variables sequence

In this paper, we introduce the concept of random truth degree of an abstract proposition, which is a common generalization of various concepts of truth degree existing in literature, and prove that the set of random truth degree of all propositions has no isolated points in the real unit interval I = [0, 1]. We define random resemblance degree and random logic pseudo-metric among two propositions by means of random truth degrees, and prove that the random logic pseudo-metric space has no isolated points. By virtue of integral convergence theorem in probability theory we give a limit theorem of random truth degrees, which shows the connection of various truth degrees existing in literature. As an application we propose two diverse approximate reasoning models in random logic pseudo-metric space.

[1]  Guojun Wang,et al.  Quantitative logic , 2009, Inf. Sci..

[2]  Humberto Bustince,et al.  Indicator of inclusion grade for interval-valued fuzzy sets. Application to approximate reasoning based on interval-valued fuzzy sets , 2000, Int. J. Approx. Reason..

[3]  Bijan Davvaz,et al.  Approximations in Hyperrings , 2009, J. Multiple Valued Log. Soft Comput..

[4]  Yee Leung,et al.  Integrated semantics and logic metric spaces , 2003, Fuzzy Sets Syst..

[5]  Mingsheng Ying,et al.  A logic for approximate reasoning , 1994, Journal of Symbolic Logic.

[6]  Hui Xiao-jing.  Generalization of Fundamental Theorem of Probability Logic , 2007 .

[7]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[8]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[9]  Shiji Song,et al.  TRIPLE I METHOD OF FUZZY REASONING , 2002 .

[10]  Ernest W. Adams,et al.  A primer of probability logic , 1996 .

[11]  Wang Guo-jun,et al.  Randomization of classical inference patterns and its application , 2007 .

[12]  Ruqian Lu,et al.  A model of reasoning about knowledge , 1998 .

[13]  Guojun Wang,et al.  Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem , 2005, Science in China Series F: Information Sciences.

[14]  Johann Schumann,et al.  Automated Theorem Proving in Software Engineering , 2001, Springer Berlin Heidelberg.

[15]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[16]  Wang Guo-jun.  A universal theory of measure and integral on valuation spaces with respect to diverse implication operators , 2000 .