Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logic for approximate reasoning
Journal of Symbolic Logic
Automated theorem proving in software engineering
Automated theorem proving in software engineering
Integrated semantics and logic metric spaces
Fuzzy Sets and Systems - Logic and algebra
Information Sciences: an International Journal
Hi-index | 0.00 |
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.