The Synthesis of Intelligent Real-Time Systems
Abstract
Teleos Research, under the sponsorship of the Air Force Office of Scientific Research, has carried out a two-year program of research on The Synthesis of Intelligent Real-Time Systems. The purpose of the effort was to develop and extend theories and techniques that facilitate the design and implementation of intelligent real-time systems. In particular, Teleos has extended situated-automata theory to apply to situations in which the system has probabilistic information about the world; designed and built a high-level, declarative programing tool for synthesizing efficient programs that track dynamic conditions in the world; clarified the theoretical relationships between Gapps, an existing declarative programming tool for describing action strategies, and the newly designed tool; investigated the possibility of moving the burden of developing correct programs from the human programmer to the agent itself through the use of algorithms that allow the agent to learn from trial and error; applied the principles of situated automata theory to the understanding of existing vision algorithms and the development of new ones; and tested these theoretical principles and design tools in a real robotic domain.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 09, 1990
- Accession Number
- ADA230751
Entities
People
- Leslie P. Kaelbling
- Stanley J. Rosenschein