Introduction to linguistic geometry tools: selected topics

Linguistic geometry (LG) includes a mathematical model and a set of formal tools for knowledge representation and reasoning about multiagent discrete pursuit-evasion games. This paper is a brief survey of formal tools. It covers formal issues related to complex systems, languages of trajectories and networks. New issues of distance measurement in the state space essential for construction of winning strategies within the no-search approach in LG are also included. Trajectory generating techniques for the agents moving with a constant speed are considered at the end of this paper.

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

[2]  Vladimir Yakhnis,et al.  Linguistic geometry tools for multiple agents with variable speeds , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[3]  Vladimir Yakhnis A UML based notation for specifying abstract board games , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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

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

[6]  Boris Stilman,et al.  No-search approach in linguistic geometry: combat simulation tool , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[7]  Boris Stilman Linguistic geometry for computationally challenging problems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[8]  Boris Stilman No-search approach in linguistic geometry: state space chart , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[9]  Vladimir Yakhnis Grammar of zones with admissible trajectories of arbitrary degrees , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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

[11]  Boris Stilman,et al.  No-search approach in linguistic geometry: experiments with concurrent agents , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[12]  Boris Stilman No-search approach in linguistic geometry: construction of strategies , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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