Research on Knowledge Based Programming
Abstract
This report covers the first six months of work on designing CHI, a system for the knowledge based synthesis of signal understanding systems in time-critical environments. This report covers progress on the following tasks: completing a near-term demonstration capability of knowledge based programming using the existing PSI program synthesis system; specifying the harmonic set- formation programs to be used as a target application; designing the CHI system for writing these (and other) programs; developing an in-house computing facility in support of this research; and disseminating results via technical publications.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1979
- Accession Number
- ADA148560
Entities
People
- Beverly. I. Kedzierski
- Brian P. Mccune
- Cordell Green
- Elaine Kant
- Jorge V. Phillips
- Richard P. Gabriel
- Robert J. Drazovich
- Stephen J. Westfold
- Steve T. Tappel