Abstract
This paper is a survey of the connections between three-valued logics and rough sets from the point of view of incomplete information management. Based on the fact that many three-valued logics can be put under a unique algebraic umbrella, we show how to translate three-valued conjunctions and implications into operations on ill-known sets such as rough sets. We then show that while such translations may provide mathematically elegant algebraic settings for rough sets, the interpretability of these connectives in terms of an original set approximated via an equivalence relation is very limited, thus casting doubts on the practical relevance of truth-functional logical renderings of rough sets.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Adams, E.: The Logic of Conditionals. D. Reidel, Dordrecht (1975)
Asenjo, F.G., Tamburino, J.: Logic of antinomies. Notre Dame Journal of Formal Logic 16, 17–44 (1975)
Atanassov, K.: Intuitionistic Fuzzy Sets. Physica-Verlag, Heidelberg (1999)
Avron, A.: On an implication connective of RM. Notre Dame Journal of Formal Logic 27, 201–209 (1986)
Avron, A.: Natural 3-valued logics - characterization and proof theory. J. Symb. Log. 56(1), 276–294 (1991)
Avron, A., Konikowska, B.: Rough sets and 3–valued logics. Studia Logica 90, 69–92 (2008)
Baets, B.D., Fodor, J.C.: Residual operators of uninorms. Soft Computing 3, 89–100 (1999)
Balbiani, P., Vakarelov, D.: A modal logic for indiscernibility and complementarity in information systems. Fundam. Inform. 50(3-4), 243–263 (2002)
Banerjee, M.: Rough sets and 3-valued Lukasiewicz logic. Fundamenta Informaticae 31(3/4), 213–220 (1997)
Banerjee, M., Chakraborty, K.: Algebras from rough sets. In: Pal, S., Skowron, A., Polkowski, L. (eds.) Rough-Neural Computing, pp. 157–188. Springer (2004)
Banerjee, M., Chakraborty, M.: Rough sets through algebraic logic. Fundamenta Informaticae 28, 211–221 (1996)
Banerjee, M., Dubois, D.: A simple modal logic for reasoning about revealed beliefs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 805–816. Springer, Heidelberg (2009)
Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. International Journal of Approximate Reasoning 55, 639–653 (2014)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel (1977)
Bochvar, D.A.: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic 2, 87–112 (1981)
Bonikowski, Z.: A certain conception of the calculus of rough sets. Notre Dame Journal of Formal Logic 33(3), 412–421 (1992)
Borowski, L. (ed.): Selected works of J. Łukasiewicz. North-Holland, Amsterdam (1970)
Cattaneo, G., Ciucci, D.: Algebraic structures for rough sets. In: Peters, J.F., Skowron, A., Dubois, D., Grzymała-Busse, J.W., Inuiguchi, M., Polkowski, L. (eds.) Transactions on Rough Sets II. LNCS, vol. 3135, pp. 208–252. Springer, Heidelberg (2004)
Cattaneo, G., Ciucci, D., Dubois, D.: Algebraic models of deviant modal operators based on de Morgan and Kleene lattices. Inf. Sci. 181(19), 4075–4100 (2011)
Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1988)
Ciucci, D.: Orthopairs: A Simple and Widely Used Way to Model Uncertainty. Fundam. Inform. 108(3-4), 287–304 (2011)
Ciucci, D., Dubois, D.: Truth-Functionality, Rough Sets and Three-Valued Logics. In: Proceedings ISMVL, pp. 98–103 (2010)
Ciucci, D., Dubois, D.: Relationships between connectives in three-valued logics. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds.) IPMU 2012, Part I. CCIS, vol. 297, pp. 633–642. Springer, Heidelberg (2012)
Ciucci, D., Dubois, D.: Three-valued logics for incomplete information and epistemic logic. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 147–159. Springer, Heidelberg (2012)
Ciucci, D., Dubois, D.: A map of dependencies among three-valued logics. Information Sciences 250, 162–177 (2013), Corrigendum: Information Sciences 256, 234-235 (2014)
Ciucci, D., Dubois, D.: A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Journal of Applied Non-Classical Logics 23, 321–352 (2013)
Codd, E.F.: Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4(4), 397–434 (1979)
Couso, I., Dubois, D.: Rough sets, coverings and incomplete information. Fundamenta Informaticae 108(3-4), 223–247 (2011)
De Baets, B., Fodor, J.C., Ruiz-Aguilera, D., Torrens, J.: Idempotent uninorms on finite ordinal scales. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1–14 (2009)
Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. The Annals of Statistics 28, 325–339 (1967)
Deschrijver, G., Kerre, E.E.: On the relationship between some extensions of fuzzy set theory. Fuzzy Sets and Systems 133(2), 227–235 (2003)
D’Ottaviano, I.M.L., da Costa, N.C.A.: Sur un problème de Jaśkowski. Comptes Rendus de l’Académie des Sciences 270, 1349–1353 (1970)
Dubois, D.: Degrees of truth, ill-known sets and contradiction. In: Bouchon-Meunier, B., Magdalena, L., Ojeda-Aciego, M., Verdegay, J.-L., Yager, R.R. (eds.) Foundations of Reasoning under Uncertainty. STUDFUZZ, vol. 249, pp. 65–83. Springer, Heidelberg (2010)
Dubois, D., Gottwald, S., Hájek, P., Kacprzyk, J., Prade, H.: Terminological difficulties in fuzzy set theory - the case of intuitionistic fuzzy sets. Fuzzy Sets and Systems 156(3), 485–491 (2005)
Dubois, D., Prade, H.: Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations. Control and Cybernetics 13(3), 129–146 (1984)
Dubois, D., Prade, H.: A theorem on implication functions defined from triangular norms. Stochastica VIII, 267–279 (1984)
Dubois, D., Prade, H.: Twofold fuzzy sets and rough sets –some issues in knowledge representation. Fuzzy Sets and Systems 23, 3–18 (1987)
Dubois, D., Prade, H.: Conditional Objects as Nonmonotonic Consequence Relationships. IEEE Transactions on Systems, Man, and Cybernetics 24(12), 1724–1740 (1994)
Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Ann. Math. and AI 32, 35–66 (2001)
Dubois, D., Prade, H.: Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets. Fuzzy Sets and Systems 192, 3–24 (2012)
Düntsch, I.: A logic for rough sets. Theoretical Computer Science 179, 427–436 (1997)
Fariñas del Cerro, L., Orlowska, E.: Dal - a logic for data analysis. Theor. Comput. Sci. 36, 251–264 (1985)
Fitting, M.: A Kripke-Kleene semantics for logic programs. J. Log. Program. 2(4), 295–312 (1985)
Gaines, B.R.: Foundations of fuzzy reasoning. Int. J. of Man-Machine Studies 6, 623–668 (1976)
Gehrke, M., Walker, E.: On the structure of Rough Sets. Bulletin Polish Academy of Science (Mathematics) 40, 235–245 (1992)
Gentilhomme, M.Y.: Les ensembles flous en linguistique. Cahiers de Linguistique Théorique et Appliquée, Bucarest 47, 47–65 (1968)
Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien 69, 65–66 (1932)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Iturrioz, L.: Rough sets and three valued structures. In: Orlowska, E. (ed.) Logic at work, pp. 596–603. Springer (1999)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–160 (1969)
Khan, M.A., Banerjee, M.: A logic for complete information systems. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 829–840. Springer, Heidelberg (2009)
Kleene, S.C.: Introduction to Metamathematics. North–Holland Pub. Co., Amsterdam (1952)
Lawry, J., González Rodríguez, I.: A bipolar model of assertability and belief. Int. J. Approx. Reasoning 52(1), 76–91 (2011)
Mas, M., Mayor, G., Torrens, J.: t-Operators and Uninorms on a Finite Totally Ordered Set. International Journal of Intelligent Systems 14, 909–922 (1999)
Nelson, D.: Constructible Falsity. J. of Symbolic Logic 14, 16–26 (1949)
Orlowska, E.: A logic of indiscernibility relations. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 177–186. Springer, Heidelberg (1985)
Orlowska, E., Pawlak, Z.: Representation of nondeterministic information. Theor. Comput. Sci. 29, 27–39 (1984)
Pagliani, P.: Rough Sets and Nelson Algebras. Fundamenta Informaticae 27(2,3), 205–219 (1996)
Pagliani, P.: Rough set theory and logic–algebraic structures. In: Incomplete Information: Rough Set Analysis, pp. 109–190. Physica–Verlag, Heidelberg (1998)
Pawlak, Z.: Rough sets and fuzzy sets. Fuzzy Sets and Systems 17, 99–102 (1985)
Pawlak, Z., Skowron, A.: Rudiments of rough sets. Information Sciences 177, 3–27 (2007)
Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47, 3–41 (2006)
Priest, G.: The logic of paradox. The Journal of Philosophical Logic 8, 219–241 (1979)
Sen, J., Chakraborty, M.: A study of interconnections between rough and 3-valued Lukasiewicz logics. Fundam. Inform. 51, 311–324 (2002)
Sette, A.M.: On propositional calculus P_1. Math. Japon. 16, 173–180 (1973)
Shapiro, S.: Vagueness in Context. Oxford University Press (2006)
Smith, K.C.: The prospects for multivalued logic: A technology and applications view. IEEE Trans. Computers 30(9), 619–634 (1981)
Sobociński, B.: Axiomatization of a partial system of three-value calculus of propositions. J. of Computing Systems 1, 23–55 (1952)
Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Fundam. Inform. 15(1), 61–79 (1991)
Vakarelov, D.: Modal logics for knowledge representation systems. Theor. Comput. Sci. 90(2), 433–456 (1991)
Walker, E.A.: Stone algebras, conditional events, and three valued logic. IEEE Transactions on Systems, Man, and Cybernetics 24(12), 1699–1707 (1994)
Yao, Y.: Interval sets and interval-set algebras. In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, pp. 307–314 (2009)
Yao, Y.Y.: Interval-set algebra for qualitative knowledge representation. In: Abou-Rabia, O., Chang, C.K., Koczkodaj, W.W. (eds.) ICCI, pp. 370–374. IEEE Computer Society (1993)
Yao, Y.: Semantics of fuzzy sets in rough set theory. In: Peters, J.F., Skowron, A., Dubois, D., Grzymała-Busse, J.W., Inuiguchi, M., Polkowski, L. (eds.) Transactions on Rough Sets II. LNCS, vol. 3135, pp. 297–318. Springer, Heidelberg (2004)
Yao, Y., Lin, T.: Generalization of rough sets using modal logic. Automation and Soft Computing 2(2), 103–120 (1996)
Yao, Y., Wang, S., Lin, T.: A review of rough set models. In: Polkowski, L., Skowron, A. (eds.) Rough Sets and Data Mining: Analysis for Imprecise Data, pp. 47–75. Kluwer Academic Publishers (1997)
Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning — part I. Information Sciences 8, 199–251 (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ciucci, D., Dubois, D. (2014). Three-Valued Logics, Uncertainty Management and Rough Sets. In: Peters, J.F., Skowron, A. (eds) Transactions on Rough Sets XVII. Lecture Notes in Computer Science, vol 8375. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54756-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-54756-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54755-3
Online ISBN: 978-3-642-54756-0
eBook Packages: Computer ScienceComputer Science (R0)