Le test de -subsomption, opération fondamentale en Programmation Logique Inductive (PLI) pour tester la validité d'une hypothèse sur les exemples, est particulièrement coûteux. Ainsi, les systèmes d'apprentissage de PLI les plus récents ne passent pas à l'échelle. Nous proposons donc un nouveau modèle de -subsomption fondé sur un réseau d'acteurs, dans le but de pouvoir décider la subsomption sur de très grandes clauses.