Network languages for intelligent control

In order to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems, we develop a formal theory: the 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 one 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 paper includes a brief survey of the Linguistic Geometry and a detailed comparative description of two comprehensive examples of solving optimization problems for military autonomous agents with cooperative and opposing interests operating on surface and in space. These examples include actual generation of the hierarchy of languages and demonstrate the drastic reduction of search in comparison with conventional search algorithms.