Advertisement

Lattices with Interior and Closure Operators and Abstract Approximation Spaces

  • Gianpiero Cattaneo
  • Davide Ciucci
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5656)

Abstract

The non–equational notion of abstract approximation space for roughness theory is introduced, and its relationship with the equational definition of lattice with Tarski interior and closure operations is studied. Their categorical isomorphism is proved, and the role of the Tarski interior and closure with an algebraic semantic of a S4–like model of modal logic is widely investigated.

A hierarchy of three particular models of this approach to roughness based on a concrete universe is described, listed from the stronger model to the weaker one: (1) the partition spaces, (2) the topological spaces by open basis, and (3) the covering spaces.

Keywords

Modal Logic Boolean Algebra Closure Operator Approximation Space Kripke Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bialynicki-Birula, A.: Remarks on quasi–Boolean algebras. Bull. Acad. Pol. Sci. Cl III 5, 615–619 (1957)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Bialynicki-Birula, A., Rasiowa, H.: On the representation of quasi–Boolean algebras. Bull. Acad. Pol. Sci. Cl III 5, 259–261 (1957)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Birkhoff, G.: Lattice theory, 3rd edn. American Mathematical Society Colloquium Publication, vol. XXV. American Mathematical Society, Providence (1967); (first edition 1940, second (revisited) edition (1948)Google Scholar
  4. 4.
    Cattaneo, G.: Generalized rough sets (preclusivity fuzzy-intuitionistic BZ lattices). Studia Logica 58, 47–77 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Cattaneo, G.: Abstract approximation spaces for rough theories. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1, pp. 59–98. Physica–Verlag, Heidelberg (1998)Google Scholar
  6. 6.
    Cattaneo, G., Ciucci, D.: About the Lattice Structure of Preclusive Rough Sets. In: IEEE International Conference on Fuzzy Systems, Budapest, July 25-28 (2004)Google Scholar
  7. 7.
    Cattaneo, G., Ciucci, D.: Algebraic structures for rough sets. In: Dubois, D., Grzymala-Busse, J.W., Inuiguchi, M., Polkowski, L. (eds.) Transactions on Rough Sets II. LNCS, vol. 3135, pp. 218–264. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Cattaneo, G., Ciucci, D.: Investigation about Time Monotonicity of Similarity and Preclusive Rough Approximations in Incomplete Information Systems. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 38–48. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Cattaneo, G., Ciucci, D.: Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS). Fuzzy sets and Systems 157, 3198–3219 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Cattaneo, G., Ciucci, D.: Some methodological remarks about categorical equivalence in the abstract approach to roughness. Part I. In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol. 4062, pp. 277–283. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Cattaneo, G., Ciucci, D.: Some methodological remarks about categorical equivalence in the abstract approach to roughness. Part II. In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol. 4062, pp. 284–289. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Cattaneo, G., Ciucci, D.: A hierarchical lattice closure approach to abstract approximation spaces. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 363–370. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Chellas, B.F.: Modal logic, an introduction. Cambridge University Press, Cambridge (1988)zbMATHGoogle Scholar
  14. 14.
    Cignoli, R.: Boolean elements in Łukasiewicz algebras. I. Proceedings of the Japan Academy 41, 670–675 (1965)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Cignoli, R.: Injective de Morgan and Kleene algebras. Proceedings of the American Mathematical Society 47, 269–278 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Ciucci, D.: A unifying abstract approach for rough models. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 371–378. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Cattaneo, G., Marino, G.: Non-usual orthocomplementations on partially ordered sets and fuzziness. Fuzzy Sets and Systems 25, 107–123 (1988)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Cattaneo, G., Nisticò, G.: Brouwer-Zadeh posets and three valued Łukasiewicz posets. Fuzzy Sets and Systems 33, 165–190 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Düntsch, I., Gediga, G.: Approximation operators in qualitative data analysis. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol. 2929, pp. 214–230. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  20. 20.
    Düntsch, I., Orlowska, E.: Beyond modalities: Sufficiency and mixed algebras. In: Orlowska, E., Szalas, A. (eds.) Relational Methods for Computer Science Applications, pp. 277–299. Physica–Verlag, Heidelberg (2001)Google Scholar
  21. 21.
    Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 3, pp. 117–224. Kluwer, Dordrecht (1986)CrossRefGoogle Scholar
  22. 22.
    Everett, C.J.: Closure operators and Galois theory in lattices. Transaction of the American Mathematical Society 55, 514–525 (1944)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Goldblatt, R.: Mathematical modal logic: A view of its evolution. J. Applied Logic 1, 309–392 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Grzymala-Busse, J.W., Grzymala-Busse, W.J.: Handling missing attribute values. In: Maimon, O., Rokach, L. (eds.) The Data Mining and Knowledge Discovery Handbook, pp. 37–57. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Grzymala-Busse, J.W., Rzasa, W.: Local and global approximations for incomplete data. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets VIII. LNCS, vol. 5084, pp. 21–34. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  26. 26.
    Grzymala-Busse, J.W.: Data with missing attribute values: Generalization of indiscernibility relation and rule induction. In: Peters, J.F., Skowron, A., Grzymała-Busse, J.W., Kostek, B.z., Świniarski, R.W., Szczuka, M.S. (eds.) Transactions on Rough Sets I. LNCS, vol. 3100, pp. 78–95. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  27. 27.
    Hardegree, G.M.: The conditional in abstract and concrete quantum logic. In: Hooker, C.A. (ed.) Logico–Algebraic approach to quantum mechanics. II, pp. 49–108. D. Reidel, Dordrecht (1979)CrossRefGoogle Scholar
  28. 28.
    Hardegree, G.M.: Material implication in orthomodular (and Boolean) lattices. Notre Dame Journal of Modal Logic 22, 163–182 (1981)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Hughes, G.E., Cresswell, M.J.: A companion to modal logic. Methuen, London (1984)zbMATHGoogle Scholar
  30. 30.
    Järvinen, J.: Pawlak’s information systems in terms of Galois conections and functional dependencies. Fundamenta Informaticae 75, 315–330 (2007)MathSciNetzbMATHGoogle Scholar
  31. 31.
    Järvinen, J., Kondo, M., Kortelainen, J.: Modal-like operators in Boolean lattices, Galois connections and fixed points. Fundamenta Informaticae 76, 129–145 (2007)MathSciNetzbMATHGoogle Scholar
  32. 32.
    Kalman, J.A.: Lattices with involution. Transactions of the American Mathematica Society 87, 485–491 (1958)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Kripke, S.A.: Semantical analysis of modal logic I. Normal modes propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9, 67–96 (1963)Google Scholar
  34. 34.
    Kryszkiewicz, M.: Rough set approach to incomplete information systems. Information Sciences 112, 39–49 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 35.
    Mac Lane, S.: Categories for the working mathematicians. Graduate Text in Mathematics, vol. 5. Springer, Heidelberg (1971)CrossRefzbMATHGoogle Scholar
  36. 36.
    Latkowski, R.: Flexible indiscernibility relations for missing attribute values. Fundamenta informaticae 67, 131–147 (2005)MathSciNetzbMATHGoogle Scholar
  37. 37.
    Moisil, G.C.: Recherches sur l’algebres de la logiques. Annales Sc. Univ. Jassy 22, 1–117 (1935)Google Scholar
  38. 38.
    Monteiro, A., Ribeiro, H.: L’operation de fermeture et ses invariants dans les systemes partiellement ordennes. Portugaliae Mathematica 3, 171–184 (1942)MathSciNetzbMATHGoogle Scholar
  39. 39.
    Ore, O.: Combinations of closure relations. Annals of Mathematics 44, 514–533 (1942)MathSciNetCrossRefzbMATHGoogle Scholar
  40. 40.
    Ore, O.: Galois connexions. Transactions of the American Mathematical Society 55, 493–513 (1944)MathSciNetCrossRefzbMATHGoogle Scholar
  41. 41.
    Orlowska, E.: Kripke semantics for knowledge representation logics. Studia Logica 49, 255–272 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    Orlowska, E.: Introduction: What you always wanted to know about rough sets. In: Orlowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 1–20. Physica–Verlag, Heidelberg (1998)CrossRefGoogle Scholar
  43. 43.
    Pawlak, Z.: Information systems - theoretical foundations. Information Systems 6, 205–218 (1981)CrossRefzbMATHGoogle Scholar
  44. 44.
    Pawlak, Z.: Rough sets. Int. J. of Computer and Information Sciences 11, 341–356 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  45. 45.
    Pawlak, Z.: Rough sets: A new approach to vagueness. In: Zadeh, L.A., Kacprzyc, J. (eds.) Fuzzy Logic for the Management of Uncertainty, pp. 105–118. J. Wiley and Sons, New York (1992)Google Scholar
  46. 46.
    Poincaré, H.: Le continu mathématique. Revue de Métaphysique et de Morale I, 26–34 (1893) (reprinted in [47] as Chapter II)Google Scholar
  47. 47.
    Poincaré, H.: La science et l’hypothèse. Flammarion, Paris (1903); English translation as Science and Hypothesis. Dover, New York (1952)Google Scholar
  48. 48.
    Polkowski, L.: Rough sets. Mathematical foundations. Physica Verlag, Heidelberg (2002)CrossRefzbMATHGoogle Scholar
  49. 49.
    Pomykala, J.A.: Approximation operations in approximation space. Bulletin of the Polish Academy of Sciences - Mathematics 35, 653–662 (1987)MathSciNetzbMATHGoogle Scholar
  50. 50.
    Polkowski, L., Skowron, A., Zytkow, J.: Tolerance based rough sets. In: Lin, T.Y., Wildberger, A.M. (eds.) Third International Workshop on Rough Sets and Soft Computing, University of San Jose, California, pp. 55–58 (1994)Google Scholar
  51. 51.
    Simmons, G.F.: Topology and modern analysis. McGraw-Hill Book Company, Inc., New York (1963)zbMATHGoogle Scholar
  52. 52.
    Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae 27, 245–253 (1996)MathSciNetzbMATHGoogle Scholar
  53. 53.
    Stefanowski, J., Tsoukias, A.: Incomplete information tables and rough classification. Computational Intelligence 17, 545–566 (2001)CrossRefzbMATHGoogle Scholar
  54. 54.
    Słowinski, R., Vanderpooten, D.: Similarity relation as a basis for rough approximations. In: Wang, P.P. (ed.) Advances in Machine Intelligence and Soft-Computing, vol. IV, pp. 17–33. Duke University Press, Durham (1997)Google Scholar
  55. 55.
    Tarski, A.: Fundamentale Begriffe der Methodologie der deduktiven Wissennschaften. I. Monathshefte fur Mathematik und Physik 37, 361–404 (1930) (English version in [56])CrossRefGoogle Scholar
  56. 56.
    Tarski, A.: Logic, semantics, metamathematics. Hackett, Indianapolis (1983); Second Edition–First Edition, by Oxford 1956Google Scholar
  57. 57.
    van Frassen, B.C.: Formal semantic and logic. Macmillan, New York (1971)Google Scholar
  58. 58.
    Ward, M.: The closure operator on lattice. Annals of Mathematics 43, 191–196 (1942)MathSciNetCrossRefzbMATHGoogle Scholar
  59. 59.
    Wiweger, A.: On topological rough sets. Bullettin of the Polish Academy of Sciences–Mathematics 37, 89–93 (1989)MathSciNetzbMATHGoogle Scholar
  60. 60.
    Yao, Y.Y.: Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning 15, 291–317 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  61. 61.
    Yao, Y.Y.: On generalizing Pawlak approximation operators. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS (LNAI), vol. 1424, pp. 298–307. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  62. 62.
    Yao, Y.Y.: Relational interpretations of neighborhood operators and rough set approximation operators. Information Sciences 111, 239–259 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  63. 63.
    Yao, Y.Y.: A note on definability and approximations. In: Peters, J.F., Skowron, A., Marek, V.W., Orłowska, E., Słowiński, R., Ziarko, W.P. (eds.) Transactions on Rough Sets VII. LNCS, vol. 4400, pp. 274–282. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  64. 64.
    Yao, Y.Y., Lin, T.Y.: Generalization of rough sets using modal logic. Intelligent Automation and Soft Computing, an International Journal 2, 103–120 (1996)CrossRefGoogle Scholar
  65. 65.
    Yao, Y., Li, X., Lin, T., Liu, Q.: Representation and classification of rough set models. In: Conference Proceeding of Third International Workshop on Rough Sets and Soft Computing, San Jose, California, November 10-12, pp. 630–637 (1994)Google Scholar
  66. 66.
    Yao, Y.Y., Wong, S.K.M., Lin, T.Y.: A review of rough set models. In: Lin, T.Y., Cercone, N. (eds.) Rough Sets and Data Mining: Analysis for Inprecise Data, Boston, pp. 47–75. Kluwer, Dordrecht (1997)CrossRefGoogle Scholar
  67. 67.
    Zakowski, W.: Approximations in the space (U,π). Demonstration Mathematica XVI, 761–769 (1983)Google Scholar
  68. 68.
    Zeeman, E.C.: The topology of the brain and visual perception. Topology of 3-manifolds and related topics, pp. 240–256. Prentice-Hall, Englewood Cliffs (1962)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Gianpiero Cattaneo
    • 1
  • Davide Ciucci
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità di Milano – BicoccaMilanoItalia

Personalised recommendations