Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

Robotics has been supplemented by the growing body of techniques associated with formal languages. One remaining challenge for bottom-up formal methods is to provide effective abstractions to their top-down counterparts in order to achieve a seamless integration. This paper describes our efforts to tackle this challenge in the domain of spatial behavior. Our general goal is to understand principles involved in the formation of hierarchic representations that can greatly simplify the control and planning tasks. We propose that this hierarchy be built from the bottom-up according to formal language principles, while incorporating principles from dynamical systems theory. The general idea is that relevant interactions between the agent's dynamics, task and environment are manifested as patterns. Compared to other approaches these patterns are not based on abstract, high-level constructs but convey a form of meaning that inherently ties the system's dynamics, environment and task characteristics. Understanding the natural principles underlying hierarchic organization of behavior is a fundamental step toward developing formal languages dealing with dynamical systems. It can be applied to help understand spatial intelligence and eventually help design more versatile and adaptive agents.

Original languageEnglish (US)
Title of host publicationIROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
Subtitle of host publicationCelebrating 50 Years of Robotics
Pages3093-3100
Number of pages8
DOIs
StatePublished - Dec 29 2011
Event2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics, IROS'11 - San Francisco, CA, United States
Duration: Sep 25 2011Sep 30 2011

Publication series

NameIEEE International Conference on Intelligent Robots and Systems

Other

Other2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics, IROS'11
CountryUnited States
CitySan Francisco, CA
Period9/25/119/30/11

    Fingerprint

Cite this

Kong, Z., & Mettler May, B. F. (2011). Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior. In IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics (pp. 3093-3100). [6048571] (IEEE International Conference on Intelligent Robots and Systems). https://doi.org/10.1109/IROS.2011.6048571