A Logic-Based Formulation of Active Visual Perception

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 64-72

  Shanahan, Murray ^a   Randell, David ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HUMAN ROBOT INTERACTION; VISION;

ASPECT-GRAPH; EVENT CALCULUS; FORMALISATION; HUMANOID ROBOT; ROBOT KNOWLEDGE; ROBOT PERCEPTION; VISUAL PERCEPTION;

ANTHROPOMORPHIC ROBOTS;

EID: 85167458611     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Aloimonos, J., Weiss, I. and Bandyopadhyay, A. 1987. Active Vision. In Proc. 1st International Conference on Computer Vision, pp. 35-54.
2. Ballard, D.H. 1991. Animate Vision. Artificial Intelligence, vol. 48, pp. 57-86.
3. Cohn, A.G. and Hazarika, S. 2001. Qualitative Spatial Reasoning: An Overview. Fundamenta Informatica, vol 46(1-2), pp. 2-32.
4. Cohn, A.G., Magee, D., Galata, A., Hogg, D. and Hazarika, S. 2003. Towards an Architecture for Cognitive Vision Using Qualitative Spatio-Temporal Representations and Abduction. In Spatial Cognition III, eds. C.Freska, C.Habel & K.F.Wender, Springer, pp. 232-248.
5. Hazarika, S. and Cohn, A.G. 2002. Abducing Qualitative Spatio-Temporal Histories from Partial Observations. In Proc. 2002 Knowledge Representation Conference (KR 2002), pp. 14-25.
6. Kakas, A.C., Kowalski, R.A. & Toni, F. 1992. Abductive Logic Programming. Journal of Logic and Computation, vol 2(6), pp. 719-770.
7. Koenderink, J.J. and van Doorn, A.J. 1979. The Internal Representation of Solid Shape with Respect to Vision. Biological Cybernetics, vol. 32, pp. 211-216.
8. Lespérance, Y., Levesque, H.J., Lin, F., Marcu, D. Reiter, R. and Scherl, R.B. 1994. A Logical Approach to High-Level Robot Programming: A Progress Report. In Control of the Physical World by Intelligent Systems: Papers from the 1994 AAAI Fall Symposium, ed. B.Kuipers, New Orleans, pp. 79-85.
9. Levesque, H. 1996. What Is Planning in the Presence of Sensing? In Proc. 1996 American Association for Artificial Intelligence Conference (AAAI 96), pp. 1139-1146.
10. Pirri, F. and Finzi, A. 1999. An Approach to Perception in Theory of Actions: Part I. Electronic Transactions on Artificial Intelligence, vol 3, pp. 19-61.
11. Pirri, F. and Romano, M. 2002. A Situation-Bayes View of Object Recognition Based on SymGeons. In Proc. Third International Cognitive Robotics Workshop.
12. Poole, D. 1993. Logic Programming, Abduction and Probability: A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities. New Generation Computing, vol. 11, pp. 377-400.
13. Poole, D. 1995. Logic Programming for Robot Control. In Proc. 1995 International Joint Conference on Artificial Intelligence (IJCAI95), pp. 150-157.
14. Pylyshyn, Z.W. 2001. Visual Indexes, Preconceptual Objects, and Situated Vision. Cognition, vol. 80, pp. 127-158.
15. Randell, D., Witkowski, M. and Shanahan, M.P. 2001. From Images to Bodies: Modelling Spatial Occlusion and Motion Parallax. In Proc. 2001 International Joint Conference on Artificial Intelligence (IJCAI 01), pp. 57-63.
16. Remolina, E. and Kuipers, B. 2004. Towards a General Theory of Topological Maps. Artificial Intelligence, vol. 152, pp. 47-104.
17. Santos, P. and Shanahan, M.P. 2002. Hypothesising Object Relations from Image Transitions. In Proc. 2002 European Conference on Artificial Intelligence (ECAI 02), pp. 292-296.
18. Scherl, R.B. and Levesque, H. 2003. Knowledge, Action, and the Frame Problem. Artificial Intelligence, vol. 144(1-2), pp. 1-39.
19. Shanahan, M.P. 1996a. Robotics and the Common Sense Informatic Situation. In Proc. 1996 European Conference on Artificial Intelligence (ECAI 96), pp. 684-688.
20. Shanahan, M.P. 1996b. Noise and the Common Sense Informatic Situation for a Mobile Robot. In Proc. 1996 American Association for Artificial Intelligence Conference (AAAI 96), pp. 1098-1103.
21. Shanahan, M.P. 1997a. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press.
22. Shanahan, M.P. 1997b. Noise, Non-Determinism and Spatial Uncertainty. In Proceedings 1997 American Association for Artificial Intelligence Conference (AAAI 97), pp. 153-158.
23. Shanahan, M.P. 1999. The Event Calculus Explained. In Artificial Intelligence Today, eds. M.J.Wooldridge & M.Veloso, Springer-Verlag Lecture Notes in Artificial Intelligence no. 1600, Springer-Verlag (1999), pp. 409-430.
24. Shanahan, M.P. 2000. Reinventing Shakey. In Logic-Based Artificial Intelligence, ed. J.Minker, Academic Press, pp. 233-253.
25. Shanahan, M.P. 2002. A Logical Account of Perception Incorporating Feedback and Expectation. In Proc. 2002 Knowledge Representation Conference (KR 02), pp. 3-13.
26. Shanahan, M.P. and Witkowski, M. 2001. High-Level Robot Control Through Logic. In Intelligent Agents VII, Springer, 2001, pp. 104-121.
27. Shi, J. and Tomasi, C. 1994. Good Features to Track. In Proc. IEEE Conference on Computer Vision and Pattern Recognition (CVPR 94), pp. 593-600.