Journal of Applied Mathematics

Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic

Yingcang Ma, Juanjuan Zhang, and Huan Liu

Full-text: Open access

Abstract

By means of the function induced by a logical formula A, the concept of truth degree of the logical formula A is introduced in the 3-valued pre-rough logic in this paper. Moreover, similarity degrees among formulas are proposed and a pseudometric is defined on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in 3-value logic pre-rough logic is established.

Article information

Source
J. Appl. Math., Volume 2013 (2013), Article ID 592738, 7 pages.

Dates
First available in Project Euclid: 14 March 2014

Permanent link to this document
https://projecteuclid.org/euclid.jam/1394808040

Digital Object Identifier
doi:10.1155/2013/592738

Mathematical Reviews number (MathSciNet)
MR3074309

Zentralblatt MATH identifier
1284.03168

Citation

Ma, Yingcang; Zhang, Juanjuan; Liu, Huan. Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic. J. Appl. Math. 2013 (2013), Article ID 592738, 7 pages. doi:10.1155/2013/592738. https://projecteuclid.org/euclid.jam/1394808040


Export citation

References

  • Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982.
  • Md. A. Khan and M. Banerjee, “Formal reasoning with rough sets in multiple-source approximation systems,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 466–477, 2008.
  • Y. Leung, M. M. Fischer, W.-Z. Wu, and J.-S. Mi, “A rough set approach for the discovery of classification rules in interval-valued information systems,” International Journal of Approximate Reasoning, vol. 47, no. 2, pp. 233–246, 2008.
  • A. Mieszkowicz-Rolka and L. Rolka, “Fuzzy rough approximations of process data,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 301–315, 2008.
  • Z. Xu and R. R. Yager, “Dynamic intuitionistic fuzzy multi-attribute decison making,” International Journal of Approximate Reasoning, vol. 48, no. 1, pp. 246–262, 2008.
  • Y. Yao, “Probabilistic rough set approximations,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 255–271, 2008.
  • Y. Leung, J.-M. Ma, W.-X. Zhang, and T.-J. Li, “Dependence-space-based attribute reductions in inconsistent decision information systems,” International Journal of Approximate Reasoning, vol. 49, no. 3, pp. 623–630, 2008.
  • Y. Yao, “The superiority of three-way decisions in probabilistic rough set models,” Information Sciences, vol. 181, no. 6, pp. 1080–1096, 2011.
  • Z. Pawlak, “Rough logic,” Bulletin of the Polish Academy of Sci-ences, vol. 35, no. 5-6, pp. 253–258, 1987.
  • M. Banerjee and M. K. Chakraborty, “Rough sets through alge-braic logic,” Fundamenta Informaticae, vol. 28, no. 3-4, pp. 211–221, 1996.
  • I. Düntsch, “A logic for rough sets,” Theoretical Computer Science, vol. 179, no. 1-2, pp. 427–436, 1997.
  • M. K. Chakraborty and M. Banerjee, “Rough consequence,” Polish Academy of Sciences, vol. 41, no. 4, pp. 299–304, 1993.
  • M. Banerjee, “Logic for rough truth,” Fundamenta Informaticae, vol. 71, no. 2-3, pp. 139–151, 2006.
  • M. Banerjee and Md. A. Khan, “Propositional logics from rough set theory,” in Transactions on Rough Sets. VI, vol. 4374 of Lecture Notes in Computer Science, pp. 1–25, Springer, Berlin, Germany, 2007.
  • E. Orłowska, “Kripke semantics for knowledge representation logics,” Studia Logica, vol. 49, no. 2, pp. 255–272, 1990.
  • D. Vakarelov, “A modal logic for similarity relations in Pawlak knowledge representation systems,” Fundamenta Informaticae, vol. 15, no. 1, pp. 61–79, 1991.
  • X.-H. Zhang and F. Zhu, “Rough logic system RSL and fuzzy logic system Luk,” Journal of the University of Electronic Science and Technology of China, vol. 40, no. 2, pp. 296–302, 2011.
  • G. Wang and H. Zhou, “Quantitative logic,” Information Sciences, vol. 179, no. 3, pp. 226–247, 2009.
  • G. Wang, L. Fu, and J. Song, “Theory of truth degrees of pro-positions in two-valued logic,” Science in China A, vol. 45, no. 9, pp. 1106–1116, 2002.
  • J. Li and G. Wang, “Theory of truth degrees of propositions in the logic system ${\text{L}}_{n}^{\ast\,\!}$,” Science in China F, vol. 49, no. 4, pp. 471–483, 2006.
  • X. J. Hui, “Generalization of the fundamental theorem of pro-bability logic in multi-valued propositional logic,” Acta Mathematicae Applicatae Sinica, vol. 34, no. 2, pp. 217–228, 2011.
  • X. J. Hui, “Randomized divergence degree of the theories in the ${R}_{0}$ 3-valued propositional logic system,” Acta Mathematicae Applicatae Sinica, vol. 33, no. 1, pp. 142–149, 2010.
  • G. J. Wang and H. X. Shi, “Quantitative research of generalized tautologies in $n$-valued propositional logic ${\text{L}}_{n}^{\ast\,\!}$,” Journal of Shaanxi Normal University, vol. 37, no. 2, pp. 1–5, 2009.
  • Y. She, X. He, and G. Wang, “Rough truth degrees of formulas and approximate reasoning in rough logic,” Fundamenta Informaticae, vol. 107, no. 1, pp. 67–83, 2011.