New approach to cyclic ordering of 2D orientations using ternary relation algebras

Artificial Intelligence

Volumn 122, Issue 1, 2000, Pages 137-187

  Isli, Amar ^a   Cohn, Anthony G ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; POLYNOMIALS; SET THEORY;

CONSTRAINT PROPAGATION METHODS; QUALITATIVE SPATIAL REASONING (QSR); TERNARY RELATION ALGEBRAS;

ARTIFICIAL INTELLIGENCE;

EID: 0034270393     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00044-8     Document Type: Article

References (49)

1. Allen J.F. Maintaining knowledge about temporal intervals. Comm. ACM. Vol. 26:(11):1983;832-843.
2. Bennett B., Isli A., Cohn A.G. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? Proc. IJCAI-97, Nagoya, Japan. 1997.
3. Bessière C., Isli A., Ligozat G. Global consistency in interval algebra networks: Tractable subclasses. Proc. ECAI, Budapest, Hungary. 1996;3-7.
4. Chvátal V. Linear Programming. 1983;W.H. Freeman and Company, New York.
5. Cohn A.G. Qualitative spatial representation and reasoning techniques. Proc. KI: German Annual Conference on Artificial Intelligence. Lecture Notes in Artificial Intelligence. Vol. 1303:1997;1-30 Springer, Berlin.
6. De Morgan A. On the syllogism, No. IV, and on the logic of relations. Trans. Cambridge Philos. Soc. Vol. 10:1864;331-358.
7. De Morgan A. On the Syllogism and Other Logical Writings. 1966;Yale University Press, New Haven, CT.
8. Dechter R. From local to global consistency. Artificial Intelligence. Vol. 55:1992;87-107.
9. Drakengren T., Jonsson P. A complete classification of tractability in Allen's algebra relative to subsets of basic relations. Artificial Intelligence. Vol. 106:1998;205-219.
10. Edwards G., Ligozat G., Gryl A., Fraczak L., Moulin B., Gold C.M. A Voronoi-based pivot representation of spatial concepts and its application to route descriptions expressed in natural language. Proc. Internat. Conference on Spatial Data Handling, Delft, The Netherlands. 1996.
11. Frank A.U. Qualitative spatial reasoning about distance and directions in geographic space. J. Visual Languages and Comput. Vol. 3:1991;343-373.
12. Frank A.U. Qualitative spatial reasoning with cardinal directions. Proc. Austrian Conference on Artificial Intelligence, Vienna. 1991;157-167.
13. Freksa C. Temporal reasoning based on semi-intervals. Artificial Intelligence. Vol. 54:1992;199-227.
14. Freksa C. Using orientation information for qualitative spatial reasoning. Frank A.U., Campari I., Formentini U. Proc. Internat. Conference on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. 1992;Springer, Berlin.
15. Freksa C., Zimmermann K. On the utilization of spatial structures for cognitively plausible and efficient reasoning. Proc. 1992 IEEE International Conference on Systems, Man and Cybernetics. 1992.
16. Freuder E.C. Synthesizing constraint expressions. Comm. ACM. Vol. 21:1978;958-966.
17. Freuder E.C. A sufficient condition for backtrack-free search. J. ACM. Vol. 29:1982;24-32.
18. Galil Z., Megiddo N. Cyclic ordering is NP-complete. Theoret. Comput. Sci. Vol. 5:1977;182-199.
19. Garey M.R., Johnson D.S. Computers and Intractability. 1979;Freeman, New York.
20. Gryl A., Denis M., Ligozat G. La description d'itinéraires: Éléments pour un générateur en langage naturel. Proc. XXVIème Congrès International de Psychologie, Montreal, Quebec. 1996.
21. Hernández D. Relative representation of spatial knowledge: The 2-D case. Cognitive and Linguistic Aspects of Geographic Space. Nato Advanced Studies Institute. 1991;Kluwer, Dordrecht.
22. Isli A., Bennaceur H. Qualitative interval networks: Combining path consistency and circuit consistency in the search for a solution. Proc. Internat. Workshop of Temporal Representation and Reasoning (TIME-96), Key West, FL. 1996.
23. Jonsson P., Drakengren T., Bäckström C. Computational complexity of relating time points with intervals. Artificial Intelligence. Vol. 109:1999;273-295.
24. Ladkin P., Maddux R. On binary constraint problems. J. ACM. Vol. 41:(3):1994;435-469.
25. Ladkin P., Reinefeld A. Effective solution of qualitative constraint problems. Artificial Intelligence. Vol. 57:1992;105-124.
26. Levitt T.S., Lawton D.T. Qualitative navigation for mobile robots. Artificial Intelligence. Vol. 44:(2):1990;305-360.
27. Ligozat G. Towards a general characterization of conceptual neighbourhoods in temporal and spatial reasoning. Anger F.D., Loganantharah R. Proc. AAAI-94, Seattle, WA. 1994.
28. Ligozat G. Reasoning about cardinal directions. J. Visual Languages and Comput. Vol. 9:(1):1998;23-44.
29. Liu J. A method of spatial reasoning based on qualitative trigonometry. Artificial Intelligence. Vol. 98:1998;137-168.
30. Mackworth A.K. Consistency in networks of relations. Artificial Intelligence. Vol. 8:1977;99-118.
31. Megiddo N. Partial and complete cyclic orders. Bull. Am. Math. Soc. Vol. 82:1976;274-276.
32. Montanari U. Networks of constraints: Fundamental properties and applications to picture processing. Inform. Sci. Vol. 7:1974;95-132.
33. Nebel B. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ord-horn class. Constraints. Vol. 1:(3):1997;175-190.
34. Nebel B., Bürckert H.-J. Reasoning about temporal relations: A maximal tractable subset of Allen's interval algebra. J. ACM. Vol. 42:(1):1995;43-66.
35. Randell D., Cui Z., Cohn A. A spatial logic based on regions and connection. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA. 1992;165-176 Morgan Kaufmann, San Mateo, CA.
36. Renz J. Maximal tractable fragments of the Region Connection Calculus: A complete analysis. Proc. IJCAI-99, Stockholm, Sweden. 1999.
37. Renz J., Nebel B. Efficient methods for qualitative spatial reasoning. Proc. ECAI-98, Brighton, UK. 1998;562-566.
38. Renz J., Nebel B. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence. Vol. 108:1999;69-123.
39. Röhrig R. A theory for qualitative spatial reasoning based on order relations. Proc. AAAI-94, Seattle, WA. 1994.
40. Röhrig R. Representation and processing of qualitative orientation knowledge. Proc. KI: German Annual Conference on Artificial Intelligence. Lecture Notes in Artificial Intelligence. Vol. 1303:1997;219-230 Springer, Berlin.
41. Schlieder C. Representing visible locations for qualitative navigation. Qualitative Reasoning and Decision Technologies: CIMNE. 1993.
42. Schlieder C. Qualitative shape representation. Frank A. Spatial Conceptual Models for Geographic Objects with Undetermined Boundaries. 1994;Taylor and Francis, London.
43. Schlieder C. Reasoning about ordering. Kuhn W., Frank A. Spatial Information Theory:A Theoretical Basis for GIS. Lecture Notes in Computer Science. Vol. 988:1995;341-349 Springer, Berlin.
44. Tarski A. On the calculus of relations. J. Symbolic Logic. Vol. 6:1941;73-89.
45. van Beek P. Reasoning about qualitative temporal information. Artificial Intelligence. Vol. 58:1992;297-326.
46. van Beek P., Cohen R. Exact and approximate reasoning about temporal relations. Comput. Intelligence. Vol. 6:1990;132-144.
47. van Beek P., Manchak D.M. The design and experimental analysis of algorithms for temporal reasoning. J. Artificial Intelligence Res. Vol. 4:1996;1-18.
48. Vilain M.B., Kautz H. Constraint propagation algorithms for temporal reasoning. Proc. AAAI-86, Philadelphia, PA. 1986.
49. Zimmermann K., Freksa C. Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence. Vol. 6:1996;49-58.