About this Journal Submit a Manuscript Table of Contents
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 592738, 7 pages
http://dx.doi.org/10.1155/2013/592738
Research Article

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

School of Science, Xi’an Polytechnic University, Xi’an 710048, China

Received 5 January 2013; Accepted 6 June 2013

Academic Editor: Francisco Chiclana

Copyright © 2013 Yingcang Ma et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

By means of the function induced by a logical formula , the concept of truth degree of the logical formula 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.

1. Introduction

Rough set theory was proposed by Pawlak [1] in the 1980s of the last century to serve as an approximate description of sets which are unknown and incompletely specified. Its applications [28] have been found in fields such as data mining, learning, and approximate reasoning. Theoretical work [914] has included investigations of the logical, category-theoretic, topological, and algebraic aspects of rough sets.

It is undoubtedly that set theory and logic systems are strongly coupled in the development of modern logic. Scholars have been trying to build rough logic corresponding to rough set semantics since the birth of rough set theory. The notion of rough logic was initially proposed by Pawlak [9], and this work was followed by Orłowska and Vakarelov in a sequence of papers [15, 16]. In [10], a formal logic system PRL corresponding to pre-rough algebra was proposed. In [17], Zhang and Zhu proposed a rough logic system RSL whose schematic is rough sets and extensional regular double Stone algebras.

The symbolic and formalism are characteristics in traditional mathematical logic, and the form reasoning of logic was studied mainly through the strict argument. But numerical computation aims to solve various computing problems by means of some mathematical methods and pays close attention to problem solving as well as to error estimation. Hence, mathematical logic and numerical computation are two branches of mathematics miles apart, and it seems that contact between them will not be built.

However, the contact of mathematical logic and numerical calculation is proposed by Wang and Zhou and how put numerical computation into mathematical logic is made a detailed study in his article that Quantitative Logic [18]. The theory of truth degrees of propositions in 2-valued propositional logic was proposed in [19]. In the following, the theory of truth degrees of Lukasiewicz system and other fuzzy logical systems is studied [2023].

The basic idea of quantitative logic is to provide a graded approach to propositional logic. For example, is an atomic formula in 2-valued logic; that is, can choose two values, true and false. That is, has two valuations true and false, the valuation’s sum is , and the number of the valuations which is true is , and then the ratio can describe the degree in which the atom formula is true in all valuations. We can describe each formula like this. For example, is four kinds of valuations, and the number of the valuations which is true is , so the ratio can describe the degree in which the formula is true in all valuations. For many-valued logic, we can like this use the ratio to describe the degree of a proposition which is true in all valuations, and we call the ratio the truth degree of a formula.

In the present paper, according to the method mentioned previously, we introduce a definition of truth degrees on 3-valued propositional pre-rough logic. We also study the theory of truth degree and approximate reasoning theory in 3-valued pre-rough logic deeply.

The paper is organized as follows. After this introduction, in Section 2 we will introduce the basic content of pre-rough algebra and pre-rough logic in [10]. In Section 3, the theory of truth degree in 3-valued propositional pre-rough logic is built. In Section 4, the similarity degree and pseudodistance between two formulas are defined, and the continuity of operators based on pseudometrics is proven. In Section 5, a type of metric approximate reasoning theory in pre-rough logic based on the proposed pseudometrics is established. The final section offers the conclusion.

2. Pre-Rough Algebra and Pre-Rough Logic

Rough set theory begins with information systems (or information tables) and as an abstraction that are proposed. In general, approximation space is a pair , where is a nonempty set (the domain of discourse) and is an equivalence relation on .

Let be an approximation space; if , the lower approximation of is the union of equivalence classes contained in , while its upper approximation is the union of equivalence classes intersecting ; that is, where denotes the equivalence class.

Then we call rough lower (upper) approximation of . A rough set is termed definable in if and only if .

Definition 1 (see [10]). A structure is a pre-rough algebra if and only if(1) is a bounded distributive lattice with least element and largest element ,(2), (3), (4), (5), (6), (7), (8), (9), (10), (11) imply ,(12).

Example 2. Let , where is the usual order on real numbers and and are maximum and minimum, respectively. , , , , and . Then it is a pre-rough algebra and is the smallest nontrivial pre-rough algebra.

The language of pre-rough logic consists of atomic formula , logical symbols , and , and parentheses.

The formula set of pre-rough logic is generated by the following three rules in finite times:(i)if is an atomic formula, then is a formula;(ii)if and are formulas, then , and are formulas.

The set of all formulas in pre-rough logic is denoted by . Further connectives are defined as follows, for any wffs of pre-rough logic:

Definition 3 (see [10]). The axioms of pre-rough logic consist of the formulas of the following form:(1), (2), (3), (4), (5), (6), (7), (8), (9), (10), (11), (12), (13), (14).
Rules of inference are as follows(1) rule: ,(2) rule: ,(3), (4), (5), (6), (7), (8), (9).

Definition 4 (see [10]). A valuation in pre-rough logic is a map from the set of rough formulas to any pre-rough algebra satisfying, for all , That is, is type homomorphism.

Remark 5. With being defined by , is also type homomorphism. That is, , and .

Remark 6. From [10], pre-rough logic is sound and complete relative to the class of all pre-rough algebras. That is, for all if and only if , where is a theory in pre-rough logic, means that is a -conclusion (i.e., can be deduced from within finite steps by using reasoning rules of pre-rough logic), and means that entails (i.e., is satisfied by ).

3. The Theory of Truth Degree

Definition 7. Let and define logical operations on as follows: for all , and . Then is an algebra of type , which is called 3-valued pre-rough logic system, denoted by .
A valuation of is a homomorphism of type , and is the valuation of with respect to . The set consisting of all valuations of is denoted by .

Suppose that logic formula contains atomic formulas in , and then can induce a 3-value function , where is making composed together by operators , and , which is similar to the formula that makes composed together by connective , and . For example, a formula can induce the function , where , and can be any value in . In this way, for each , so for each formula , we can induce a function according to , which is called the induced function of . From the definition of tautology, we can get that if is a tautology if and only if its induced function holds for all .

Definition 8. let contain atomic formulas in 3-valued pre-rough logic system and let be the induced function of , and then which is the truth degree of is defined as where is the number of valuations satisfying .
Define as the upper (lower) truth degree of , denoted by .

Remark 9. The definition of truth degree in the paper is given by considering the proportion of the valuation satisfying with respect to all valuations for formula , but in [24], the truth degree of formula is not only has correlation with the valuation satisfying , but also has correlation with the valuation satisfying , so the truth degree’s definition in [24] is obtained by considering the proportion of all valuations of formula . We know that in fuzzy reasoning, for convenience and utility, logical OR operator usually uses max operator and logical AND operator usually uses min operator, and like this, the definition in this paper is more simple and more easy to compute; moreover, in the following we can see that many properties hold on this definition.

Remark 10. (i) Let , and for all , we have if and only if , with solving
(ii) In the same way we can get the following:

Remark 11. It is clear that holds for every . Moreover, logically equivalent formulas have the same truth degree.

Proposition 12. Let be (upper, lower) truth degree. Then,, if and only if is a theorem in pre-rough logic, if and only if is a theorem in pre-rough logic, if and only if is a theorem in pre-rough logic,, if , then , if , then , if , then , and ,,,.

Theorem 13 (truth degree of rules). Let .(i)If , , then .(ii)If , , then .(iii)If , then .

Proof. (i) , and then .
, and then .
Let .
Because .
So we should prove , with . In order to make hold, then should hold. That means, , , and should hold. So it must be and .
So, if , then and ; from the above analysis we have ; that is, .
With being in pre-rough logic, so we have ; hence , and we get , so holds.
(ii) , and then .
, and then .
Let .
Because .
So we should move , with , in order to make hold, then and should hold. By definition to get and , , , , being, .
So , and .
Hence, .
We have .
So .
(iii) From (6), we have , and , and then holds obviously.

Corollary 14. Let .(i)If , , then .(ii)If , , then .(iii)If , , then .

Theorem 15 (truth degree of rules). Let .(i)If , , then .(ii)If , , then .(iii)If , , then .

Proof. (i) , so .
, so .
.
Let , , and .
Let , , , (), ; ; ; ; ; , and then , , . So we should prove , with .
We first prove .
Let , then , (), from the structure of , we prove in the following two cases.
Case  1. Let , and then we can get , with , so , that is to say, ; with , , that is, . Hence .
Case  2. Let , in this case we prove in the following two cases.(1)If , with , so , that is, ; with , , that is, . Hence .(2)If , with , so , that is, ; with , . Hence .
So we have .
With and , we can get
That is, .
So , and hence holds.
(ii) From the definition, with , so holds obviously.
(iii) From the definition, with , , , so holds obviously.

Corollary 16. Let . If , , then .

4. Similarity Degree and a Pseudometric among Formulas

Definition 17. Suppose that . Let Then one calls the (upper, lower) similarity degree between and .

Example 18. Let , , where are different atomic formulas, and calculate , , .

Solution 1. Consider
With , so . Consider
With , so .
Similarly, we can obtain .

Proposition 19. Suppose that , and then, , if and only if , if and only if , if and only if , ,, , if and only if , if and only if , , , .

Proof. The proof of (i), (ii), and (v) is obvious; we only give the proof of (iii) and (iv).
(iii) In general, assume that , , and have the same atomic formulas .
Let , , and .
Then .
And with , we have ; that is,
Hence, .
The proof of the other inequalities can be obtained in a similar way.
(iv) From (9), we can get , for all , for all or , for all , for all ,.
In the same way, we can get if and only if .

Definition 20. Suppose that , and and are said to be similar if .

Definition 20 gives a similarity relation in , and we can easily get the following corollary from Proposition 19.

Corollary 21. The similarity relation among formulas is an equivalent relation.

Proposition 22. Suppose that and , and then

Proof. Let , which is a tautology in 3-valued pre-rough logic and hence . Moreover, , and hence it follows from Theorem 13(i) that . Similarly . It follows that . On the other hand, it can be proved from that . From Proposition 19(iii) holds.

Definition 23. Define three nonnegative functions as follows: for all , Then is called the pseudometrics on the set of rough formulas in pre-rough logic.

Proposition 24 is obviously and which can state are indeed the pseudometrics on the set of rough formulas in pre-rough logic.

Proposition 24. Let , , and be the three nonnegative functions defined in the above definition, and then for all

Theorem 25. The operators , , and are continuous on .

Proof. Suppose that , , and , and then . Hence is continuous.
Similarly, suppose that , , and , then . Hence is continuous.
Suppose that and , , and then , Being , So . Hence and is continuous.

Remark 26. Since are abbreviations of operators , so these operators are also continuous on .

5. Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic

Definition 27. Let , for all , , if , . Then we call an approximate rough (upper, lower) consequence of with I-type error less than , respectively. Denoted by , , and each other.

Definition 28. Let , for all , , if , , . Then we call an approximate rough (upper, lower) consequence of with II-type error less than , respectively. Denoted by , , and each other.

Definition 29. Let , for all , if , , . Then we call an approximate rough (upper, lower) consequence of with III-type error less than , respectively. Denoted by , , and each other, and is Hausdorff distance.
Where is a metric space, and are nonempty subsets on .

Let ; , ; ,, ,,.

Theorem 30. Let , for all , , and then(i) if and only if ,(ii) if and only if ,(iii) if and only if .

Proof. (i) Let , and then we can get , for , so .
Let , and then we can get , namely .
For , hence , so .
In conclusion, if and only if is established.

The proof of (ii) and (iii) can be in a similar way as that of (i).

Theorem 31. Let , for all , , and then(i)if , then ;(ii)if , then ;(iii)if , then .

Proof. (i) Let , and we can get , so there exists makes and hold. At the same time , .
Hence we can get .

The proof of (ii) and (iii) can be in a similar way as that of (i).

6. Conclusion

Through the basic method of quantitative logic, the theory of truth degree in 3-valued pre-rough logic is studied in this paper. Moreover, similarity degrees among formulas are proposed and a pseudometric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in 3-valued pre-rough logic is established.

It is worthy to notice that the results obtained in the present paper are based on the assumption that the probabilities involved are evenly distributed, while it may happen in real life that some propositions are considered more important than others and hence should be endowed with higher probabilities. Therefore, how to combine the method of probability logic is an attractive research topic, and we can find paper [21, 22] have give a possible way combine fuzzy logic and probability logic.

Acknowledgments

This work is supported by the Scientific Research Program Funded by Shaanxi Provincial Education Department (Program no. 12JK0878) and Doctor Scientific Research Foundation Program of Xi’an Polytechnic University.

References

  1. Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. 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. View at Publisher · View at Google Scholar · View at MathSciNet
  6. Y. Yao, “Probabilistic rough set approximations,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 255–271, 2008. View at Publisher · View at Google Scholar · View at Scopus
  7. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. Y. Yao, “The superiority of three-way decisions in probabilistic rough set models,” Information Sciences, vol. 181, no. 6, pp. 1080–1096, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. Z. Pawlak, “Rough logic,” Bulletin of the Polish Academy of Sciences, vol. 35, no. 5-6, pp. 253–258, 1987. View at Zentralblatt MATH · View at MathSciNet
  10. M. Banerjee and M. K. Chakraborty, “Rough sets through algebraic logic,” Fundamenta Informaticae, vol. 28, no. 3-4, pp. 211–221, 1996. View at Zentralblatt MATH · View at MathSciNet
  11. I. Düntsch, “A logic for rough sets,” Theoretical Computer Science, vol. 179, no. 1-2, pp. 427–436, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. M. K. Chakraborty and M. Banerjee, “Rough consequence,” Polish Academy of Sciences, vol. 41, no. 4, pp. 299–304, 1993. View at Zentralblatt MATH · View at MathSciNet
  13. M. Banerjee, “Logic for rough truth,” Fundamenta Informaticae, vol. 71, no. 2-3, pp. 139–151, 2006. View at Zentralblatt MATH · View at MathSciNet
  14. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. E. Orłowska, “Kripke semantics for knowledge representation logics,” Studia Logica, vol. 49, no. 2, pp. 255–272, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. D. Vakarelov, “A modal logic for similarity relations in Pawlak knowledge representation systems,” Fundamenta Informaticae, vol. 15, no. 1, pp. 61–79, 1991. View at Zentralblatt MATH · View at MathSciNet
  17. 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. View at Publisher · View at Google Scholar · View at Scopus
  18. G. Wang and H. Zhou, “Quantitative logic,” Information Sciences, vol. 179, no. 3, pp. 226–247, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. G. Wang, L. Fu, and J. Song, “Theory of truth degrees of propositions in two-valued logic,” Science in China A, vol. 45, no. 9, pp. 1106–1116, 2002. View at Zentralblatt MATH · View at MathSciNet
  20. J. Li and G. Wang, “Theory of truth degrees of propositions in the logic system Ln*,” Science in China F, vol. 49, no. 4, pp. 471–483, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. X. J. Hui, “Generalization of the fundamental theorem of probability logic in multi-valued propositional logic,” Acta Mathematicae Applicatae Sinica, vol. 34, no. 2, pp. 217–228, 2011. View at Zentralblatt MATH · View at MathSciNet
  22. X. J. Hui, “Randomized divergence degree of the theories in the R0 3-valued propositional logic system,” Acta Mathematicae Applicatae Sinica, vol. 33, no. 1, pp. 142–149, 2010. View at MathSciNet
  23. G. J. Wang and H. X. Shi, “Quantitative research of generalized tautologies in n-valued propositional logic Ln*,” Journal of Shaanxi Normal University, vol. 37, no. 2, pp. 1–5, 2009. View at MathSciNet
  24. 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. View at Zentralblatt MATH · View at MathSciNet