loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yulia Korukhova and Nikolay Fastovets

Affiliation: Lomonosov Moscow State University, Russian Federation

ISBN: 978-989-8425-29-4

Keyword(s): Automated Program Synthesis, Case-Based Reasoning, Ontologies.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Data Engineering ; Domain Analysis and Modeling ; Enterprise Information Systems ; Enterprise Software Technologies ; Information Systems Analysis and Specification ; Intelligent Problem Solving ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Software Engineering ; Symbolic Systems

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.205.176.85

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.