Catégories
Programmation

Unification

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.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *