CycloniumCet article présente une nouvelle version de l’unificateur, permettant de traiter des clauses partagées et/ou cycliques.
Les graphes d’unifications produits peuvent également être cycliques.
Un clic sur la bulle emmène vers la page d’expérimentation des graphes d’unification cycliques, avec les options d’occur-check et de levée d’exception sur le premier échec.
À partir d’une simple chaîne de caractères, le système dessine un graphe dirigé, multiple, réflexif et ordonné sous forme de boîtes imbriquées les unes dans les autres.
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.