Program Derivation Using Analogy

Harandi, Mehdi T.; Bhansali, Sanjay

Program Derivation Using Analogy

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Automated Deduction. Pages 389-393.

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

Mehdi T. Harandi, and Sanjay Bhansali. 1989. Program Derivation Using Analogy. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 389–393. https://ijcai.org/proceedings/1989/62

@inproceedings{ijcai1989p62,
  title     = {Program Derivation Using Analogy},
  author    = {Harandi, Mehdi T. and Bhansali, Sanjay},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {389--393},
  year      = {1989},
  month     = {8},
  note      = {Automated Deduction},
  url       = {https://ijcai.org/proceedings/1989/62},
}

TY  - CPAPER
TI  - Program Derivation Using Analogy
AU  - Harandi, Mehdi T.
AU  - Bhansali, Sanjay
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 389
EP  - 393
UR  - https://ijcai.org/proceedings/1989/62
ER  -