Système basé sur la connaissance
Un système basé sur la connaissance (ou Knowledge Based System ou KBS) est un programme informatique qui raisonne et utilise une base de connaissances pour résoudre des problèmes complexes.
Le terme est large et fait référence à de nombreux types de systèmes. Le thème commun qui unit tous les systèmes basés sur la connaissance est une tentative de représentation explicite de la connaissance et un système de raisonnement lui permettant de générer de nouvelles connaissances. Ainsi, un système basé sur la connaissance présente deux caractéristiques distinctives: une base de connaissances et un moteur d'inférence.
La première partie, la base de connaissances, représente des faits abo ut le monde, souvent sous une forme de subsomption Ontario logie (plutôt que implicitement intégré dans le code de procédure, de la manière d’un prog classique d'ordinateur ram fait). Outre une ontologie de sous- consommation, les approches courantes incluent des cadres, des graphes conceptuels et des assertions logiques.
La deuxième partie, le moteur d'inférence, permet d'inférer de nouvelles connaissances. Le plus souvent, cela peut prendre la forme de la règles de l'IF-THEN associée à des approches de chaînage en avant ou en arrière. D'autres approches incluent l'utilisation de générateurs de théorèmes automatisés, la programmation logique, les systèmes de tableau et les systèmes de réécriture de termes tels que CHR (Constraint Handling Rules). Ces approches plus formelles sont décrites en détail dans l'article de Wikipedia sur la représentation des connaissances et leur raisonnement.
