Back to Search
Start Over
Translations of network languages
- Source :
- Computers & Mathematics with Applications. 27:65-98
- Publication Year :
- 1994
- Publisher :
- Elsevier BV, 1994.
-
Abstract
- In this paper, we describe new results of research on geometrical properties of complex control systems, 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 that have resulted in the development of successful applications in different areas. A hierarchy of subsystems of a complex system, the networks of paths, is represented as a hierarchy of formal languages. In this paper, we investigate transformations of these networks while a system moves from one state to another. The investigation consists of formal, constructive separation of changed and unchanged parts of system representation, the hierarchy of languages. Thus, we address a problem relative to the well-known Frame Problem for planning systems. A partial solution is presented in the form of the theorem about translations of network languages. Formal considerations are illustrated by example of Air Force robotic vehicles.
- Subjects :
- Hierarchy
Theoretical computer science
Knowledge representation and reasoning
business.industry
Chomsky hierarchy
Computer science
Constructive
Computational Mathematics
Computational Theory and Mathematics
Modelling and Simulation
Modeling and Simulation
Formal language
Artificial intelligence
business
Heuristics
Representation (mathematics)
Frame problem
Subjects
Details
- ISSN :
- 08981221
- Volume :
- 27
- Database :
- OpenAIRE
- Journal :
- Computers & Mathematics with Applications
- Accession number :
- edsair.doi.dedup.....7a5b8bdfe4a3b0688f2955740dd262c9