Synthesizing Information-Update Functions Using Off-Line Symbolic Processing

Stanley J. Rosenschein

doi:10.1117/12.970007

1 March 1990 Synthesizing Information-Update Functions Using Off-Line Symbolic Processing

Stanley J. Rosenschein

Proceedings Volume 1198, Sensor Fusion II: Human and Machine Strategies; (1990) https://doi.org/10.1117/12.970007
Event: 1989 Symposium on Visual Communications, Image Processing, and Intelligent Robotics Systems, 1989, Philadelphia, PA, United States

Abstract

This paper explores the synthesis of programs that track dynamic conditions in their environment. We propose an approach in which the designer specifies, in a declarative language, aspects of the environment in which the program will be embedded. This specification is then automatically compiled into a program that, when executed, updates internal data structures so as to maintain as an invariant a desired correspondence between internal data structures and states of the external environment. This approach retains much of the flexibility of declarative programming while guaranteeing a hard bound on the execution time of information-update functions.

Citation Download Citation

Stanley J. Rosenschein "Synthesizing Information-Update Functions Using Off-Line Symbolic Processing", Proc. SPIE 1198, Sensor Fusion II: Human and Machine Strategies, (1 March 1990); https://doi.org/10.1117/12.970007

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available