• DocumentCode
    2550745
  • Title

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

  • Author

    Kong, Zhaodan ; Mettler, Bernie

  • Author_Institution
    Department of Aerospace Engineering and Mechanics at the University of Minnesota, Minneapolis, 55455, USA
  • fYear
    2011
  • fDate
    25-30 Sept. 2011
  • Firstpage
    3093
  • Lastpage
    3100
  • 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.
  • Keywords
    Aerodynamics; Formal languages; Humans; Manifolds; Trajectory; Vehicle dynamics; Vehicles;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on
  • Conference_Location
    San Francisco, CA
  • ISSN
    2153-0858
  • Print_ISBN
    978-1-61284-454-1
  • Type

    conf

  • DOI
    10.1109/IROS.2011.6094903
  • Filename
    6094903