An Empirical Comparison of Cost Functions in Inductive Logic Programming

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Hocquette, Céline, Cropper, Andrew
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866910867683016704
author Hocquette, Céline
Cropper, Andrew
author_facet Hocquette, Céline
Cropper, Andrew
contents Recent inductive logic programming (ILP) approaches learn optimal hypotheses. An optimal hypothesis minimises a given cost function on the training data. There are many cost functions, such as minimising training error, textual complexity, or the description length of hypotheses. However, selecting an appropriate cost function remains a key question. To address this gap, we extend a constraint-based ILP system to learn optimal hypotheses for seven standard cost functions. We then empirically compare the generalisation error of optimal hypotheses induced under these standard cost functions. Our results on over 20 domains and 1000 tasks, including game playing, program synthesis, and image reasoning, show that, while no cost function consistently outperforms the others, minimising training error or description length has the best overall performance. Notably, our results indicate that minimising the size of hypotheses does not always reduce generalisation error.
format Preprint
id arxiv_https___arxiv_org_abs_2503_07554
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle An Empirical Comparison of Cost Functions in Inductive Logic Programming
Hocquette, Céline
Cropper, Andrew
Machine Learning
Recent inductive logic programming (ILP) approaches learn optimal hypotheses. An optimal hypothesis minimises a given cost function on the training data. There are many cost functions, such as minimising training error, textual complexity, or the description length of hypotheses. However, selecting an appropriate cost function remains a key question. To address this gap, we extend a constraint-based ILP system to learn optimal hypotheses for seven standard cost functions. We then empirically compare the generalisation error of optimal hypotheses induced under these standard cost functions. Our results on over 20 domains and 1000 tasks, including game playing, program synthesis, and image reasoning, show that, while no cost function consistently outperforms the others, minimising training error or description length has the best overall performance. Notably, our results indicate that minimising the size of hypotheses does not always reduce generalisation error.
title An Empirical Comparison of Cost Functions in Inductive Logic Programming
topic Machine Learning
url https://arxiv.org/abs/2503.07554