Architecture and Knowledge Representation for Composable Inductive Programming
Programming Languages
2022-12-26 v1 Artificial Intelligence
Abstract
We present an update on the current architecture of the Zoea knowledge-based, Composable Inductive Programming system. The Zoea compiler is built using a modern variant of the black-board architecture. Zoea integrates a large number of knowledge sources that encode different aspects of programming language and software development expertise. We describe the use of synthetic test cases as a ubiquitous form of knowledge and hypothesis representation that sup-ports a variety of reasoning strategies. Some future plans are also outlined.
Cite
@article{arxiv.2212.12320,
title = {Architecture and Knowledge Representation for Composable Inductive Programming},
author = {Edward McDaid and Sarah McDaid},
journal= {arXiv preprint arXiv:2212.12320},
year = {2022}
}
Comments
14 pages, 3 figures