2000 character limit reached
Architecture and Knowledge Representation for Composable Inductive Programming (2212.12320v1)
Published 22 Dec 2022 in cs.PL and cs.AI
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.