A CASE-BASED REASONING APPROACH TO PROGRAM SYNTHESIS

Yulia Korukhova, Nikolay Fastovets

2010

Abstract

The paper deals with automated program synthesis. For program construction a case-based reasoning approach is used. The case library, organized as ontology, contains specifications and corresponding texts of already known programs. In the specification the relationship between inputs and outputs is written, the text of a corresponding program is written on a programming language. The specification of the desired program is taken as a task to find solution for, and we are looking for similar cases - specifications in the case library. If such a case is found we are trying to adapt the corresponding text of program. The main problems that occur in the implementation of the proposed approach are the following: the organization of case library, definition of similarity and ways of adaptation. We propose to keep the case library as ontology; the ALC is used to describe specifications. This representation helps to find similar specifications and to adapt the corresponding solutions.

References

  1. A. Aamodt, E. Plaza, 1994. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches, AI Communications. IOS Press, Vol. 7: 1
  2. M. Bienvenu, 2008. Prime Implicate Normal Form for ALC Concepts. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence.
  3. F. Baader, W. Nutt, 2003. Basics Description Logics. The Description Logic Handbook: Theory, Implementation and Application.
  4. F. Badra, J. Cojan, A. Cordier, J. Lieber, T. Meilender, A. Mille, P. Molli, E. Nauer, A. Napoli, H. Skaf-Molli, Y. Toussaint, 2009. Knowledge Acquisition and Discovery for the Textual Case-Based Cooking system WIKITAAABLE. 8th International Conference on Case-Based Reasoning - ICCBR 2009, Workshop Proceedings, Seattle : United States
  5. Manna Z. and Waldinger R., 1992 Fundamentals of Deductive Program Synthesis. IEEE Transactions on Software Engineering, 18(8): 674-704
Download


Paper Citation


in Harvard Style

Korukhova Y. and Fastovets N. (2010). A CASE-BASED REASONING APPROACH TO PROGRAM SYNTHESIS . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 335-338. DOI: 10.5220/0003064903350338


in Bibtex Style

@conference{keod10,
author={Yulia Korukhova and Nikolay Fastovets},
title={A CASE-BASED REASONING APPROACH TO PROGRAM SYNTHESIS },
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={335-338},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003064903350338},
isbn={978-989-8425-29-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
TI - A CASE-BASED REASONING APPROACH TO PROGRAM SYNTHESIS
SN - 978-989-8425-29-4
AU - Korukhova Y.
AU - Fastovets N.
PY - 2010
SP - 335
EP - 338
DO - 10.5220/0003064903350338