Base de faits

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

Une base de faits est l'une des entrées d'un moteur d'inférence. C'est un ensemble de connaissances appelées "faits" et considérés comme vrais. À partir de ces faits, le moteur d'inférence va leur appliquer les règles issues de sa base de règles pour en déduire d'autres faits et ainsi résoudre un problème de logique.

Exemple[modifier | modifier le code]

  • Base de faits :
    • Pierre est le père de Jean ;
    • Jean est le frère de Simon ;
    • Nathalie est la mère de Simon.
  • Base de règles :
    • si x est frère de y alors la mère de x est aussi la mère de y ;
    • si x est frère de y alors le père de x est aussi le père de y.
  • Déductions possibles du moteur d'inférence :
    • Nathalie est la mère de Jean ;
    • Pierre est le père de Simon.