Constraint-Driven Learning of Logic Programs

Authors

  • Rolf Morel University of Oxford

Keywords:

ML: Relational Learning, KRR: Logic Programming, CSO: Applications

Abstract

Two fundamental challenges in program synthesis, i.e. learning programs from specifications, are (1) program correctness and (2) search efficiency. We claim logical constraints can address both: (1) by expressing strong requirements on solutions and (2) due to being effective at eliminating non-solutions. When learning from examples, a hypothesis failing on an example means that (a class of) related programs fail as well. We encode these classes into constraints, thereby pruning away many a failing hypothesis. We are expanding this method with failure explanation: identify failing sub-programs the related programs of which can be eliminated as well. In addition to reasoning about examples, programming involves ensuring general properties are not violated. Inspired by the synthesis of functional programs, we intend to encode correctness properties as well as runtime complexity bounds into constraints.

Downloads

Published

2021-05-18

How to Cite

Morel, R. (2021). Constraint-Driven Learning of Logic Programs. Proceedings of the AAAI Conference on Artificial Intelligence, 35(18), 15726-15727. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/17860

Issue

Section

The Twenty-Sixth AAAI/SIGAI Doctoral Consortium