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 Citations (Scopus)

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

Formal languages
Dynamical systems
Formal methods
System theory
Robotics
Planning

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

Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior. / Kong, Zhaodan; Mettler May, Berenice F.

IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. 2011. p. 3093-3100 6048571 (IEEE International Conference on Intelligent Robots and Systems).

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

Kong, Z & Mettler May, BF 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., 6048571, IEEE International Conference on Intelligent Robots and Systems, pp. 3093-3100, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics, IROS'11, San Francisco, CA, United States, 9/25/11. https://doi.org/10.1109/IROS.2011.6048571
Kong Z, Mettler May BF. 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. 2011. p. 3093-3100. 6048571. (IEEE International Conference on Intelligent Robots and Systems). https://doi.org/10.1109/IROS.2011.6048571
Kong, Zhaodan ; Mettler May, Berenice F. / Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior. IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. 2011. pp. 3093-3100 (IEEE International Conference on Intelligent Robots and Systems).
@inproceedings{b729db639ad84efd9478203c59ee3a7a,
title = "Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior",
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.",
author = "Zhaodan Kong and {Mettler May}, {Berenice F}",
year = "2011",
month = "12",
day = "29",
doi = "10.1109/IROS.2011.6048571",
language = "English (US)",
isbn = "9781612844541",
series = "IEEE International Conference on Intelligent Robots and Systems",
pages = "3093--3100",
booktitle = "IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems",

}

TY - GEN

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

AU - Kong, Zhaodan

AU - Mettler May, Berenice F

PY - 2011/12/29

Y1 - 2011/12/29

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84455163006&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84455163006&partnerID=8YFLogxK

U2 - 10.1109/IROS.2011.6048571

DO - 10.1109/IROS.2011.6048571

M3 - Conference contribution

AN - SCOPUS:84455163006

SN - 9781612844541

T3 - IEEE International Conference on Intelligent Robots and Systems

SP - 3093

EP - 3100

BT - IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems

ER -