Enabling Technologies for Simulation Science VII, 2003
LG-GUARD employs a hierarchy of multi-resolution games (LG hypergame) to represent various areas ... more LG-GUARD employs a hierarchy of multi-resolution games (LG hypergame) to represent various areas of operations at different levels of detail. LG-GUARD includes a full implementation of advanced fire control by dynamic preemptive control of sensor-to-shooter and shooter-to-target pairing. However, the greatest advantage of LG-GUARD is a fast planning and re-planning based on the Linguistic Geometry (LG) approach. This ability allows
This paper is focused on investigation of the structure of the Primary Language of the human brai... more This paper is focused on investigation of the structure of the Primary Language of the human brain as introduced by J. von Neumann in 1957. According to this hypothesis, the Primary Language empowers all the human symbolic languages and sciences. This is the first paper that provides the details of communication between the primary and conventional science and demonstrates examples of such communication. In our previous papers, we introduced the hypothesis that the Primary Language is the Language of Visual Streams (mental movies) that operate via multiple thought experiments. In the first part of this paper, we introduce various types of visual streams including communication and internal streams as well as mundane and science streams. The communication streams include expression and impression streams. The expression streams pass information from the internal streams to the outer world via converting it into the strings of symbols. The science streams may generate new knowledge because they include the discovery streams controlled by the Algorithm of Discovery (AD). The streams may initiate additional thought experiments, program them, and execute them in due course. The streams are focused employing various themes including proximity and mosaic reasoning. In the second part of this paper, we demonstrate a series of thought experiments that turn a piece of the primary science to the secondary one, the conventional science. Specifically, we introduce several internal visual streams that operate with the theme of Pictorial Linguistic Geometry (LG) as well as the streams of Linguistic LG. Then, we demonstrate how the AD constructs a series of expression streams that operate with a mix of the Pictorial and Linguistic LG, gradually approaching the pure Linguistic LG.
Abstract: This paper is a new step in the development of the Linguistic Geometry. This formal the... more Abstract: This paper is a new step in the development of the Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which have been successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics of the highly-skilled human experts, which allow for the decomposition of a complex system into a dynamic hierarchy of subsystems, and thus solve intractable problems by reducing the search dramatically. In this paper we report application of the Linguistic Geometry tools to a new example of a solution of simplified 2D optimization problem for the autonomous robotic vehicles in aerospace environment. The novelty of this example with respect to other Linguistic Geometry applications is that in this multiagent problem some agents can move simultaneously.
This paper * reports new results in the development of Linguistic Geometry for multiagent systems... more This paper * reports new results in the development of Linguistic Geometry for multiagent systems. The Linguistic Geometry allows for the decomposition of a complex system into a dynamic hierarchy of subsystems, solving intractable search problems by reducing the search dramatically. In this paper we consider briefly the Linguistic Geometry tools and their application to the new multiagent system represented 2D optimization problem for autonomous robotic vehicles in aerospace environment. This example represents a totally concurrent system where all the vehicles move simultaneously, which is different from our earlier examples where only vehicles of each of the opposing sides could move simultaneously.
2016 IEEE 8th International Conference on Intelligent Systems (IS), 2016
As introduced by J. von Neumann in 1957 we continue investigate the structure of the Primary Lang... more As introduced by J. von Neumann in 1957 we continue investigate the structure of the Primary Language of the human brain. Our investigation is focused on rediscovering two major algorithms essential for development of humanity. They are Linguistic Geometry (LG), the algorithm for optimizing war fighting, and the Algorithm of Discovery (AD), the algorithm for inventing new algorithms. According to our hypothesis AD is the Language of Visual Streams (mental movies). In this paper, we further study AD by applying it to the discovery of the genetic code. We emphasize application of mosaic reasoning as one of the major means for focusing visual streams in the desired direction. We reveal the role of the components mosaic reasoning including tiles and aggregates, local and global matching rules, etc., in deciphering the genetic code.
2016 IEEE 8th International Conference on Intelligent Systems (IS), 2016
In discovering nature of the Primary Language of the human brain introduced by J. von Neumann, we... more In discovering nature of the Primary Language of the human brain introduced by J. von Neumann, we suggest that the Primary Language is the Language of Visual Streams. We investigate the Primary Language by researching major ancient algorithms that have been developed as a result of evolution of human intelligence and should be based directly on the Primary Language. One of them is the Algorithm of Discovery (AD). In this paper, we outline briefly foundations of this algorithm, especially, mosaic reasoning. The details of mosaic reasoning are demonstrated on the example of application of the AD to the discovery of the Algorithm for generating the Shortest Trajectories (AST) for Abstract Board Games. Throughout the paper, we include snapshots of the program that simulated this application. Those snapshots replicate snapshots of the visual streams involved in the discovery of AST.
Smc 98 Conference Proceedings 1998 Ieee International Conference on Systems Man and Cybernetics, Oct 11, 1998
The paper includes a description of the improved version of the combat simulation tool presented ... more The paper includes a description of the improved version of the combat simulation tool presented in our earlier papers (1998). This tool is able to solve a class of combat simulation games with an arbitrary start state. The paper includes a description of the architecture of the tool and its main components including Tree Constructor and Trajectory Builder. A move generator algorithm for Tree Constructor is described in details.
Abstract- In order to discover the inner properties of human expert heuristics, which were succes... more Abstract- In order to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems, we develop a formal theory, the 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 complex system into the hierarchy of subsystems, and thus solve intractable problems reducing the search. The hierarchy of subsystems is represented as a hierarchy of formal attribute languages. This paper includes a brief survey of the Linguistic Geometry and a detailed comparative description of two comprehensive examples of solving optimization problems for military autonomous agents with cooperative and opposing interests operating on surface and in space. These examples include actual genera...
Department of Computer Science & Engineering, University of Colorado at DenverCampus Box 109, Den... more Department of Computer Science & Engineering, University of Colorado at DenverCampus Box 109, Denver, CO 80217-3364. Email: bstilman@cse.cudenver.eduAbstract —In this paper we describe new results of research on geometrical properties of complexcontrol systems, the so-called Linguistic Geometry. This research includes the development ofsyntactic tools for knowledge representation and reasoning about large-scale hierarchical complexsystems. It relies on the formalization of search heuristics of high-skilled human experts that haveresulted in the development of successful applications in different areas. A hierarchy of subsystemsof a complex system, the networks of paths, is represented as a hierarchy of formal languages. Inthis paper we investigate transformations of these networks while system moves from one state toanother. The investigation consists of formal, constructive separation of changed and unchangedparts of system representation, the hierarchy of languages. Thus, we addre...
WIT Transactions on Information and Communication Technologies, 1970
This paper reports new results on engineering applications of Linguistic Geometry. This formal th... more This paper reports new results on engineering applications of Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics, which allow to decompose complex system into the hierarchy of subsystems, and thus solve intractable problems reducing the search. Currently we investigate heuristics extracted in the form of hierarchical networks of paths. The dynamic hierarchy of networks is represented as a hierarchy of formal attribute languages. This paper includes a brief survey of the Linguistic Geometry, and an example of a solution of optimization problem for space robotic vehicles. This example includes actual generation of the hierarchy of languages and demonstrates the drastic reduction of search in comparison with conventional search algorithms. It is wel...
The U.S. Army must operate in a highly complex world and dynamic operational environment (OE). In... more The U.S. Army must operate in a highly complex world and dynamic operational environment (OE). In order to maintain pace with a rapidly evolving OE, the Army must distribute training and education to its soldiers and leaders at the point of need. The Linguistic Geometry Real-time Adversarial Intelligence & Decision-making (LG-RAID) simulation supports this goal and is being developed for the Army to train leaders to rapidly develop tactically sound plans. The LG-RAID simulation is a planning tool for Army leaders that semi-automatically generates enemy estimates in a semi-immersive setting. The tool accurately anticipates the enemy's actions, reactions and counter-actions, resulting in the development of a qualitatively better tactical plan. In this paper, we discuss the development and design of the simulation to meet the Army's objective of training leaders to meet the challenges of a complex OE. We also discourse on development and design challenges faced and the future e...
This paper is a new step in the development of the Linguistic Geometry. This formal theory is int... more This paper is a new step in the development of the Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which have been successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics of the highly-skilled human experts, which allow for the decomposition of a complex system into a dynamic hierarchy of subsystems, and thus solve intractable problems by reducing the search dramatically. In this paper we report application of the Linguistic Geometry tools to a new example of a solution of simplified 2D optimization problem for the autonomous robotic vehicles in aerospace environment. The novelty of this example with respect to other Linguistic Geometry applications is that in this multiagent problem some agents can move simultaneously. There are many such problems where human expert skills in reasoning about complex systems ...
Describes experiments with a combat simulation tool. This is a linguistic geometry system for the... more Describes experiments with a combat simulation tool. This is a linguistic geometry system for the game of four active agents broken into two opposing teams. All the agents can move simultaneously if necessary in a 2D district of size N/spl times/N, where N is an arbitrary integer greater than zero. The paper also includes the example of system execution with optimal solution generation and proof of optimality combined in one. This implementation is able of producing optimal decision trees, without search.
Enabling Technologies for Simulation Science VII, 2003
LG-GUARD employs a hierarchy of multi-resolution games (LG hypergame) to represent various areas ... more LG-GUARD employs a hierarchy of multi-resolution games (LG hypergame) to represent various areas of operations at different levels of detail. LG-GUARD includes a full implementation of advanced fire control by dynamic preemptive control of sensor-to-shooter and shooter-to-target pairing. However, the greatest advantage of LG-GUARD is a fast planning and re-planning based on the Linguistic Geometry (LG) approach. This ability allows
This paper is focused on investigation of the structure of the Primary Language of the human brai... more This paper is focused on investigation of the structure of the Primary Language of the human brain as introduced by J. von Neumann in 1957. According to this hypothesis, the Primary Language empowers all the human symbolic languages and sciences. This is the first paper that provides the details of communication between the primary and conventional science and demonstrates examples of such communication. In our previous papers, we introduced the hypothesis that the Primary Language is the Language of Visual Streams (mental movies) that operate via multiple thought experiments. In the first part of this paper, we introduce various types of visual streams including communication and internal streams as well as mundane and science streams. The communication streams include expression and impression streams. The expression streams pass information from the internal streams to the outer world via converting it into the strings of symbols. The science streams may generate new knowledge because they include the discovery streams controlled by the Algorithm of Discovery (AD). The streams may initiate additional thought experiments, program them, and execute them in due course. The streams are focused employing various themes including proximity and mosaic reasoning. In the second part of this paper, we demonstrate a series of thought experiments that turn a piece of the primary science to the secondary one, the conventional science. Specifically, we introduce several internal visual streams that operate with the theme of Pictorial Linguistic Geometry (LG) as well as the streams of Linguistic LG. Then, we demonstrate how the AD constructs a series of expression streams that operate with a mix of the Pictorial and Linguistic LG, gradually approaching the pure Linguistic LG.
Abstract: This paper is a new step in the development of the Linguistic Geometry. This formal the... more Abstract: This paper is a new step in the development of the Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which have been successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics of the highly-skilled human experts, which allow for the decomposition of a complex system into a dynamic hierarchy of subsystems, and thus solve intractable problems by reducing the search dramatically. In this paper we report application of the Linguistic Geometry tools to a new example of a solution of simplified 2D optimization problem for the autonomous robotic vehicles in aerospace environment. The novelty of this example with respect to other Linguistic Geometry applications is that in this multiagent problem some agents can move simultaneously.
This paper * reports new results in the development of Linguistic Geometry for multiagent systems... more This paper * reports new results in the development of Linguistic Geometry for multiagent systems. The Linguistic Geometry allows for the decomposition of a complex system into a dynamic hierarchy of subsystems, solving intractable search problems by reducing the search dramatically. In this paper we consider briefly the Linguistic Geometry tools and their application to the new multiagent system represented 2D optimization problem for autonomous robotic vehicles in aerospace environment. This example represents a totally concurrent system where all the vehicles move simultaneously, which is different from our earlier examples where only vehicles of each of the opposing sides could move simultaneously.
2016 IEEE 8th International Conference on Intelligent Systems (IS), 2016
As introduced by J. von Neumann in 1957 we continue investigate the structure of the Primary Lang... more As introduced by J. von Neumann in 1957 we continue investigate the structure of the Primary Language of the human brain. Our investigation is focused on rediscovering two major algorithms essential for development of humanity. They are Linguistic Geometry (LG), the algorithm for optimizing war fighting, and the Algorithm of Discovery (AD), the algorithm for inventing new algorithms. According to our hypothesis AD is the Language of Visual Streams (mental movies). In this paper, we further study AD by applying it to the discovery of the genetic code. We emphasize application of mosaic reasoning as one of the major means for focusing visual streams in the desired direction. We reveal the role of the components mosaic reasoning including tiles and aggregates, local and global matching rules, etc., in deciphering the genetic code.
2016 IEEE 8th International Conference on Intelligent Systems (IS), 2016
In discovering nature of the Primary Language of the human brain introduced by J. von Neumann, we... more In discovering nature of the Primary Language of the human brain introduced by J. von Neumann, we suggest that the Primary Language is the Language of Visual Streams. We investigate the Primary Language by researching major ancient algorithms that have been developed as a result of evolution of human intelligence and should be based directly on the Primary Language. One of them is the Algorithm of Discovery (AD). In this paper, we outline briefly foundations of this algorithm, especially, mosaic reasoning. The details of mosaic reasoning are demonstrated on the example of application of the AD to the discovery of the Algorithm for generating the Shortest Trajectories (AST) for Abstract Board Games. Throughout the paper, we include snapshots of the program that simulated this application. Those snapshots replicate snapshots of the visual streams involved in the discovery of AST.
Smc 98 Conference Proceedings 1998 Ieee International Conference on Systems Man and Cybernetics, Oct 11, 1998
The paper includes a description of the improved version of the combat simulation tool presented ... more The paper includes a description of the improved version of the combat simulation tool presented in our earlier papers (1998). This tool is able to solve a class of combat simulation games with an arbitrary start state. The paper includes a description of the architecture of the tool and its main components including Tree Constructor and Trajectory Builder. A move generator algorithm for Tree Constructor is described in details.
Abstract- In order to discover the inner properties of human expert heuristics, which were succes... more Abstract- In order to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems, we develop a formal theory, the 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 complex system into the hierarchy of subsystems, and thus solve intractable problems reducing the search. The hierarchy of subsystems is represented as a hierarchy of formal attribute languages. This paper includes a brief survey of the Linguistic Geometry and a detailed comparative description of two comprehensive examples of solving optimization problems for military autonomous agents with cooperative and opposing interests operating on surface and in space. These examples include actual genera...
Department of Computer Science & Engineering, University of Colorado at DenverCampus Box 109, Den... more Department of Computer Science & Engineering, University of Colorado at DenverCampus Box 109, Denver, CO 80217-3364. Email: bstilman@cse.cudenver.eduAbstract —In this paper we describe new results of research on geometrical properties of complexcontrol systems, the so-called Linguistic Geometry. This research includes the development ofsyntactic tools for knowledge representation and reasoning about large-scale hierarchical complexsystems. It relies on the formalization of search heuristics of high-skilled human experts that haveresulted in the development of successful applications in different areas. A hierarchy of subsystemsof a complex system, the networks of paths, is represented as a hierarchy of formal languages. Inthis paper we investigate transformations of these networks while system moves from one state toanother. The investigation consists of formal, constructive separation of changed and unchangedparts of system representation, the hierarchy of languages. Thus, we addre...
WIT Transactions on Information and Communication Technologies, 1970
This paper reports new results on engineering applications of Linguistic Geometry. This formal th... more This paper reports new results on engineering applications of Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics, which allow to decompose complex system into the hierarchy of subsystems, and thus solve intractable problems reducing the search. Currently we investigate heuristics extracted in the form of hierarchical networks of paths. The dynamic hierarchy of networks is represented as a hierarchy of formal attribute languages. This paper includes a brief survey of the Linguistic Geometry, and an example of a solution of optimization problem for space robotic vehicles. This example includes actual generation of the hierarchy of languages and demonstrates the drastic reduction of search in comparison with conventional search algorithms. It is wel...
The U.S. Army must operate in a highly complex world and dynamic operational environment (OE). In... more The U.S. Army must operate in a highly complex world and dynamic operational environment (OE). In order to maintain pace with a rapidly evolving OE, the Army must distribute training and education to its soldiers and leaders at the point of need. The Linguistic Geometry Real-time Adversarial Intelligence & Decision-making (LG-RAID) simulation supports this goal and is being developed for the Army to train leaders to rapidly develop tactically sound plans. The LG-RAID simulation is a planning tool for Army leaders that semi-automatically generates enemy estimates in a semi-immersive setting. The tool accurately anticipates the enemy's actions, reactions and counter-actions, resulting in the development of a qualitatively better tactical plan. In this paper, we discuss the development and design of the simulation to meet the Army's objective of training leaders to meet the challenges of a complex OE. We also discourse on development and design challenges faced and the future e...
This paper is a new step in the development of the Linguistic Geometry. This formal theory is int... more This paper is a new step in the development of the Linguistic Geometry. This formal theory is intended to discover the inner properties of human expert heuristics, which have been successful in a certain class of complex control systems, and apply them to different systems. The Linguistic Geometry relies on the formalization of search heuristics of the highly-skilled human experts, which allow for the decomposition of a complex system into a dynamic hierarchy of subsystems, and thus solve intractable problems by reducing the search dramatically. In this paper we report application of the Linguistic Geometry tools to a new example of a solution of simplified 2D optimization problem for the autonomous robotic vehicles in aerospace environment. The novelty of this example with respect to other Linguistic Geometry applications is that in this multiagent problem some agents can move simultaneously. There are many such problems where human expert skills in reasoning about complex systems ...
Describes experiments with a combat simulation tool. This is a linguistic geometry system for the... more Describes experiments with a combat simulation tool. This is a linguistic geometry system for the game of four active agents broken into two opposing teams. All the agents can move simultaneously if necessary in a 2D district of size N/spl times/N, where N is an arbitrary integer greater than zero. The paper also includes the example of system execution with optimal solution generation and proof of optimality combined in one. This implementation is able of producing optimal decision trees, without search.
Uploads
Papers