# An Approximate Reasoning Method and Its Application to Fuzzy Information Systems

Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1075)

## Abstract

The present paper focus on studying the approximate reasoning models based on fuzzy information systems. Firstly, we introduce a concept of $$\lambda$$-truth degree in Lukasiewicz propositional logic by using the probability measure on the set of all valuations, which shows that all kinds of truth degree of formulas in quantitative logic can all be brought as special cases into the unified framework of the $$\lambda$$-truth degree. It is proved that the $$\lambda$$-truth degree satisfies the Kolmogorov axioms and hence the quantitative logic and the probability logic are integrated by means of $$\lambda$$-truth degree. Secondly, by using the $$\lambda$$-truth degree we define the $$\lambda$$-similarity degree and the logic $$\lambda$$-metric among two logic formulas, and prove that there exists not isolated point under some conditions and various logic operations are continuous in the logic $$\lambda$$-metric space. Thirdly, we analyze some applications of $$\lambda$$-truth degree to approximate reasoning in fuzzy information systems, propose two diverse approximate reasoning models in the logic $$\lambda$$-metric space, and give some examples to illustrate the application of approximate reasoning models.

## Keywords

$$\lambda$$-truth degree $$\lambda$$-similarity degree $$\lambda$$-logic metric Approximate reasoning Information system

## References

1. 1.
Lu, R.Q., Ying, M.S.: A model of reasoning about knowledge. Sci. China E 41, 527–534 (1998)
2. 2.
Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)
3. 3.
Wang, G.J.: Classical Mathematical Logic and Approximate Reasoning. Science Press, Beijing (2006)Google Scholar
4. 4.
Wang, G.J., Zhou, H.J.: Introduction to Mathematical Logic and Resolution Principle. Science Press, Beijing (2009)
5. 5.
Wang, G.J., Leung, Y.: Integrated semantics and logic metric spaces. Fuzzy Sets Syst. 136, 71–91 (2003)
6. 6.
Wang, G.J., Li, B.J.: Theory of truth degree of formulas in n valued propositional logic and a limit theorem. Sci. China F 8, 727–736 (2005)
7. 7.
Wang, G.J., Zhou, H.J.: Quantitative logic. Inf. Sci. 179, 226–247 (2009)
8. 8.
Hui, X.J., Wang, G.J.: Randomization of classical inference patterns and its application. Sci. China F 50, 867–877 (2007)
9. 9.
Zhou, H.J.: A probabilistically quantitative reasoning system based on n valued Lukasiewicz propositional logic. Pattern Recogn. Artif. Intell. 26(6), 521–528 (2013)Google Scholar
10. 10.
Zhang, J.L., Chen, X.G.: Theory of probability semantics of classical propositional logic and its application. Chin. J. Comput. 37(8), 1775–1785 (2014)Google Scholar
11. 11.
Zhang, J.L., Chen, X.G.: Approximate reasoning model based on probability valuation of propositional logic. Pattern Recogn. Artif. Intell. 28(9), 769–780 (2015)Google Scholar
12. 12.
Yan, S.J., Wang, S.J., Liu, X.F.: Probability Theory. Science Press, Beijing (1986)Google Scholar
13. 13.
Klement, E.P., Lowen, R., Schwyhla, W.: Fuzzy probability measures. Fuzzy Sets Syst. 1, 21–30 (1981)