
La page d’expérimentation est une ressource pour la programmation. Le code de l’unificateur est simplifié et basé sur la bibliothèque de traitement de graphes de Cyclonium.
La page d’expérimentation est une ressource pour la programmation. Le code de l’unificateur est simplifié et basé sur la bibliothèque de traitement de graphes de Cyclonium.
L’unification, ou équation d’arbres est fondamentale en Intelligence artificielle. Cet article propose une page permettant de :
Et évaluer le résultat.
Les résultats sont présentés sous forme textuelle re-interprétables par l’analyseur syntaxique intégré, et sous forme graphique interactive en format SVG.
Le parseur Javascript est écrit avec l’aide de la biblothèque http://pegjs.org/
Les graphes sont générés en SVG par Cyclonium.
La méthode de calcul est inspirée de « La méthode Robinson » décrite dans Wikipédia à la page https://fr.wikipedia.org/wiki/Unification.