Logic-Based Program Synthesis: State of the Art and Future Trends
Papers from the AAAI Spring Symposium
Bernd Fischer and Douglas R. Smith,Cochairs
Technical Report SS-02-05
116 pp., $30.00
ISBN 978-1-57735-150-4
[Add to Cart] [View Cart]
Automatic programming has long been considered a core AI task. C. Green's and R. Waldinger's papers at the 1969 IJCAI put it on a firm logical basis and spawned a long line of research. Some logic-based program synthesis systems have been developed and applied to different problem domains (e.g., Amphion, KIDS, Nuprl, Oyster/Clam). Yet, logic-based program synthesis is not a common approach to software development. Why not? The purpose of this symposium was to survey the current state of the art, to identify barriers, and to discuss directions that can help make it more feasible.