aide en choix de structures des données

Les composantes de base d'un système expert sont le moteur d'inférence, la base de connaissances et l'interface homme-machine. Un traceur et un module d'acquisition des connaissances complètent le système expert.
Le programme nous permet de :
- préparer les fonctions permettant de gérer une base de connaissances.
- écrire l'algorithme du moteur d'inférence d'ordre 0 en chainage AVANT et de tester l'ensemble.

Il s'agit donc de
1. déclarer les structures de données adéquates pour représenter les informations de la base
2. de saisir la base de connaissance base de fait/base de règles dans des fichiers textes (mode manuel)
3. de programmer les primitives permettant de lire les informations de la base de connaissance à partir des fichiers base de fait et base de règle et de les afficher.

Structures de données:
Une base de connaissances est composée d'une base de règles et d'une base de faits.
Les règles que nous considérerons seront des clauses de Horn. Une telle règle est composée de deux parties:
· Un ensemble de conditions qui doivent toutes êtres satisfaites pour que la règle se déclenche.
· Une seule conséquence, i.e., un nouveau fait, qui devra être inséré dans la base des faits.
La syntaxe d'une règle est la suivante <regle> si <premisse> alors <conclusion>
Définir la structure de Regle correspondante
L&#8217;énoncé est constitué (du point de vue externe) d&#8217;une suite de faits connus (les hypothèses) et d&#8217;un fait à déduire (le but)
Définir une structure Fait comportant les éléments suivants :
Fait
Explication : numéro de la règle qui a permis de le déduire ou -1 si fourni par l'utilisateur ou 0 si c'est le but (entier)
Utiliser une liste pour gérer la base des faits (liste_faits)
Utiliser une liste pour gérer la base de règles (liste_règles)
Base de connaissances à utiliser
soit BF = {B, C}, But = {H} et BR composée des règles :
R1. Si B et D et E alors F
R2. Si G et D alors A
R3. Si C et F alors A
R4. Si B alors X
R5. Si D alors E
R6. Si X et A alors H
R7. Si C alors D
R8. Si X et C alors A
R9. Si X et B alors D