Abstract
We are concerned with logical formulas induced from data sets, in particular, with decision rules. Contrary to the standard practice of many–valued logics in which formulas are semantically interpreted as their states /values of truth and logical calculi consist essentially in finding functional interpretations of logical functors, in the considered by us case, the semantic interpretation takes place in the universe of entities/objects and formulas are interpreted as their meanings, i.e., subsets of the object universe. Yet, the final evaluation of a formula should be its state of truth. In search of an adequate formal apparatus for this task, we turn to rough mereology and to the idea of intensionality vs. extensionality. Rough mereology allows for similarity measures (called rough inclusions) which in turn form a basis for the mechanism of granulation of knowledge. Granules of knowledge, defined as classes of satisfactorily similar objects, can be regarded as worlds in which properties of entities are evaluated as extensions of logical formulas. Obtained in this way granular rough mereological intensional logics reveal essential properties of rough set based reasoning.
Keywords
This article extends the contribution “Reasoning about Concepts by Rough Mereological Logics” by the authors at RSKT 2008, May 2008 at Chengdu, Sichuan, China.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alves, E.H., Guerzoni, J.A.D.: Extending Montague’s system: A three–valued intensional logic. Studia Logica 49, 127–132 (1990)
Arnold, V.: On functions of three variables. Amer. math. Soc. transl. 28, 51–54 (1963)
van Benthem, J.: A Manual of Intensional Logic. CSLI Stanford University (1988)
Carnap, R.: Necessity and Meaning. Chicago Univ. Press, Chicago (1947)
Chang, C.C.: Proof of an axiom of Łukasiewicz. Trans. Amer. Math. Soc. 87, 55–56 (1958)
Frege, G.: Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, NF 100, 25–50 (1892)
Gallin, D.: Intensional and higher–order modal logic. North Holland, Amsterdam (1975)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publ., Dordrecht (2001)
Leśniewski, S.: On the foundations of set theory. Topoi 2, 7–52 (1982)
Lin, T.Y.: From rough sets and neighborhood systems to information granulation and computing with words. In: Proceedings of the European Congress on Intelligent Techniques and Soft Computing, pp. 1602–1606. Verlag Mainz, Aachen (1997)
Ling, C.-H.: Representation of asociative functions. Publ. Math. Debrecen 12, 189–212 (1965)
Łukasiewicz, J.: Die Logischen grundlagen der Wahrscheinlichtkeitsrechnung, Cracow (1913)
Łukasiewicz, J.: Farewell lecture by professor Jan Łukasiewicz (Warsaw University Lecture Hall. March 7) (1918)
Łukasiewicz, J.: On three–valued logic. Ruh Filozoficzny 5, 170–171 (1920)
Łukasiewicz, J., Tarski, A.: Untersuchungen ueber den Aussagenkalkuels. C.R. Soc. Sci. Lettr. Varsovie 23, 39–50 (1930)
Meredith, C.A.: The dependence of an axiom of Łukasiewicz. Trans. Amer. Math. Soc. 87, 54 (1958)
Montague, R.: Formal Philosophy. In: Thomason, R. (ed.). Yale University Press, New Haven (1974)
Mostert, P.S., Shields, A.L.: On the structrure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117–143 (1957)
Pawlak, Z.: Rough sets. Intern. J. Comp. Inform. Sci. 11, 341–366 (1982)
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)
Polkowski, L.: Rough Sets. In: Mathematical Foundations. Physica Verlag, Heidelberg (2002)
Polkowski, L.: A note on 3–valued rough logic accepting decision rules. Fundamenta Informaticae 61, 37–45 (2004)
Polkowski, L.: Formal granular calculi based on rough inclusions (a feature talk). In: Hu, X., Liu, Q., Skowron, A., Lin, T.Y., Yager, R.R., Zhang, B. (eds.) Proceedings IEEE GrC 2005, pp. 57–62. IEEE Press, Piscataway (2005)
Polkowski, L.: Rough mereology in analysis of vagueness. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 197–204. Springer, Heidelberg (2008)
Polkowski, L.: A unified approach to granulation of knowledge and granular computing based on rough mereology: a survey. In: Pedrycz, W., Skowron, A., Kreinovich, V. (eds.) Handbook of Granular Computing, pp. 375–400. John Wiley and Sons Ltd., Chichester (2008)
Polkowski, L.: Granulation of Knowledge: Similarity Based Approach in Information and Decision Systems. In: Springer Encyclopedia of Complexity and System Sciences (2009)
Polkowski, L., Artiemjew, P.: On classifying mappings induced by granular structures. In: Peters, J.F., Skowron, A., Rybiński, H. (eds.) Transactions on Rough Sets IX. LNCS, vol. 5390, pp. 264–286. Springer, Heidelberg (2008)
Polkowski, L., Semeniuk-Polkowska, M.: On rough set logics based on similarity relations. Fundamenta Informaticae 64, 379–390 (2005)
Polkowski, L., Semeniuk-Polkowska, M.: A formal approach to perception calculus of Zadeh by means of rough mereological logic. In: Actes 11th International Conference on Information Processing and Management in Knowledge–Based Systems IPMU 2006, pp. 1468–1473. Univ. Marie Curie, Paris (2006)
Polkowski, L., Skowron, A.: Rough mereology. In: Raś, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS (LNAI), vol. 869, pp. 85–94. Springer, Heidelberg (1994)
Post, E.: Introduction to a general theory of elementary propositions. Amer. J. Math. 43, 163–185 (1921)
Wajsberg, M.: Beitraege zum Metaaussagenkalkuel I. Monat. Math. Phys. 42, 221–242 (1935)
Zadeh, L.A.: Fuzzy sets and information granularity. In: Gupta, M., Ragade, R., Yager, R.R. (eds.) Advances in Fuzzy Set Theory and Applications, pp. 3–18. North-Holland, Amsterdam (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Polkowski, L., Semeniuk–Polkowska, M. (2010). Granular Rough Mereological Logics with Applications to Dependencies in Information and Decision Systems. In: Peters, J.F., Skowron, A., Słowiński, R., Lingras, P., Miao, D., Tsumoto, S. (eds) Transactions on Rough Sets XII. Lecture Notes in Computer Science, vol 6190. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14467-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-14467-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14466-0
Online ISBN: 978-3-642-14467-7
eBook Packages: Computer ScienceComputer Science (R0)