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.
Get full access to this article
View all access options for this article.