Andrew Cropper
4 papers in the PaperMetrix corpus
Papers by this author
-
Knowledge Refactoring for Inductive Program Synthesis
2021 · Proceedings of the AAAI Conference on 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 knowledge refactoring problem, where the …
-
Learning Logic Programs by Explaining Failures.
2021 · arXiv (Cornell University)
Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. We introduce similar explanation techniques for inductive logic programming (ILP). We build …
-
Learning logic programs by explaining their failures
2021 · arXiv (Cornell University)
Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. …
-
Learning Logic Programs by Discovering Where Not to Search
2023 · Proceedings of the AAAI Conference on Artificial Intelligence
The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises training examples and background knowledge (BK). To improve performance, we introduce an approach that, before searching for a hypothesis, first …