Paper Info
Title
A linguistic geometry for technology transfer
Abstract
This paper reports new results of research on techniques for the search for the optimal (suboptimal) operation of complex control 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, and transfer these properties to new problem domains, 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 high-skilled human experts, which allow to decompose a complex system into a hierarchy of ~ubsystems,~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, and two examples of a solution of control optimization problems for military autonomous vehicles in 2-D and 3-D cases. There are many real-world problems where human expert skills in reasoning about complex systems are incomparably higher than the level of modern computing systems. At the same time there are even more areas where advances are required but human problem-solving skills can not be directly applied. For example, there are problems of planning and automatic control of autonomous agents such as space vehicles, stations and robots with cooperative and opposing interests functioning in a complex, hazardous environment. Reasoning about such complex systems should be done automatically, in a timely manner, and often in a real time. Moreover. there are no highly-skilled human experts in these fields ready to substitute for robots (on a virtual model) or transfer their knowledge to them. There is no grand-master in robot control, although, of course, the knowledge of existing experts in this field should not be neglected - it is even more valuable. It is very important to study human expert reasoning about similar complex systems in the areas where the results are successful, in order to discover the keys to success, and then apply and adopt these keys to the new. as yet, unsolved problems. The question then is what language tools do we have for the adequate representation of human expert skills? An application of such language to the area of successful results achieved by the human expert should yield a formal, domain independent knowledge ready to be transferred to different areas. Neither natural nor programming languages satisfy our goal. The first are. informal and ambiguous, while the second are usually detailed, lower-level tools. Actually, we have to learn how we can formally represent, generate, and investigate a mathematical model based on the abstract images extracted from the expert vision of the problem.
Year
DOI
Venue
1994
10.1145/326619.326748
SAC
Keywords
Field
DocType
heuristic search,linguistic geometry,formal languages,complex system,optimal control,robotics,path planning,technology transfer,real time,autonomous agent,formal language,control system,optimization problem,knowledge representation and reasoning,automatic control,satisfiability,robot control,mathematical model,programming language
Motion planning,Heuristic,Formal language,Optimal control,Computer science,Technology transfer,Artificial intelligence,Robotics,Linguistic geometry
Conference
ISBN
Citations 
PageRank 
0-89791-647-6
0
0.34
References 
Authors
12
1
Name
Order
Citations
PageRank
boris stilman18717.77