Paper Info
Title
Linguistic Geometry Tools Generate Optimal Solutions
Abstract
A formal theory introduced in this paper, the Linguistic Geometry, includes mathematical tools for knowledge representation and reasoning about multiagent discrete pursuit-evasion games. These class of games is an adequate mathematical model for the real world combat operations, particularly, for the aerospace and navy problem domains. Linguistic Geometry relies on the formalization of search heuristics, which allow one to decompose the game into a hierarchy of images (subsystems), and thus solve otherwise intractable problems by reducing the search dramatically. These hierarchical images extracted in the form of networks of paths from the expert vision of the problem are formalized as a hierarchy of formal languages. An example of the game is considered. While the solution of this problem was presented in other publications this is the first paper when we prove optimality of the solution. We conclude that for a certain class of search problems Linguistic Geometry tools, a set of heuristic algorithms, generate optimal solutions.
Year
DOI
Venue
1996
10.1007/3-540-61534-2_5
ICCS
Keywords
Field
DocType
optimal solutions,linguistic geometry tools generate,heuristic algorithm,mathematical model,knowledge representation and reasoning,formal language
Aerospace,Heuristic,Knowledge representation and reasoning,Formal language,Theory,Computer science,Theoretical computer science,Heuristics,Hierarchy,Search tree
Conference
ISBN
Citations 
PageRank 
3-540-61534-2
1
0.37
References 
Authors
11
1
Name
Order
Citations
PageRank
boris stilman18717.77