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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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)