Systèmes experts à base de règles


La logique des prédicats et la logique des propositions permettent de représenter des règles de prise de décision de type "si une certaine condition est vraie, alors telle ou telle décision peut être prise" : à chaque fois un couple " condition(s) / conclusion(s) " guide la prise de décision et le fonctionnement du système.


Nous abordons tout d'abord la structure générale d'un " moteur d'inférence ", système expert dont le fonctionnement se base sur une base de connaissance constituée :

- du "savoir", ou connaissance de l'environnement (le "monde") sur lequel le système doit travailler ;

- du "savoir-faire", ou règles d'analyse et de décision qui s'y rapportent (la capacité à raisonner du système).

Nous voyons les deux mécanismes classiques de fonctionnement :

- chaînage avant, ou comment déterminer tout ce qu'il est possible de savoir à partir des connaissances initiales ;

- chaînage arrière, ou comment déterminer si une affirmation particulière est vraie ou non en fonction des connaissances initiales.

Ces mécanismes sont introduits dans le cadre de la logique des propositions. Ils sont étendus en logique des prédicats en étudiant les mécanismes de mise en correspondance ("unification") des paramètres utilisés dans les "conditions" (connaissance à vérifier) et les conclusions (connaissance à valider ou décisions à prendre).