A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology

• Autorzy: Breysse O. , De Glas M.
• Języki publikacji: EN

Abstrakty

EN

Mereotopology is a class of formal theories devoted to the analysis of spatiotemporal entities and their interactions. It has produced important advances in the analysis of natural language, naive geography and computer vision, illustrating a broad range of applications. However, it has been shown that the modelling of interactions between spatiotemporal entities with mereotopology can lead to unsolvable problems, including disconnectedness of the representation space as well as a mix-up of the relationships of contact and overlap. The origin of these problems, which fundamentally limit the usefulness of mereotopology, has not been fully identified. In this paper, we first formally demonstrate that these problems originate from the incompatibility of the concepts of boundary, continuity and contact within the framework of mereotopology, as suggested by previous studies. Secondly, we prove that this incompatibility stems from the formalization of these concepts through topology. We show that a solution can be found by substituting for topology an alternative theory, known as locology, which provides new mathematical tools for the modelling of spatiotemporal entities.

Słowa kluczowe

EN

boundary; contact; continuity; mereotopology; locology

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 78, nr 2
• Strony: 217--238
• Opis fizyczny: bibliogr. 51 poz., tab., wykr.

Twórcy

autor

Breysse O.

autor

De Glas M.

• CREA, Ecole Polytechnique, 1 rue Descartes, Paris, F-75005, France,

Bibliografia

• [1] Asher, N., Vieu, L.: Toward a Geometry for Common Sense: A Semantics and a Complete Axiomatization for Mereotopology, Proceedings of the 4th International Joint Conference on Artificial Intelligence (C. Mellish, Ed.), Morgan Kaufmann, San Francisco, 1995.
• [2] Barthélemy, J.-P., De Glas, M., Desclés, J.-P., Petitot, J.: Logique et dynamique de la cognition, Intellectica, 23, 1996, 219-301.
• [3] Casati, R., Varzi, A.: Parts and Places: the Structures of Spatial Representation, MIT Press, Cambridge, MA and London, 1999.
• [4] Choquet, G.: Convergences, Annales de l'Université de Grenoble, 23, 1947, 55-112.
• [5] Clarke, B. L.: A Calculus of Individuals Based on "Connection", Notre Dame Journal of Formal Logic, 22(3), 1981, 204-218.
• [6] Cohn, A. G., Bennett, B., Gooday, J. M., Gotts, N. M.: Representing and Reasoning with Qualitative Spatial Relations about Regions, Temporal and Spatial Reasoning (O. Stock, Ed.), Kluwer, 1997.
• [7] Cohn, A. G., Varzi, A.: Mereotopological Connection, Journal of Philosophical Logic, 32, 2003, 357-390.
• [8] Day, M. M.: Convergence, closure and neighborhoods, Duke mathematical journal, 11, 1944, 181-199.
• [9] De Glas, M.: Localistic Logic, Forthcoming.
• [10] De Glas, M.: Locological Spaces: Knowledge Representation in an Intensional Setting, in: Cognitiva 90 [14], 1990, 437-445.
• [11] De Glas, M.: Subintuitionnistic Logic and Locology, Logic colloquium, 1997.
• [12] De Glas, M., Plane, J.-L.: Une approche formelle de la typicité, vol. 20 of Cahier du CREA, Ecole Polytechnique, 2005.
• [13] Düntsch, I., MacCaull, W., Vakarelov, D., Winter, M.: Topological representation of contact lattices, in: Proceedings of the 9th International Conference on Relational Methods in Computer Science and the 4th InternationalWorkshop on Applications of Kleene Algebra, vol. 4136 of Lecture Notes in Computer Science, Springer Verlag, Heidelberg, 2006.
• [14] Düntsch, I., Wang, H., McCloskey, S.: A relation algebraic approach to the Region Connection Calculus, Theoretical Computer Science, 255, 2001, 63-83.
• [15] Düntsch, I., Winter, M.: A Representation Theorem for Boolean Contact Algebras, Theoretical Computer Science, 347, 2005, 498-512.
• [16] Freksa, C., Mark, D. M., Eds.: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, vol. 1661 of Lecture Notes in Computer Science, Springer, 1999.
• [17] Goldblatt, R.: Topöı: The Categorial Analysis of Logic, Number 98 in Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1979.
• [18] Gotts, N. M.: An axiomatic approach to topology for spatial information systems, Technical report 96.25, School of Computer Studies, University of Leeds, 1996.
• [19] Grzegorczyk, A.: Axiomatizability of Geometry without Points, Synthese, 12, 1960, 228-235.
• [20] Hammer, P. C.: Extended Topology: Continuity I, Portugaliæ Mathematica, 25, 1964, 77-93.
• [21] Hammer, P. C.: Extended Topology and Systems, Mathematical Systems Theory, 1(2), 1967, 135-142.
• [22] Husserl, E.: Logische Untersuchungen. Zweiter Band. Untersuchungen zur Phnomenologie und Theorie der Erkenntnis, Halle: Niemeyer, London, 1900/1901, (Eng. trans. by J.N. Findlay: Logical Investigations, Volume Two, London: Routledge and Kegan Paul, 1970).
• [23] Johnstone, P.: The Point of Pointless Topology, Bulletin of the American Mathematical Society, 8(1), 1983, 41-53.
• [24] Kohonen, T., Fogelman-Soulié, F., Eds.: Proceedings of the Third COGNITIVA Symposium, Elsevier,Madrid, november 1991.
• [25] Lawvere, F. W.: Introduction, in: Categories in continuum physics (F. W. Lawvere, S. H. Schanuel, Eds.), vol. 1174 of Lecture notes in mathematics, Springer-Verlag, 1986, 1-16.
• [26] Leśniewski, S.: Podstawy oglnej teoryi mnogosci. I, Prace Polskiego Kola Naukowego w Moskwie, Sekcya matematyczno-przyrodnicza, Moskow, 1916, (Eng. trans. by D. I. Barnett: Foundations of the General Theory of Sets. I, in S. Leśniewski, Collected Works, ed. S. J. Surma, J. Srzednicki, D. I. Barnett, and F. V. Rickey, Dordrecht: Kluwer, 1992, Vol. 1, pp. 129-173).
• [27] Li, S., Ying, M.: Generalized Region Connection Calculus., Artificial Intelligence, 160(1-2), 2004, 1-34.
• [28] Martin-Löf, P.: Intuitionistic Type Theory, Bibliopolis, Napoli, 1984.
• [29] Masolo, C., Vieu, L.: Atomicity vs. Infinite Divisibility of Space, in: Freksa and Mark [16], 235-250.
• [30] McKinsey, J. C. C., Tarski, A.: The algebra of topology, Annals of Mathematics, 45(1), 1944, 141-191.
• [31] McKinsey, J. C. C., Tarski, A.: On closed elements in closure algebras, Annals of Mathematics, 47(1), 1946, 122-146.
• [32] Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data, Kluwer, Dordrecht, 1991.
• [33] Poincaré, H.: La science et l'hypothèse, Flammarion, Paris, 1902, (Eng. trans. Science and Hypothesis. London: Walter Scott Publishing, 1905).
• [34] Poston, T.: Fuzzy Geometry, Ph.D. Thesis, University of Warwick, 1971.
• [35] Randell, D., Cui, Z., Cohn, A.: A Spatial Logic Based on Regions and Connection, Proceeding of the 3rd International Conference on Knowledge Representation and Reasoning,Morgan Kaufmann, 1992.
• [36] Sambin, G.: The Semantics of Pretopologies, in: Substructural Logics (P. Schroeder-Heister, K. Došen, Eds.), Oxford University Press, 1993, 293-307.
• [37] Simons, P.: Parts: A Study In Ontology, Clarendon Press, Oxford, 1987.
• [38] Smith, B.: Mereotopology: a Theory of Parts and Boundaries, Data Knowl. Eng., 20(3), 1996, 287-303.
• [39] Smyth, M. B.: Semi-metric, closure spaces and digital topology, Theoretical Computer Science, 151, 1995, 257-276.
• [40] Stadler, B.M. R., Stadler, P. F.: Basic Properties of Closure Spaces, Technical report, Institut für Theoretische Chemie, Universit¨atWien and The Santa Fe Institute, 2002.
• [41] Stell, J. G.: Boolean connection algebras: A new approach to the Region Connection Calculus, Artificial Intelligence, 122(1-2), 2000, 111-136.
• [42] Stell, J. G., Worboys, M. F.: The Algebraic Structure of Sets of Regions, COSIT '97: Proceedings of the International Conference on Spatial Information Theory, 1329, Springer-Verlag, 1997.
• [43] Stone, M.: Application of the Theory of Bolean Rings to General Topology, Transactions of American Mathematical Society, 41, 1937, 375-481.
• [44] Stone, M.: Topological Representation of Distributive Lattices and Brouwerian Logics, Časopis pro Pěstování Matematiky a Fysiky, 67, 1937, 1-25.
• [45] Tarski, A.: Zur Grundlegung der booleschen Algebra. I, Fundamenta Mathematicae, 24, 1935, 177-198, (Eng. trans. by J.H. Woodger, On the Foundations of the Boolean Algebra, in A. Tarski, Logics, Semantics, Metamathematics, Papers from 1923 to 1938, Oxford: Clarendon Press, 1956, pp. 320341).
• [46] Thom, R.: Esquisse d'une sémiophysique : Physique aristotélicienne et théorie des catastrophes, Inter éditions, Paris, 1988, (Eng. trans. by V. Meyer, Semio Physics: A Sketch. Aristotelian Physics and Catastrophe Theory, Redwood City: Addison-Wesley, 1990).
• [47] Vakarelov, D., Düntsch, I., Bennett, B.: A note on proximity spaces and connection based mereology, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01) (C. Welty, B. Smith, Eds.), ACM, 2001.
• [48] Varzi, A. C.: Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology., Data and Knowledge Engineering, 20(3), 1996, 259-286.
• [49] Varzi, A. C.: Boundaries, Continuity, and Contact, Noˆus, 31(1), 1997, 26-58.
• [50] Čech, E.: Topological spaces, Wiley, London, 1966.
• [51] Winter, D. J.: Root locologies and idempotents of lie and nonassociative algebras, Pacific journal of mathematics, 99(1), 1982, 215-230.