8. Manquant et Inactif

Ceci est l'espace pour les entrées anciennes ou erronées. Le chapitre MIA est destinée aux entrées pour lesquelles je n'ai plus de page d'accueil valide. Si vous avez la moindre information sur l'emplacement actuel de ces logiciels, merci de me le faire savoir. La section Inactifs est destinée aux projets qui ne semblent plus maintenus. Les déplacer ici me permet de conserver les chapitres principaux propres ; les parties intéressées peuvent malgré tout me corriger, auquel cas je les déplacerai à nouveau.

8.1. MIA — Projets ne disposant pas de liens.

:TODO:

IDEAL

IDEAL est un banc d'essai pour le travail sur les diagrammes d'infuence et les réseaux Bayésiens. Il comprend des algorithmes d'inférence variés pour les réseaux de croyance et des algorithmes d'évaluation pour les diagrammes d'inluence. Il contient des installations pour créer et éditer les diagrammes d'influence et les réseaux de croyance.

IDEAL est écrit purement en Common Lisp et ainsi il tournera en Common Lisp sur n'importe quelle plate-forme. L'accent dans l'écriture d'IDEAL a été mis sur la clarté du code et sur la fourniture d'abstractions de programmation de haut niveau. Il est ainsi tout à fait adapté aux implémentations expérimentales qui nécessitent ou étendent la technologie de réseau de croyance.

Au plus haut niveau, IDEAL peut être utilisé comme une bibliothèque de sous-routine qui fournit l'évaluation du diagramme d'inférence et d'influence du réseau de croyance dans un paquetage logiciel. Le code est documenté dans un manuel détaillé et ainsi il est aussi possible de travailler à un niveau inférieur sur les extensions des méthodes du réseau de croyance.

IDEAL est fourni avec une interface graphique optionnelle écrite en CLIM. Si votre Common Lisp possède aussi CLIM, vous pouvez lancer l'interface graphique.

Symbolic Probabilistic Inference (SPI)

Contient des bibliothèques de fonction Common Lisp pour implémenter des réseaux bayésiens de type SPI. La documentation est très limitée. Caractéristiques :

  • Probabilités, Utilitaires du langage d'expression locale, explications, modèles dynamiques, et une GUI basée sur TCL/TK.

8.2. Projets inactifs.

EMA-XPS — A Hybrid Graphic Expert System Shell

EMA-XPS est un interpréteur de commande [shell] de système expert graphique hybride basé sur le shell orienté ASCII Babylon 2.3 du Centre National Allemand de Recherche pour les Sciences Informatiques (GMD). En plus de la puissance d'IA de Babylon (représentation de données orientées objet, règles de chaînage avant et arrière — regroupables en séries, en clauses de Horn, et en réseaux de contraintes), une interface graphique basée sur le système X11 Window System et la OSF/Motif Widget Library ont été fournies.

PDKB

La banque de connaissances sur le domaine publique (PDKB : Public Domain Knowledge Bank) est une banque de connaissances sur l'intelligence artificielle des lois et règles de sens commun. Elle est basée sur l'ontologie de niveau supérieur de Cyc (CUO : Cyc Upper Ontology) et le langage MELD.

QUANT1

Quant/1 signifie QUANTifieur de type 1. Son but est d'être une alternative pour les systèmes semblables à Prolog (ou résolutionnaux). Les principales caractéristiques comprennent la non-nécéssité d'éliminer les quantifieurs, la scolémisation, la facilité de compréhension, les opérations sur des formules de grande échelle, l'acceptation de fomules 'nonHorn', l'approfondissement iterratif. La bibliothèque réelle implémentée dans ce projet est appelée ATPPCF (Automatic Theorem Prover in calculus of Positively Constructed Formulae : preuve automatique du théoreme dans le calcul de formules construites positivement)

ATPPCF deviendra une bibliothèque (moteur d'inférence) et une extension du langage de calculs de prédiction comme un nouveau langage logique. Cette bibliothèque sera incorporable dans d'autres programmes, comme TCL, Python, Perl. La méthode d'inférance primaire du moteur sera la "recherche d'inférances dans le langage des formules construites positivement (PCF : Positively Constructed Formulas)" (comme un sous-ensemble de calculs de prédicats bien traduits dans les deux sens). Le langage sera utilisé comme langage de script pour le moteur. Mais il y aura la possibilité de le remplacer par des extension de langage du programme principal.

TresBel

Bibliothèques comprenant du code Common Lisp (Allegro) pour les fonctions de croyance (c-à-d le raisonnement probant de Dempster-Shafer) comme la représentation de l'incertain. Documentation pauvre. Possède une GUI limitée.