Utilisation de Grammaires en Programmation Logique Inductive
Abstract:
Dans le cadre de l'apprentissage, la programmation logique inductive (PLI) se propose d'utiliser un formalisme de logique du premier ordre. Meme si l'on se r'eduit le plus souvent aux clauses de Horn, ce formalisme poss`ede un tr`es grand pouvoir expressif; en outre, il autorise l'utilisation d'une th'eorie du domaine et fournit des r'esultats parfaitement lisibles. Traditionnellement, un probl`eme en PLI peut etre formalis'e comme suit [MR94]. Etant donn'es un ensemble E+ d'exemples et un ensemble E \Gamma de contre-exemples pour le concept `a apprendre, une th'eorie du domaine B, il s'agit de trouver une hypoth`ese H telle que B [ H j = e+; 8e+ 2 E+ (H est compl`ete), B [ H j = e\Gamma; 8e\Gamma 2 E \Gamma (H est correcte). Un probl`eme majeur en PLI est pos'e par la taille tr`es importante, parfois infinie, de l'espace de recherche et l'on appelle biais tout moyen de rendre la recherche plus efficace [Mit80]. On en distingue deux sortes selon qu'ils suppriment a priori certaines clauses de l'espace (biais de langage) ou qu'ils
Citations
| 747 | Learning logical definitions from relations – Quinlan - 1990 |
| 153 | The Need for Biases in Learning Generalizations – Mitchell - 1990 |
| 66 | Grammatically biased learning: learning logic programs using an explicit antecedent description language – Cohen - 1994 |
| 1 | et Raedt (L. De). -- Inductive logic programming: Theory and methods – Muggleton - 1994 |
