L’unification, ou équation d’arbres est fondamentale en Intelligence artificielle. Cet article propose une page permettant de :
- saisir des termes : constantes, variables et prédicats
- des clauses, unifiant des variables et des termes suivant les substitutions précédentes.
- des substitutions
- des produits de substitutions avec éventuellement un terme final.
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.
2 réponses sur « Unification »
Bonjour,
Et l’agorithme ? Où puis-je le récupérer ?
Cordialement
Bonjour,
Je n’ai pas écrit d’article décrivant globalement l’algorithme.
Cependant, le code n’est pas caché. Il suffit d’aller sur la page d’expérimentation et d’afficher la source.
Tout est lisible en Javascript.
Cordialement.
Vincent Lesbros