Anchoring symbols to conceptual spaces: the case of dynamic scenarios

Abstract This paper deals with the anchoring of one of the most influential symbolic formalisms used in cognitive robotics, namely the situation calculus , to a conceptual representation of dynamic scenarios. Our proposal is developed with reference to a cognitive architecture for robot vision. An experimental setup is presented, aimed at obtaining intelligent monitoring operations of a robotic finger starting from visual data.

[1]  Alessandro Saffiotti,et al.  Perceptual Anchoring of Symbols for Action , 2001, IJCAI.

[2]  Ruzena Bajcsy,et al.  Recovery of Parametric Models from Range Images: The Case for Superquadrics with Global Deformations , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[3]  Peter I. Corke,et al.  A tutorial on visual servo control , 1996, IEEE Trans. Robotics Autom..

[4]  Salvatore Gaglio,et al.  An architecture for autonomous agents exploiting conceptual representations , 1998, Robotics Auton. Syst..

[5]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[6]  Hans-Hellmut Nagel,et al.  A vision of vision and language' comprises action: an example from road traffic , 1994 .

[7]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[8]  Salvatore Gaglio,et al.  Understanding dynamic scenes , 2000, Artif. Intell..

[9]  Jeffrey Mark Siskind.  Grounding language in perception , 2004, Artificial Intelligence Review.

[10]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

[11]  Alessandro Saffiotti,et al.  Anchoring Symbols to Sensor Data: Preliminary Report , 2000, AAAI/IAAI.

[12]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[13]  Yasuo Kuniyoshi,et al.  Qualitative Recognition of Ongoing Human Action Sequences , 1993, IJCAI.

[14]  Michael Gelfond,et al.  What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[15]  D. Marr,et al.  Representation and recognition of the movements of shapes , 1982, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[16]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[17]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[18]  Alberto Finzi,et al.  Autonomous mobile manipulators managing perception and failures , 2001, AGENTS '01.

[19]  Alex Pentland,et al.  Perceptual Organization and the Representation of Natural Form , 1986, Artif. Intell..

[20]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[21]  John K. Tsotsos.  Knowledge organization and its role in representation and interpretation for time‐varying data: the ALVEN system , 1985, Comput. Intell..

[22]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[23]  M. Shanahan,et al.  Deriving Fluents from Sensor Data for Mobile Robots , 2001 .

[24]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[25]  Antonio Chella,et al.  Conceptual spaces for anchoring (review of Peter Gärdenfors, "Conceptual Spaces. The Geometry of Thought") , 2003 .

[26]  Josefina Sierra-Santibfifiez.  Grounded Models as a Basis for Intuitive Reasoning: the Origins of Logical Categories , 2001 .

[27]  Lesley Jeffries.  Words and Meaning , 1998 .

[28]  John K. Tsotsos,et al.  A framework for visual motion understanding , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[29]  Benjamin Kuipers,et al.  A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations , 1991, Robotics Auton. Syst..

[30]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[31]  M. Shanahan.  Solving the frame problem , 1997 .

[32]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

[33]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[34]  Michael Isard,et al.  Active Contours , 2000, Springer London.

[35]  Alan V. Oppenheim,et al.  Discrete-time Signal Processing. Vol.2 , 2001 .

[36]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[37]  Shaogang Gong,et al.  Visual Surveillance in a Dynamic and Uncertain World , 1995, Artif. Intell..

[38]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[39]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[40]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[41]  Salvatore Gaglio,et al.  A Cognitive Architecture for Artificial Vision , 1997, Artif. Intell..

[42]  Richard A. Volz,et al.  Teleautonomous systems: projecting and coordinating intelligent action at a distance , 1990, IEEE Trans. Robotics Autom..

[43]  Silvia Coradeschi,et al.  Anchoring symbols to sensor data in single and multiple robot systems : papers from the 2001 AAAI Fall Symposium, November 2-4, North Falmouth, Massachusetts , 2001 .

[44]  Wolfram Burgard,et al.  GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot , 1998, KI.

[45]  Benjamin Kuipers,et al.  The Spatial Semantic Hierarchy , 2000, Artif. Intell..

[46]  Monica Nicolescu,et al.  Learning task representations from experienced demonstrations , 2001 .

[47]  G. Johansson.  Visual perception of biological motion and a model for its analysis , 1973 .

[48]  Demetri Terzopoulos,et al.  Snakes: Active contour models , 2004, International Journal of Computer Vision.