Topological Representation of Precontact Algebras
The notions of 2-precontact and 2-contact spaces as well as of extensional (and other kinds) 3-precontact and 3-contact spaces are introduced. Using them, new representation theorems for precontact and contact algebras (satisfying some additional axioms) are proved. They incorporate and strengthen both the discrete and topological representation theorems from [3, 1, 2, 4, 10]. It is shown that there are bijective correspondences between such kinds of algebras and such kinds of spaces. In particular, such a bijective correspondence for the RCC systems of  is obtained, strengthening in this way the previous representation theorems from [4, 1].
KeywordsTopological Space Boolean Algebra Representation Theorem Bijective Correspondence Topological Representation
Unable to display preview. Download preview PDF.
- 1.Dimov, G., Vakarelov, D.: Contact Algebras and Region-based Theory of Space: A Proximity Approach - I (submitted, 2004)Google Scholar
- 2.Dimov, G., Vakarelov, D.: Contact Algebras and Region-based Theory of Space: A Proximity Approach - II (submitted, 2004)Google Scholar
- 3.Düntsch, I., Vakarelov, D.: Region-based theory of discrete spaces: A proximity approach. In: Nadif, M., Napoli, A., SanJuan, E., Sigayret, A. (eds.) Proceedings of Fourth International Conference Journées de l’informatique Messine, Metz, France, pp. 123–129 (2003) (to appear in Discrete Applied Mathematics) Google Scholar
- 4.Düntsch, I., Winter, M.: A Representation theorem for Boolean Contact Algebras (2003) (to appear in Theoretical Computer Science)Google Scholar
- 6.Galton, A.: The mereotopology of discrete spaces. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol. 1661, pp. 251–266. Springer, Heidelberg (1999)Google Scholar
- 7.Li, S., Ying, M.: Generalized Connection Calculus. Artificial Intelligence (in print, 2004)Google Scholar
- 8.Randell, D., Cui, Z., Cohn, A.G.: A Spatial Logic based on Regions and Connection. In: Nebel, B., Swartout, W., Rich, C. (eds.) Proc. of the 3rd International Conference On Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 165–176. Morgan Caufmann, San Francisco (1992)Google Scholar