Abstract
Rough Set Theory may be considered as a formal interpretation of observation of phenomena. On one side we have objects and on the other side we have properties. This is what we call a Property System. Observing is then the act of perceiving and then interpreting the binary relation (of satisfaction) between the two sides. Of course, the set of properties can be given a particular structure. However, from a pure ”phenomenological” point of view, a structure is given by the satisfaction relation we observe. So it is a result and not a precondition. Phenomena, in general, do not give rise to topological systems but to pre-topological systems. In particular, ”interior” and ”closure” operators are not continuous with respect to joins, so that they can ”miss” information. To obtain continuous operators we have to lift the abstraction level of Property Systems by synthesizing relations between objects and properties into systems of relations between objects and objects. Such relations are based on the notion of a minimal amount of information that is carried by an item. This way we can also account for Attribute Systems, that is, systems in which we have attributes instead of properties and items are evaluated by means of attribute values. But in order to apply our mathematical machinery to Attribute Systems we have to transform them into Property Systems in an appropriate manner.
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
Banerjee, M., Chakraborty, M.: Rough Sets Through Algebraic Logic. Fundamenta Informaticae 28, 211–221 (1996)
Banerjee, M., Chakraborty, M.K.: Foundations of Vagueness: a Category-theoretic Approach. Electronic Notes in Theoretical Comp. Sc. 82(4) (2003)
Barwise, J., Seligman, J.: Information Flow: the Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
Bell, J.L.: Orthologic, Forcing, and the Manifestation of Attributes. In: Chong, C.T., Wicks, M.J. (eds.) Proc. Southeast Asian Conf. on Logic, pp. 13–36. North-Holland, Amsterdam (1983)
Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)
Chakraborty, M.K., Banerjee, M.: Dialogue in Rough Context. In: Tsumoto, S., et al. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, Springer, Heidelberg (2004)
Düntsch, I., Gegida, G.: Modal-style operators in qualitative data analysis. In: Proc. of the 2002 IEEE Int. Conf. on Data Mining, pp. 155–162. IEEE Computer Society Press, Los Alamitos (2002)
Düntsch, I., Orłowska, E.: Mixing modal and sufficiency operators. Bulletin of the Section of Logic, Polish Academy of Sciences 28, 99–106 (1999)
Gierz, G., et al.: A compendium of Continuous Lattices. Springer, Heidelberg (1980)
Humberstone, I.L.: Inaccessible worlds. Notre Dame Journal of Formal Logic 24(3), 346–352 (1983)
Lin, T.Y.: Granular Computing on Binary Relations. I: Data Mining and Neighborhood Systems. II: Rough Set Representation and Belief. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery. 1: Methodology and Applications, pp. 107–121 and pp. 122–140. Physica-Verlag, Heidelberg (1998)
Orłowska, E.: Logic for nondeterministic information. Studia Logica 44, 93–102 (1985)
Pagliani, P.: From Concept Lattices to Approximation spaces: Algebraic Structures of some Spaces of Partial Objects. Fund. Informaticae 18(1), 1–25 (1993)
Pagliani, P.: A pure logic-algebraic analysis on rough top and rough bottom equalities. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. of the Int. Workshop on Rough Sets and Knowledge Discovery, Banff, October 1993, pp. 227–236. Springer, Heidelberg (1994)
Pagliani, P.: Rough Set Systems and Logic-algebraic Structures. In: Orlowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 109–190. Physica Verlag, Heidelberg (1997)
Pagliani, P.: Modalizing Relations by means of Relations: a general framework for two basic approaches to Knowledge Discovery in Database. In: Proc. of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 98, ”La Sorbonne”, Paris, France, July, 6-10, 1998, pp. 1175–1182 (1998)
Pagliani, P.: A practical introduction to the modal relational approach to Approximation Spaces. In: Skowron, A. (ed.) Rough Sets in Knowledge Discovery, pp. 209–232. Physica-Verlag, Heidelberg (1998)
Pagliani, P.: Concrete neighbourhood systems and formal pretopological spaces (draft). In: Conference held at the Calcutta Logical Circle Conference on Logic and Artificial Intelligence, Calcutta, October 13-16 (2003)
Pagliani, P.: Pretopology and Dynamic Spaces. In: Proc. of RSFSGRC’03, Chongqing, R.P. China (2003), Extended version in Fundamenta Informaticae 59(2-3), 221–239 (2004)
Pagliani, P.: Transforming Information Systems. In: Proc. of RSFDGrC 2005, vol. 1, pp. 660–670 (2005)
Pagliani, P., Chakraborty, M.K.: Information Quanta and Approximation Spaces. I: Non-classical approximation operators. In: Proc. of the IEEE Int. Conf. on Granular Computing, Beijing, R.P. China, pp. 605–610. IEEE Computer Society Press, Los Alamitos (2005)
Pagliani, P., Chakraborty, M.K.: Information Quanta and Approximation Spaces. II: Generalised approximation operators. In: Proc. of the IEEE Int. Conf. on Granular Computing, Beijing, R.P. China, pp. 611–616. IEEE Computer Society Press, Los Alamitos (2005)
Pawlak, Z.: Rough Sets: A Theoretical Approach to Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
Polkowski, L.: Rough Sets: Mathematical Foundations. Advances in Soft Computing. Physica-Verlag, Heidelberg (2002)
Sambin, G.: Intuitionistic formal spaces and their neighbourhood. In: Ferro, R., et al. (eds.) Logic Colloquium ’88, pp. 261–285. Elsevier, Amsterdam (1989)
Sambin, G., Gebellato, S.: A Preview of the Basic Picture: A New Perspective on Formal Topology. In: TYPES 1998, pp. 194–207 (1998)
Sambin, G.: Formal topology and domains. In: Proc. of the Workshop on Domains, IV. Informatik-Bericht, Nr. 99-01, Universität GH Siegen (1999)
Smyth, M.: Powerdomains and predicate transformers: a topological view. In: Díaz, J. (ed.) Automata, Languages and Programming. LNCS, vol. 154, pp. 662–675. Springer, Heidelberg (1983)
Skowron, A., Stepaniuk, J.: Tolerance Approximation Spaces. Fundamenta Informaticae 27(2-3), 245–253 (1996)
Skowron, A., Swiniarski, R., Synak, P.: Approximation Spaces and Information Granulation. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets III. LNCS, vol. 3400, pp. 175–189. Springer, Heidelberg (2005)
Skowron, A., et al.: Calculi of approximation spaces. Fundamenta Informaticae 72(1-3), 363–378 (2006)
Vakarelov, D.: Information systems, similarity relations and modal logics. In: Orlowska, E. (ed.) Incomplete Information - Rough Set Analysis, pp. 492–550. Physica-Verlag, Heidelberg (1997)
Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989)
Wille, R.: Restructuring Lattice Theory. In: Rival, I. (ed.) Ordered Sets. NATO ASI Series, vol. 83, pp. 445–470. Reidel, Dordrecht (1982)
Yao, Y.Y.: Granular computing using neighborhood systems. In: Roy, R., Fumhashi, T., Chawdhry, P.K. (eds.) Advances in Soft Computing: Engineering Design and Manufacturing, Springer, London (1999)
Yao, Y.Y.: A comparative study of formal concept analysis and rough set theory in data analysis. Manuscript (2004)
Zhang, G.-Q.: Chu spaces, concept lattices and domains. In: Proc. of the 19th Conf. on the Mathematical Found. of Programming Semantics, March 2003. Electronic Notes in Theor. Comp. Sc., vol. 83 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this chapter
Cite this chapter
Pagliani, P., Chakraborty, M.K. (2007). Formal Topology and Information Systems. In: Peters, J.F., Skowron, A., Düntsch, I., Grzymała-Busse, J., Orłowska, E., Polkowski, L. (eds) Transactions on Rough Sets VI. Lecture Notes in Computer Science, vol 4374. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71200-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-71200-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71198-8
Online ISBN: 978-3-540-71200-8
eBook Packages: Computer ScienceComputer Science (R0)