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
Link To Document :
بازگشت