Contact Algebras and Region-based Theory of Space: A Proximity Approach - I

• Autorzy: Dimov G. , Vakarelov D.
• Języki publikacji: EN

Abstrakty

EN

This work is in the field of region-based (or Whitehedian) theory of space, which is an important subfield of Qualitative Spatial Reasoning (QSR). The paper can be considered also as an application of abstract algebra and topology to some problems arising and motivated in Theoretical Computer Science and QSR Different axiomatizations for region-based (or Whiteheadian) theory of space are given. The most general one is introduced under the name ``Contact Algebra". Adding some extra first- or second-order axioms to those of contact algebras, some new or already known algebraic notions are obtained. Representation theorems and completion theorems for all such algebras are proved. Extension theories of the classes of all semiregular T0-spaces and all N-regular (a notion introduced here) T1-spaces are developed.

Słowa kluczowe

EN

qualitative spatial reasoning (QSR); mereological relations; contact relations; contact algebras; region-based theories of space; RCC models; representation theorems; extension; completion

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 74, nr 2,3
• Strony: 209--249
• Opis fizyczny: bibliogr. 44 poz.

Twórcy

autor

Dimov G.

autor

Vakarelov D.

• Department of Mathematics and Computer Science University of Sofia, Blvd. James Bourchier 5, 1126 Sofia, Bulgaria,

Bibliografia

• [1] J. ADÁ MEK - H. HERRLICH - G. E. STRECKER, Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
• [2] A. V. ARHANGEL'SKI˘I , An addition theorem for the weight of sets lying in bicompacta, DAN SSSR 126 (1959), 239-241.
• [3] L. BIACINO - G. GERLA, Connection structures, Notre Dame Journal of Formal Logic, 32 (1991), 242-247.
• [4] L. BIACINO - G. GERLA, Connection structures: Grzegorczyk's and Whitehead's definition of point, Notre Dame Journal of Formal Logic, 37 (1996), 431-439.
• [5] E. ČECH, Topological Spaces, Interscience, London, 1966.
• [6] E. ČECH - J. NOVÁK, On regular and combinatorial imbedding, Časopis Pěst. Mat. Fys., 72 (1947), 7-16.
• [7] G. CHOQUET, Sur les notions de filtre et de grille, Comptes Rendus Acad. Sci. Paris, 224 (1947), 171-173.
• [8] B. L. CLARKE, A calculus of individuals based on 'connection', Notre Dame Journal of Formal Logic, 22 (1981), 204-218.
• [9] B. L. CLARKE, Individuals and points, Notre Dame Journal of Formal Logic, 26 (1985), 61-75.
• [10] A. COHN - S. HAZARIKA, Qualitative spatial representation and reasoning: An overview, Fundamenta Informaticae, 46 (2001), 1 - 29.
• [11] COMFORT, W. AND NEGREPONTIS, S. Chain Conditions in Topology. Cambridge Univ. Press, Cambridge, 1982.
• [12] T. DE LAGUNA, Point, line and surface as sets of solids, The Journal of Philosophy, 19 (1922), 449-461.
• [13] H. de Vries, Compact spaces and compactifications, an algebraic approach, Van Gorcum, The Netherlands, 1962.
• [14] G. DIMOV, Regular and other kinds of extensions of topological spaces, SerdicaMath. J., 24 (1998), 99-126.
• [15] I. DŰNTSCH - D. VAKARELOV, Region-based theory of discrete spaces: A proximity approach, In M. Nadif - A. Napoli - E. SanJuan - A. Sigayret (Eds.), Proceedings of Fourth International Conference Journées de l'informatiqueMessine, Metz, France, 2003, 123-129. (To appear in Discrete Applied Mathematics.)
• [16] I. DŰNTSCH - M. WINTER, A Representation theorem for Boolean Contact Algebras, Theoretical Computer Science (B), 347 (2005), 498-512.
• [17] I. DŰNTSCH - M. WINTER, Lattices of contact relations, Preprint, 2005.
• [18] R. ENGELKING, General Topology, PWN, Warszawa, 1977.
• [19] V. EFREMOVIČ, Infinitesimal spaces, DAN SSSR, 76 (1951), 341-343.
• [20] V. V. Fedorčuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Ž. 14 (5) (1973) 1088-1099: = Siberian Math. J. 14 (1973), 759-767 (1974).
• [21] A. GALTON, The mereotopology of discete spaces, In C. Freksa - D. M. Mark (Eds.), Spatial Information Theory, Proceedings of the International Conference COSIT'99, Lecture Notes in Computer Science, Springer-Verlag, 1999, 251-266.
• [22] G. GERLA, Pointless geometries, In Handbook of Incidence Geometry, F. Buekenhout (Ed.), Elsevier Science B.V., 1995, 1015-1031.
• [23] A. GRZEGORCZYK, Axiomatization of geometry without points, Synthese, 12 (1960), 228-235.
• [24] M. KATĚTOV, On H-closed extensions of topological spaces, Časopis Pěst. Mat. Fys., 72 (1947), 17-32.
• [25] S. LEADER, Local proximity spaces, Math. Annalen, 169 (1967), 275-281.
• [26] H. S. LEONARD - N. GOODMAN, The calculus of individuals and its uses, Journal of Symbolic Logic, 5 (1940), 45-55.
• [27] T. MORMANN, Continuous lattices and Whiteheadian theory of space, Logic and Logical Philosophy, 6 (1998), 35-54.
• [28] S. A. NAIMPALLY - B. D. WARRACK, Proximity Spaces, Cambridge University Press, Cambridge, 1970.
• [29] J. R. PORTER - CH. VOTAW, S(α) spaces and regular Hausdorff extensions, Pacific J. Math, 45 (1) (1973), 327-345.
• [30] I. PRATT - D. SCHOOP, A complete axiom system for polygonal mereotopology of the real plane, Journal of Philosophical Logic, 27 (6) (1998), 621-661.
• [31] I. PRATT - D. SCHOOP, Expressivity in polygonal plane mereotopology, Journal of Symbolic Logic, 65 (2000), 822-838.
• [32] D. A. RANDELL - Z. CUI - A. G. COHN, A spatial logic based on regions and connection, In B. Nebel -W. Swartout - C. Rich (Eds.), Proceedings of the 3rd International Conference Knowledge Representation and Reasoning, Morgan Kaufmann, Los Allos, CA, 1992, 165-176.
• [33] P. ROEPER, Region-based topology, Journal of Philosophical Logic, 26 (1997), 251-309.
• [34] R. SIKORSKI, Boolean Algebras, Springer-Verlag, Berlin, 1964.
• [35] L. A. STEEN - J. A. SEEBACH, Counterexamples in Topology, Springer-Verlag, Berlin, 1978.
• [36] J. STELL, Boolean connection algebras: A new approach to the Region Connection Calculus, Artificial Intelligence, 122 (2000), 111-136.
• [37] M. H. STONE, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc., 41 (1937), 375-481.
• [38] M. H. STONE, Topological representation of distributive lattices and Brouwerian logics, Čas. Pest. Mat. Fis., 67 (1937), 1-25.
• [39] W. J. THRON, Proximity structures and grills, Math. Ann., 206 (1973), 35-62.
• [40] A. TARSKI, Les fondements de la g`eom`etrie des corps, First Polish Mathematical Congress, Lwów, 1927. English translation in J. H. Woodger (Ed.), Logic, Semantics, Metamathematics, Clarendon Press, 1956.
• [41] D. VAKARELOV - I. DŰNTSCH, Remarks on proximity spaces and connection based mereology, manuscript, 2001.
• [42] D. VAKARELOV - I. DŰNTSCH - B. BENNETT, A note on proximity spaces and connection based mereology, In C. Welty - B. Smith (Eds.), Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01), 2001, 139-150.
• [43] D. VAKARELOV - G. DIMOV - I. DŰNTSCH - B. BENNETT, A proximity approach to some region-based theories of space, J. Applied Non-Classical Logics, 12 (3-4) (2002), 527-559.
• [44] A. N. WHITEHEAD, Process and reality, MacMillan, New York, 1929. 248