Accession Number : ADA230751


Title :   The Synthesis of Intelligent Real-Time Systems


Descriptive Note : Final rept. Apr 1989-Nov 1990


Corporate Author : TELEOS RESEARCH PALO ALTO CA


Personal Author(s) : Rosenschein, Stanley J ; Kaelbling, Leslie P


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a230751.pdf


Report Date : 09 Nov 1990


Pagination or Media Count : 177


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.


Descriptors :   *ALGORITHMS , STRATEGY , REAL TIME , SYNTHESIS , AUTOMATA , THEORY , PROBABILITY , EFFICIENCY , VISION , ROBOTICS , DYNAMICS


Subject Categories : Computer Systems


Distribution Statement : APPROVED FOR PUBLIC RELEASE