The Roles of Knowledge and Deduction in Program Synthesis
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
In the earliest attempts to apply artificial intelligence techniques to program synthesis, deduction (that is, the use of a general purpose mechanism such as a theorem prover) played a central role. Some recent systems have relied almost exclusively on knowledge about programming in particular domains, with no significant role for deduction. Even in such knowledge-based systems, however, there seems to be an important role for deduction in testing the applicability conditions of specific programming rules. This auxiliary role for deduction can be seen clearly in a hypothetical synthesis of a breadth-first enumeration algorithm. The hypothetical synthesis also demonstrates the utility of detailed programming knowledge for dealing with non-algorithmic specifications.
@inproceedings{ijcai1979p10,
title = {The Roles of Knowledge and Deduction in Program Synthesis},
author = {Barstow, David R.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/10},
}
TY - CPAPER TI - The Roles of Knowledge and Deduction in Program Synthesis AU - Barstow, David R. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/10 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
