For many years (1975-1988) in Moscow, as a Project Leader, I was involved in the
interdisciplinary research and implementation of large-scale AI systems within
the framework of the PIONEER Project. I led the development of power control and
maintenance systems, short and long-range planning systems, defense control
systems, and advanced computer chess systems. Within the framework of PIONEER
Project I initiated and led the development of the advanced CASE system
PROGRAMMERS' WORKBENCH that supported all the software R&D in a number of
research establishments in the former USSR including the PIONEER Project. I also
initiated and led another part of the PIONEER Project, HIERARCHY OF FORMAL
GRAMMARS FOR SEARCH REDUCTION, which was related to the investigation of
mathematical foundations of the algorithms developed within the project. At the
national and international levels I served (1981-1988) as a Scientific Secretary
and Chair of the Program Committee of the USSR National Commission SEARCH MODELS
AND APPLICATIONS. This commission coordinated all the research activities in the
former USSR in the field of Heuristic Search. Computer games programming,
theoretical aspects and applications to planning, scheduling and other economical
problems were of particular interest to this Commission. Besides activity at the
national level, our Commission established close connections with the
international AI research community and exchanged visits and publications. In
1985-89, I led the regional group for the development of new methods and AI
software for teaching Computer Science within the National FORESTALL EDUCATION
PROJECT. In 1988-1990, I worked as the Leading Computer Scientist/Chief of
Department for Software Design at the National Research Geological Institute for
Oil Development. I led the development of the Artificial Intelligence part of the
national project, The National System for the collection, transmission and
treatment of geological, geophysical and geochemical information - GEOSYSTEM. On
all the leadership posts I wrote and coordinated research grant proposals that
won substantial funding at the national and international levels.
Since 1991, I have been developing a new area in Artificial Intelligence,
Linguistic Geometry - LG. This development generated new results and promises
considerable advances in Robotics, War Simulation, Space Navigation, Control,
Planning, Scheduling, VLSI Design, Intelligent Manufacturing, Software
Engineering (Formal Methods), High Assurance Systems, Network Security, and other
practical areas. For the development, dissemination, and discussion of the ideas
of Linguistic Geometry, and the following application to various practical
problems, I am running an INTERNATIONAL PROGRAM of presentations, tutorials, and
symposiums. I have given numerous contributed, invited, conference, and tutorial
presentations of this approach around the world. A list of my invited extended
presentations on LG in 1995-98 includes 55 invitations from 15 countries
including USA, Australia, Turkey, UK, Greece, France, Venezuela, Spain, Puerto
Rico, Germany, Czech Rep, Russia, Mexico, Italy, New Zealand. A number of invited
presentations around the world have been scheduled for the near future. These
activities resulted in the international collaboration of researchers and
practitioners on topics related to LG. In particular, I achieved one of the main
goals of this program to secure a substantial funding from the federal, private,
and foreign sources.
Last four years were very productive in establishing Linguistic Geometry and
organizing national and international research teams and meetings.
In February 1995, I traveled to Puerto Rico where I chaired the First Symposium
on Linguistic Geometry and Semantic Control, which I organized within the
framework of the World Congress on Intelligent Manufacturing together with
researchers from the Mathematical Sciences Institute at Cornell University,
Ithaca, and the Center for Optimization and Semantic Control at Washington
University, St. Louis. A very interesting collection of papers was presented at
this Symposium.
Currently, the LG team includes also groups from Sandia National Laboratories,
Air Force Phillips Laboratory, Lockheed Martin Corp., Pioneer Technologies, GIS
Solutions, American Management Systems, and Rockwell International Corp.
Specialists from two other institutions, NASA Goddard Space Flight Center,
Greenbelt, MD, the Center for Advanced Robotics and Automation at the University
of Wales, Cardiff, UK are also interested in the joint research efforts.
In 1996, I organized Summer School on LG at the St. Petersburg University,
Russia. This School elicited significant interest from professors and students
and served as the start point of our collaboration with Russian scientists. A
number of research teams around the world are waiting for the book on LG to join
collaborative research.
The Second Workshop of the International Institute for General Systems Studies, San Marcos, TX, USA in January of 1997, was a new step in the development of LG. I gave a Keynote Talk and chaired the National Forum on LG. The Forum included 3 sessions:
- Advances of LG
- Construction of High Assurance Systems via LG and Other Methods
- LG: Foundations and Applications.
In particular, at this Forum we proposed and discussed a challenging PROGRAM for the formal development of high assurance hardware/software systems employing Strategic Multiagent Approach and LG. Also, we discussed applications of LG to emergency vehicles routing, robot control, war games simulation, and new approaches to foundations of LG. 9 papers were presented at the Forum.
The Second Symposium on LG was held in Berlin, Germany in August of 1997 within the framework of the 15th IMACS World Congress. The Symposium included 4 tutorial and invited paper sessions:
- Linguistic Geometry for Modeling and Simulation: Informal Survey
- Linguistic Geometry for Modeling and Simulation: Formal Issues
- Construction and Verification of Strategies in Linguistic Geometry and Other Games
- Linguistic Geometry for Multi-Agent Systems: Theory and Applications
13 papers were presented at the Symposium. We discussed new direction in LG: solving search problems by construction of winning strategies (without search at all). Also, we discussed a new approach to LG formal grammars and applications of LG to scheduling, simulation of concurrent war games (no-search approach), and industrial robotics. A number of prototypes was demonstrated including the first implementation of LG system in parallel soft/hardware environment.
Currently, I am working on the Third Symposium on LG to be held in San Diego, CA, USA in October of 1998 within the framework of the IEEE International Conference on Man, Machine, and Cybernetics ‹ SMCą98. Five tutorial and invited paper sessions have been scheduled
- Introduction to Linguistic Geometry: Tools and Experiments
- Optimal Strategies and Formal Grammars
- Winning Strategies in Linguistic Geometry
- Linguistic Geometry Tools
- LG: Implementations
At the Symposium we will discuss theoretical foundations and applications of the no-search approach in LG, a new version of the grammar of Zones, application of formal verification tools to LG grammars, an advanced version of the Combat Simulation Tool, an expansion of the domain of applicability of LG to the multiagent problems with variable speeds, etc.
I am organizing the Center for LG with a number of student scholarships and post-doctoral fellowships, to develop applications, theoretical foundations of LG, and coordinate national and international activities in this area.
|
