Program Derivation Using Analogy
Abstract
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the knowledge base, and the emphasis is on speeding up the derivation of a solution. We describe certain heuristics to find a good source analogue to the target problem efficiently, show how the derivation trace of that program can be used to guide the derivation of the new program. 1
Cite
Text
Harandi and Bhansali. "Program Derivation Using Analogy." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Harandi and Bhansali. "Program Derivation Using Analogy." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/harandi1989ijcai-program/)BibTeX
@inproceedings{harandi1989ijcai-program,
title = {{Program Derivation Using Analogy}},
author = {Harandi, Mehdi T. and Bhansali, Sanjay},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {389-394},
url = {https://mlanthology.org/ijcai/1989/harandi1989ijcai-program/}
}