KNOWLEDGE-BASED PROGRAMMING SELF APPLIED
Cordell Green, Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA 94304 *
Stephen Westfold, Kestrel Institute 1801 Page Mill Road Palo Alto, CA 94304
ABSTRACT
A knowledge-based programming system can utilize a very-high-level self description to rewrite and improve itself. This paper presents a specification, in the very-high-level language V, of the rule compiler component of the CHI knowledge-based programming system. From this specification of part of itself, CHI produces an efficient program satisfying the specification. This represents a modest application of a machine intelligence system to a real programming problem, namely improving one of the programming environment’s tools — the ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
