A Brief Introduction to Probabilistically Quantitative Logic with Its Applications
Hong-Jun Zhou
DOI: https://doi.org/10.1007/978-3-319-46206-6_5
2017-01-01
Abstract:Uncertainty is a fundamental and unavoidable feature of our real life, which has many distinct representation forms such as randomness, fuzziness, ambiguity, inaccuracy, incompleteness and roughness. Accordingly, many different mathematical models for dealing with these uncertainties, like probability, fuzzy set theory, Dempster-Shafer theory of evidence and rough set theory, have been introduced and also applied with great success in many fields. In order to construct uncertainty models with more powerful abilities of linguistic expression and logical inference, researchers have been devoting to intersections of different branches of mathematics of uncertainty, among which the resulting interdiscipline by combining probability and many-valued propositional logics is called probabilistically quantitative logic. This paper presents a brief introduction to probabilistically quantitative logic from four viewpoints of its research approaches and applications. Main contents include probabilistic truth degrees of propositions, logic systems for reasoning about probabilities of many-valued events, generalized state theory on residuated lattices, consistency degrees of formal theories, characterizations of maximally consistent theories, Stone representations of R-0-algebras, and generalized state based similarity convergence in residuated lattices with its Cauchy completion.