LINGUISTIC GEOMETRY: METHODOLOGY AND TECHNIQUES

This paper reports new results of research on techniques for the search for the optimal (suboptimal) operation of complex control systems, first of all, robotic systems. In order 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, the 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 the highly skilled human experts, which allow decomposition of 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 an informal survey of the linguistic geometry; major formal issues on the languages of trajectories, trajectory networks, and network transforma...

[1]  M. Mesarovic,et al.  Theory of Hierarchical, Multilevel, Systems , 1970 .

[2]  Boris Stilman.  A linguistic approach to geometric reasoning , 1993 .

[3]  Theodosios Pavlidis,et al.  Structural pattern recognition , 1977 .

[4]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[5]  King-Sun Fu,et al.  Syntactic Pattern Recognition And Applications , 1968 .

[6]  Boris Stilman.  Translations of network languages , 1994 .

[7]  Jerome Feder,et al.  Plex languages , 1971, Inf. Sci..

[8]  Azriel Rosenfeld,et al.  Picture languages: Formal models for picture recognition , 1979 .

[9]  Alan C. Shaw,et al.  A Formal Picture Description Scheme as a Basis for Picture Processing Systems , 1969, Inf. Control..

[10]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[11]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[12]  Daniel J. Rosenkrantz,et al.  Programmed Grammars and Classes of Formal Languages , 1969, JACM.

[13]  William B. Rouse.  A Model of the Human in a Cognitive Prediction Task , 1973, IEEE Trans. Syst. Man Cybern..

[14]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[15]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[16]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[17]  Boris Stilman.  Network languages for complex systems , 1993 .

[18]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[19]  R. Narasimhan,et al.  Syntax-directed interpretation of classes of pictures , 1966, CACM.

[20]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[21]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[22]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[23]  Seymour Ginsburg,et al.  The mathematical theory of context free languages , 1966 .

[24]  Mikhail M. Botvinnik.  Computers in chess - solving inexact search problems , 1984, Springer series in symbolic computation.

[25]  Boris Stilman.  Syntactic Hierarchy for Robotic Systems , 1993 .

[26]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..