Modelling dynamic spatial systems in the situation calculus

Spatial Cognition and Computation

Volumn 8, Issue 1-2, 2008, Pages 86-130

  Bhatt, Mehul ^a   Loke, Seng ^a  

^a LA TROBE UNIVERSITY   (Australia)

Author keywords

Dynamic spatial systems; Qualitative spatial reasoning; Reasoning about actions and change

Indexed keywords

CAUSAL EXPLANATIONS; COMPUTATIONAL SEMANTICS; DIVERSE APPLICATIONS; DYNAMIC SPATIAL; QUALITATIVE SPATIAL REASONING; RAMIFICATION PROBLEMS; REASONING ABOUT ACTIONS; SPATIAL ENVIRONMENTS;

INTELLIGENT SYSTEMS; SEMANTICS;

CALCULATIONS;

EID: 77950834080     PISSN: 13875868     EISSN: 15427633     Source Type: Journal    
DOI: 10.1080/13875860801926884     Document Type: Article

References (53)

1. Allen, J. F. (1984). Towards a general theory of action and time. Artif. Intell., 23(2), 123-154
2. Allen, J. F., & Ferguson, G. (1994). Actions and events in interval temporal logic. J. Log. Comput., 4(5), 531-579.
3. Beller, A. (1991). Spatio/temporal events in a GIS. Proceedings of GIS/LIS (pp. 766-775).
4. Bennett, B., & Galton, A. P. (2004). A unifying semantics for time and events. Artif. Intell., 153(1-2), 13-48.
5. Claramunt, C., & Thériault, M. (1995). Managing time in GIS: An eventoriented approach. In Proceedings of the International Workshop on Temporal Databases (pp. 23-42). London, UK: Springer-Verlag.
6. Clarke, B. L. (1991). A calculus of individuals based on 'connection'. Notre Dame Journal of Formal Logic, 22(3), 204-218.
7. Cohn, A., & Hazarika, S. (2001a). Qualitative spatial representation and reasoning: An overview. Fundam. Inf., 46(1-2), 1-29.
8. Cohn, A., & Hazarika, S. (2001b). Qualitative self-localization using a spatiotemporal ontology: A preliminary report. In IJCAI-2001 Workshop on Spatial and Temporal Reasoning with Agents' Focus.
9. Davidson, D. (1967). Causal relations. The Journal of Philosophy, 64(21), 691-703.
10. Davidson, D. (1969). The individuation of events. In N. Rescher (Ed.), Essays in honor of Carl G. Hempel (pp. 216-234). Dordrecht: Reidel.
11. Freksa, C. (1991). Conceptual neighborhood and its role in temporal and spatial reasoning. In M. Singh & L. Travé-Massuyès (Eds.), Decision Support Systems and Qualitative Reasoning (pp. 181-187). Amsterdam: North-Holland.
12. Freksa, C. (1992a). Using orientation information for qualitative spatial reasoning. In Proceedings of the International Conference GIS-From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space (pp. 162-178). London, UK: Springer-Verlag.
13. Freksa, C. (1992b). The double-cross calculus. .
14. Gerevini, A., & Renz, J. (2002). Combining topological and size information for spatial reasoning. Artif. Intell., 137(1-2), 1-42.
15. Giacomo, G., Lesperance, Y., & Levesque, H. J. (2000). Congolog, a concurrent programming language based on the situation calculus. Artif. Intell., 121(1-2), 109-169.
16. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004). Nonmonotonic causal theories. Artif. Intell., 153(1-2), 49-104.
17. Gooday, J., & Cohn, A. (1996). Transition-based qualitative simulation. In Proceeding of the 10th InternationalWorkshop on Qualitative Reasoning (pp. 74-82). AAAI Press.
18. Gooday, J., & Galton, A. (1997). The transition calculus: A high-level formalism for reasoning about action and change. J. Exp. Theor. Artif. Intell., 9(1), 51-66.
19. Grosskreutz, H., & Lakemeyer, G. (2000). cc-golog: Towards more realistic logic-based robot controllers. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelth Conference on Innovative Applications of Artificial Intelligence, (pp. 476-482). AAAI Press/The MIT Press.
20. Hazarika, S. M., & Cohn, A. G. (2001). Qualitative spatio-temporal continuity. In COSIT 2001: Proceedings of the International Conference on Spatial Information Theory (pp. 92-107). London, UK: Springer-Verlag.
21. th National Conference on Artificial Intelligence, (pp. 401-405). Philadelphia, PA: Morgan Kaufmann.
22. Kim, J. (1971). Causes and events: Mackie on causation. The Journal of Philosophy, 68(14), 426-441.
23. Kim, J. (1976). Events as property exemplifications. In M. Brand & D. Walton (Eds.), Action theory (pp. 159-177). Dordrecht: Reidel.
24. Kowalski, R., & Sergot, M. (1986). A logic-based calculus of events. New Gen. Comput., 4(1), 67-95.
25. Lifschitz, V. (1994). Circumscription. In Handbook of logic in artificial intelligence and logic programming (vol. 3)-Nonmonotonic reasoning and uncertain reasoning (pp. 297-352). New York: Oxford University Press.
26. Ligozat, G., & Renz, J. (2004). What is a qualitative calculus? A general framework. In Lecture Notes in Computer Science, Bibliographic Details, (pp. 53-64). Germany: Springer-Verlag.
27. th International Joint Conference on Artificial Intelligence (IJCAI-5), Montreal, Quebec, Canada (pp. 1985-1991). San Mateo, CA: Morgan Kaufmann.
28. Lin, F., & Reiter, R. (1994). State constraints revisited. Journal of Logic and Computation, 4, 655-678.
29. th Annual Conference on Artificial Intelligence, San Jose, CA, July 12-16, 1992 (pp. 590-595). AAAI Press/The MIT Press.
30. McCain, N., & Turner, H. (1997). Causal theories of action and change. In H. Shrobe & T. Senator (Eds.), Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (pp. 460-465). Menlo Park, CA: AAAI Press.
31. McCarthy, J. (1977). Epistemological problems of artificial intelligence. In Readings in Nonmonotonic Reasoning, (pp. 46-52). San Francisco, CA: Morgan Kaufmann.
32. McCarthy, J., & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer & D. Michie (Eds.), Machine intelligence 4 (pp. 463-502). Edinburgh University Press.
33. McIiraith, S. A. (2000). Integrating actions and state constraints: A closedform solution to the ramification problem (sometimes). Artif. Intell., 116(1-2), 87-121.
34. th European Conference on Artificial Intelligence (pp. 234-238).
35. Muller, P. (1998a). A qualitative theory of motion based on spatio-temporal primitives. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro (Eds.), Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR '98), Trenton, Italy, June 2-5, 1998 (pp. 131-143). Morgan Kaufmann.
36. Muller, P. (1998b). Space-time as a primitive for space and motion. Formal Ontology in Information Systems (FOIS-98), 46, 63-76.
37. Pianesi, F., & Varzi, A. (2000). Events and event talk: An introduction. In J. Higginbottom, F. Pianesi, & A. Varzi (Eds.), In Speaking of events (pp. 3-48). Oxford: Oxford University Press.
38. Pinto, J. (1998). Concurrent actions and interacting effects. In A. G. Cohn, L. Schubert, & S. C. Shapiro (Eds.), KR: Principles of knowledge representation and reasoning (pp. 292-303). Morgan Kaufmann.
39. Pinto, J. A. (1994). Temporal reasoning in the situation calculus. PhD thesis, Computer Science, University of Toronto, 1994.
40. Quine, W. (1960). Word and object. Cambridge, MA: MIT Press.
41. Randell, D. A., Cui, Z., & Cohn, A. (1992). A spatial logic based on regions and connection. In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (pp. 165-176). San Mateo, CA: Morgan Kaufmann.
42. Reiter, R. (1991). The frame problem in situation the calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (pp. 359-380). San Diego, CA: Academic Press Professional.
43. Reiter, R. (1993). Proving properties of states in the situation calculus. Artif. Intell., 64(2), 337-351.
44. Reiter, R. (2001). Knowledge in action: Logical foundations for describing and implementing dynamical systems. Cambridge, MA: MIT Press.
45. Sandewall, E. (1994). Features and fluents (Vol. 1): The representation of knowledge about dynamical systems. New York: Oxford University Press.
46. th International Joint Conference on Artificial Intelligence, Detroit, MI, USA, August, 1989. Morgan Kaufmann.
47. th International Joint Conference on Artificial Intelligence, Chambéry, France, Aug. 28-Sept. 3, 1993. Morgan-Kaufmann.
48. Shanahan, M. (1995). Default reasoning about spatial occupancy. Artif. Intell., 74(1), 147-163.
49. Shanahan, M. (1997). Solving the frame problem: A mathematical investigation of the common sense law of inertia. Cambridge, MA: MIT Press.
50. Shoham, Y. (1988). Reasoning about change: Time and causation from the standpoint of artificial intelligence. Cambridge, MA: MIT Press.
51. Sosa, E., & Tooley, M. (1993). Causation. Oxford readings in philosophy. Oxford: Oxford University Press.
52. Thielscher, M. (1998). Introduction to the fluent calculus. Electron. Trans. Artif. Intell., 2, 179-192.
53. Worboys, M. F. (2005). Event-oriented approaches to geographic phenomena. Int. Journal of Geographical Inf. Science, 19(1), 1-28.