A CASE-BASED REASONING APPROACH TO PROGRAM SYNTHESIS

被引：0

作者：

Korukhova, Yulia ^{[1
]}

Fastovets, Nikolay ^{[1
]}

机构：

[1] Lomonosov Moscow State Univ, Computat Math & Cybernet Fac, GSP 1, Moscow 119991, Russia

来源：

KEOD 2010: Proceedings of the International Conference on Knowledge Engineering and Ontology Development | 2010年

关键词：

Automated Program Synthesis; Case-Based Reasoning; Ontologies;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：335 / 338

页数：4