Déplacez les cercles représentant les sommets du quadrilatère, ou les points jaunes représentant les milieux des côtés. La partie colorée en violet est toujours un parallélogramme.
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.
Pour jouer, il suffit de tracer une patate sur l’écran avec la souris. La trajectoire de la souris est interprétée comme une corde élastique se déformant au cours du temps. Un mobile virtuel et invisible se déplace le long de la trajectoire en mouvement. La position du mobile dans l’espace est projetée sur deux axes et les valeurs obtenues forment directement les échantillons du signal sonore stéréo.
Les boutons centraux des patates permettent de rejouer le son. Les curseurs permettent de contrôler les paramètres de la synthèse. Par exemple, la vitesse du mobile modifie la hauteur du son perçu.
En dessous de l’espace de dessin, les boutons permettent d’enregistrer le son produit au format WAV.
On peut dessiner plusieurs patates sur la même page. S’il y en a trop, on peut supprimer les patate en faisant glisser le bouton central vers le bas hors de l’espace. Actualisez la page pour repartir à 0.
Pour jouer, il suffit de cliquer sur l’écran et d’observer. Les cellules similaires s’attirent et s’assemblent, les cellules différentes se repoussent. Quand toutes les cellules sont différentes, les cellules se classent de gauche à droite, de la plus grosse à la plus petite, en laissant des trous pour les cellules manquantes : le nombre de clics que vous avez fait est alors écrit en base 2. Les cellules sont les 1 et les trous sont les 0. Actualisez la page pour repartir à 0.