Syntactic Hierarchy for Robotic Systems

Article type: Research Article

Authors: Stilman, Boris

Affiliations: Department of Computer Science and Engineering, Campus Box 109, University of Colorado at Denver, Denver, CO 80217-3364

Abstract: This article reports new results of research on techniques for the search for the optimal (suboptimal) operation of complex control systems, especially robotic systems. To discover the inner, domain-independent properties of human expert heuristics, which were successful in a certain class of complex control systems, we develop a formal theory, so-called linguistic geometry. This research includes the development of syntactic tools for knowledge representation and reasoning about large-scale hierarchical complex systems. It relies on the formalization of search heuristics of high-skilled human experts, which allow to decompose a complex system into a hierarchy of subsystems and thus solve intractable problems reducing the search. The hierarchy of subsystems is represented as a hierarchy of formal attribute languages. This article includes an informal survey of linguistic geometry, major formal issues, and detailed consideration of linguistic geometry of robotic autonomous vehicles.

DOI: 10.3233/ICA-1993-1105

Journal: Integrated Computer-Aided Engineering, vol. 1, no. 1, pp. 57-81, 1993