Il a été réalisé une première version
d'un moteur d'inférence probabiliste pour automatiser tous ces calculs
d'inférence.
Ce moteur est aux probabilités (PaL) ce qu'un langage de programmation
logique tel que LogLisp ou Prolog est à la logique. Il permet de
tenir un raisonnement probabiliste rigoureux de la même manière
que les moteurs d'inférence logique permettent de dériver
ou réfuter des propositions.
Etant donné une description, ce moteur est capable de calculer la
probabilité de n'importe quelle expression du type :
[4.9]
Il est fondé sur une première phase de calcul symbolique qui
simplifie l'expression à calculer, puis sur une deuxième phase
qui effectue les calculs numériques.
D'un point de vue sensori-moteur, le type de questions que l'on se pose
couramment est plutôt : trouver les valeurs les plus probables des
variables Vi ... Vj pour l'expression :
[4.10]
Une deuxième version du moteur d'inférence probabiliste a
été développée pour répondre à
ce type de question. Les simplifications symboliques peuvent alors être
poussées beaucoup plus loin, car il n'est pas nécessaire de
calculer la constante de normalisation. L'expression une fois simplifiée
est considérée comme une fonction à maximiser et ce
problème d'optimisation est traité par un algorithme génétique.