Catégories
Graphes maths Graphes programmation Logique des prédicats Mathématiques Programmation Unification

Graphes unificateurs

graphe unificateur de f(X, g(X), h) = f(g(g(B,Z), a), g(g(X, Z)), a)
graphe unificateur de f(X, g(X), h) = f(g(g(B,Z), a), g(g(X, Z)), a)

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.

Documentation

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.