Rolf Morel

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. …