A representation theorem for Boolean contact algebras

Theoretical Computer Science

Volumn 347, Issue 3, 2005, Pages 498-512

  Düntsch, Ivo ^a   Winter, Michael ^a  

^a BROCK UNIVERSITY   (Canada)

Author keywords

Boolean contact algebras; Qualitative spatial reasoning; Region connection calculus; Topological representation

Indexed keywords

ARTIFICIAL INTELLIGENCE; THEOREM PROVING; TOPOLOGY;

BOOLEAN CONTACT ALGEBRAS; QUALITATIVE SPATIAL REASONING; REGION CONNECTION CALCULUS (RCC); TOPOLOGICAL REPRESENTATION;

BOOLEAN ALGEBRA;

EID: 27744600741     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.06.030     Document Type: Article

References (32)

1. L. Biacino, and G. Gerla Connection structures Notre Dame J. Formal Logic 32 1991 242 247
2. A. Cayley On the theory of groups as depending on the symbolic equation θ n = 1 Philos. Magazine 7 1854 40 47
3. B.L. Clarke A calculus of individuals based on 'connection' Notre Dame J. Formal Logic 22 1981 204 218
4. A.G. Cohn, B. Bennett, J. Gooday, and N.M. Gotts Representing and reasoning with qualitative spatial relations about regions O. Stock Spatial and Temporal Reasoning 1997 Kluwer Dordrecht 97 134
5. T. de Laguna Point, line and surface as sets of solids J. Philos. 19 1922 449 461
6. I. Düntsch, and D. Vakarelov Region-based theory of discrete spaces: a proximity approach M. Nadif A. Napoli E. SanJuan A. Sigayret Proc. Fourth Internat. Conf. Journées de l'informatique Messine 2003 Metz France 123 129
7. I. Düntsch, H. Wang, and S. McCloskey A relation algebraic approach to the region connection calculus Theoret. Comput. Sci. 255 2001 63 83
8. I. Düntsch, and M. Winter Construction of Boolean contact algebras AI Comm. 13 2004 235 246
9. R. Engelking General Topology 1977 PWN Warszawa
10. A. Galton, The mereotopology of discrete space, in: C. Freksa, D.M. Mark, (Eds.), Spatial Information Theory, Proc. Internat. Conf. COSIT '99, Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 251-266.
11. S. Koppelberg, General Theory of Boolean Algebras, Vol. 1, Handbook on Boolean Algebras, North Holland, Amsterdem,1989.
12. H.S. Leonard, and N. Goodman The calculus of individuals and its uses J. Symbolic Logic 5 1940 45 55
13. S. Leśniewski O podstawach ogolnej teoryi mnogosci. I Przeglad Filozoficzny 31 1928 261 291
14. S. Leśniewski On the foundation of mathematics Topoi 2 1983 7 52
15. S. Li, M. Ying, Generalized region connection calculus, 2003, preprint.
16. S. Li, and M. Ying Region connection calculus: its models and composition table Artificial Intelligence 145 2003 121 145
17. T. Mormann Continuous lattices and Whiteheadian theory of space Logic Logical Philosophy 6 1998 35 54
18. T. Mormann, A general representation theorem of the region connection calculus, 2001, unpublished.
19. S.A. Naimpally, and B.D. Warrack Proximity Spaces 1970 Cambridge University Press Cambridge
20. J. Nicod, Geometry in a sensible world, Doctoral thesis, Sorbonne, Paris, 1924, English translation in Geometry and Induction, Routledge and Kegan Paul, London, 1969.
21. I. Pratt, and D. Schoop A complete axiom system for polygonal mereotopology of the real plane J. Philos. Logic 27 6 1998 621 661
22. I. Pratt, and D. Schoop Expressivity in polygonal, plane mereotopology J. Symbolic Logic 65 2000 822 838
23. D.A. Randell, A.G. Cohn, Z. Cui, Computing transitivity tables: a challenge for automated theorem provers, in: D. Kapur (Ed.), Proc. 11th Internat. Conf. on Automated Deduction (CADE-11), Lecture Notes in Artificial Inteligences, Vol. 607, Saratoga Springs, NY, Springer, 1992, pp. 786-790.
24. P. Roeper Region based topology J. Philos. Logic 26 1997 251 309
25. E. Shchepin Real-valued functions and spaces close to normal Siberian Math. J. 13 1972 820 830
26. L. Steen, and J. Seebach Jr. Counterexamples in Topology 1978 Springer Berlin, Heidelberg, New York
27. J. Stell Boolean connection algebras: a new approach to the region connection calculus Artificial Intelligence 122 2000 111 136
28. M. Stone The theory of representations for Boolean algebras Trans. Amer. Math. Soc. 40 1936 37 111
29. A. Tarski Foundation of the geometry of solids J.H. Woodger Logic, Semantics, Metamathematics 1956 Clarendon Press Oxford 24 29 Translation of the summary of an address given by A. Tarski to the First Polish Mathematical Congress, Lwów, 1927
30. D. Vakarelov, G. Dimov, I. Düntsch, and B. Bennett A proximity approach to some region-based theories of space J. Appl. Non-classical Logics 12 2002 527 529
31. D. Vakarelov, I. Düntsch, B. Bennett, A note on proximity spaces and connection based mereology, in: C. Welty, B. Smith (Eds.), Proc. 2nd Internat. Conf. on Formal Ontology in Information Systems (FOIS'01), ACM, 2001, pp. 139-150.
32. A.N. Whitehead Process and Reality 1929 MacMillan New York