Déduction clause définie Classement & Résumé
- Nom de l'éditeur:
- AIspace
- Systèmes d'exploitation:
- Windows All
- Taille du fichier:
- 269 KB
Déduction clause définie Mots clés
Déduction clause définie La description
La déduction définie de la clause est une application pratique et facile à utiliser spécialement conçue pour démontrer divers algorithmes de déduction, à partir de la résolution SLD utilisée par PROG à l'utilisateur unificateur manuellement des clauses. L'applet de déduction accepte les bases de connaissances au format Cilog et donne des fonctions pour résoudre une requête dans cette base de connaissances. Il a également des options pour visualiser des arbres à la preuve.
Déduction clause définie Logiciels associés