Network Languages for Complex Systems

AbstractIn this paper, we describe research on two-dimensional geometrical structures for complex systems to accomplish applications to robotics, process planning and control, scheduling, decision support, etc. This research includes the development of tools for representation and reasoning about hierarchical networks of paths that are inherent for complex real-world systems. It relies on the formalization of search heuristics of high-skilled human experts which have resulted in the development of successful applications in different areas. The proposed approach is based on a broad application of the theory of formal languages and grammars as well as theories of formal problem-solving and planning employing the first-order predicate calculus. A performance of implementations is considered in detail