Linguistic geometry: a new paradigm for intelligent systems

In order to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, we develop a formal theory, the linguistic geometry. The paper reports on two new examples of application of linguistic geometry to autonomous robotic navigation that demonstrate dramatic search reduction.<<ETX>>

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

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

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

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

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

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

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

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

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

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

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

[12]  Henk Sol,et al.  Proceedings of the 54th Hawaii International Conference on System Sciences , 1997, HICSS 2015.

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

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

[15]  O. Firschein,et al.  Syntactic pattern recognition and applications , 1983, Proceedings of the IEEE.

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

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

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

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

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

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

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