Final Report on SGER For: “A Cognitively Informed Approach to Automatic Programming” ∗ PI and co-PI: Selmer Bringsjord & Konstantine Arkoudas Primary GRA: Jinrong Li URA: Dylan Thies Supporting GRAs: Andrew Shilliday, Micah Clark, Joshua Taylor Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA selmer@rpi.edu • arkouk@rpi.edu December 9, 2008 Contents 1 Introduction 1 2 A Survey of the Field of Automatic Programming 2 2.1 Inductive techniques .......................................... 3 2.1.1 Recurrence Detection ..................................... 3 2.1.2 Genetic Programming ..................................... 5 2.1.3 Inductive Logic Programming ................................. 6 2.2 Deductive synthesis .......................................... 7 3 Symposia on AP and Automated Discovery 12 3.1 Automatic Programming Track at NA-CAP 2008 .......................... 12 3.2 Automated Discovery Symposium under AAAI in Washington DC ................. 13 4 Investigating Human Creativity in Computer Programming 14 5 Consolidation 16 6 Toward Infusing AP With Elements of Human Creativity 17 References 17 * We are indebted to NSF for allowing up to take the first, promising steps toward our vision of galvanizing automatic programming by (in short) turning in earnest to human creativity for guidance.