Programmation Logique Inductive

Dérivation Top-Down

Approche d'induction en PLI qui part d'une clause très générale et la spécialise pour exclure les exemples négatifs, typique des systèmes comme Progol.

← Indietro