Logic-Based Program Synthesis: State of the Art and Future Trends
Papers from the AAAI Spring Symposium
Bernd Fischer and Douglas R. Smith,Cochairs
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.