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.

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

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

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

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

[5]  Keith Price,et al.  Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Company, Palo Alto, CA, ISBN 0-935382-01-1. , 1980, SGAR.

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

[7]  Eugene Galanter,et al.  Handbook of mathematical psychology: I. , 1963 .

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

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

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

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

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

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

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

[15]  Boris Stilman.  A linguistic geometry for space applications , 1994 .

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

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

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

[19]  Boris Stilman.  A formal model for heuristic search , 1994, CSC '94.

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

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

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

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

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

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

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

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

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

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