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

References

SHOWING 1-10 OF 41 REFERENCES
Forgetting to learn logic programs
  • 8
  • PDF
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning
  • 5
  • PDF
Automated refinement of first-order horn-clause domain theories
  • 145
  • PDF
Predicate Invention in ILP - an Overview
  • 33
  • PDF
Logical reduction of metarules
  • 10
  • PDF
Bootstrap Learning via Modular Concept Discovery
  • 36
  • PDF
DeepCoder: Learning to Write Programs
  • 285
  • PDF
An Empirical Study of the Use of Relevance Information in Inductive Logic Programming
  • 28
  • PDF
...
1
2
3
4
5
...