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}
}

• Sebastijan Dumancic, Tias Guns, A. Cropper
• 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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed