Abstract
Reasoning about movement in two-dimensions can be broken down to depth and spatial relations between objects. This paper covers previous work based on the formal logic descriptions in situational calculus. Also covered is a simulator that produces data for a logical reasoner to process and potentially make decisions about motion in two-dimensions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Soutchanski, M., Santos, P.: Reasoning about Dynamic Depth Profiles. In: 18th biennial European Conference on Artificial Intelligence, pp. 30–34 (2008)
de Berg, M., van Kreveld, M., Overmars, M., Schwarzkopf, O.: Computational Geometry, Algorithms and Applications Second Revised Edition, 2nd edn. Springer, Heidelberg (2000)
Lee, D.T.: Proximity and Reachability in the Plane (1978)
Reiter, R.: Knowledge in Action. In: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Nagel, H.: Steps Towards a Cognitive Vision System. Artificial Intelligence Magazine 25(2), 31–50 (2004)
Howarth, R.J., Buxton, H.: Conceptual Descriptions From Monitoring and Watching Image Sequences. Image and Vision Computing Journal 18, 105–135 (2000)
Goultiaeva, A., Lesperance, Y.: Incremental Plan Recognition in an Agent Programming Framework. In: Proceedings of the 2006 AAAI Workshop on Cognitive Robotics, AAAI Technical Report WS-06-03 (2006)
Miene, A., Lattner, A., Visser, U., Herzog, O.: Dynamic-Preserving Qualitative Motion Description for Intelligent Vehicles. In: IEEE Intelligent Vehicles Symposium, pp. 642–646 (2004)
Lattner, A., Timm, I.J., Lorenz, M., Herzog, O.: Representation of occurrences for road vehicle traffic. In: IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, pp. 191–196 (2005)
Gehrke, J., Lattner, A., Herzog, O.: Qualitative Mapping of Sensory Data for Intelligent Vehicles. In: International Joint Conference on Artificial Intelligence, pp. 51–60 (2005)
Vassos, S., Levesque, H.: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008)
Pynadath, D.V., Wellman, M.P.: Accounting for context in plan recognition, with application to traffic monitoring. In: Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995)
Lin, D., Goebel, R.: A Message Passing Algorithm for Plan Recognition. In: Twelfth International Joint Conference on Artificial Intelligence (1991)
Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artificial Intelligence 111, 171–208 (1999)
Gabaldon, A., Lakemeyer, G.: ESP: A Logic of Only-Knowing. In: Noisy Sensing and Acting Twenty-Second Conference on Artificial Intelligence, AAAI 2007 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gross, J. (2009). Reasoning about Movement in Two-Dimensions. In: Gao, Y., Japkowicz, N. (eds) Advances in Artificial Intelligence. Canadian AI 2009. Lecture Notes in Computer Science(), vol 5549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01818-3_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-01818-3_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01817-6
Online ISBN: 978-3-642-01818-3
eBook Packages: Computer ScienceComputer Science (R0)