Program Derivation Using Analogy

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 I n t r o d u c t i o n Analogical reasoning is a mechanism for using past experience in solving a problem to solve a new, similar problem. Almost all the systems that perform analogical reasoning fall under one of two broad categories. The first category of systems use analogy to solve a problem for which the domain theory is incomplete [Winston, 1980, Falkenhainer et a/., 1986, Greiner, 1988]. In such systems it would not be possible to solve the problem by a deductive mechanism, using only the known facts about the domain, and it is...

• Type: Conference
• Year: 1989
• Where: IJCAI
• Authors: Mehdi T. Harandi, Sanjay Bhansali
• Keywords: Analogical Reasoning, Derivational Transformation Method, Domain Theory, IJCAI 1989, IJCAI 2007