Corpus ID: 227163305

# Knowledge Refactoring for Inductive Program Synthesis

@article{Dumancic2020KnowledgeRF,
title={Knowledge Refactoring for Inductive Program Synthesis},
author={Sebastijan Dumancic and Tias Guns and A. Cropper},
journal={arXiv: Artificial Intelligence},
year={2020}
}
• Published 2020
• Computer Science, Mathematics
• arXiv: Artificial Intelligence
Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a machine learning system similar abilities so that it can learn more efficiently. We introduce the \textit{knowledge refactoring} problem, where the goal is to restructure a learner's knowledge base to reduce its size and to minimise redundancy in it. We focus on inductive logic programming, where the knowledge base is a logic program. We introduce Knorf, a system which solves the refactoring problem using… Expand
1 Citations

#### Figures from this paper

Inductive logic programming at 30
• Computer Science
• ArXiv
• 2021
• PDF

#### References

SHOWING 1-10 OF 41 REFERENCES