loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yulia Korukhova and Nikolay Fastovets

Affiliation: Lomonosov Moscow State University, Russian Federation

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.

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.219.22.169

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 (IC3K 2010) - KEOD; ISBN 978-989-8425-29-4; ISSN 2184-3228, SciTePress, 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 (IC3K 2010) - KEOD},
year={2010},
pages={335-338},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003064903350338},
isbn={978-989-8425-29-4},
issn={2184-3228},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic