| Résumé | La communauté de la programmation logique inductive s'est penchée sur la complexité de preuve et la complexité de modèle mais, jusqu'à tout récemment, elle a accordé peu d'attention à la complexité de taille. Dernièrement, un défi a été lancé à la « communauté informatique internationale » pour découvrir des programmes en Prolog à faible complexité de taille destinés à la classification des trains. Ce défi se fonderait sur un problème proposé en premier par Ryszard Michalski, il y a 20 ans. Nous avons interprété ce défi comme un problème de classification en fonction des coûts et nous avons appliqué, lors du concours, un classificateur sensible au coût qui a été développé récemment. Notre algorithme a eu relativement de succès (nous avons gagné un prix). Cet article présente notre algorithme et analyse les résultats du concours. |
|---|
