Programmation logique inductive en mode Hypergraphe
Statut documentaire : reference — voir Maturité et preuves. Le moteur de graphe logiCells peut fonctionner en mode inductif, i.e. on peut lui demander de créer des types de concepts à partir d'instances considérés comme des examples.
La programmation logique inductive, initiée par Muggleton, utilise des expressions de logique de premier ordre (voir par exemple Wikipedia pour les idées clés)
Il existe plusieurs niveaux d'induction possibles que nous allons décrire progressivement en fonction de leur implémentation.
Nous allons mettre, par défaut, les structures inductives dans un deuxième graphe couplé au premier par un système de couche et en modifiant spécialisant les rôles de chaque graphe, plutôt que de tout mettre dans un seul graphe.
- Le graphe sémantique usuel que nous appellerons le graphe sémantique transactionnel et dont le rôle est de manipuler les relations définies dans la structure sans déclencher d'inférence.
- Le graphe sémantique créant de nouveaux concepts à partir d'instances dans le graphe transactionnel et que nous appellerons le graphe sémantique décisionnel. Il consolidera les concepts appris et leur positionnement dans l'ontologie de manière différée a partir des données en provenance du graphe transactionnel.
Note : Le graphe sémantique transactionnel est fait pour se synchroniser sur le réseau via ETL au sein d'un groupe. Pour le graphe sémantique décisionnel, on imagine pour l'instant qu'il reste local au poste et sera construit sur chaque poste qui dispose d'une activation de la PLI (a valider).