Marcus Aurelius [Book]

va bientôt résoudre tous les problèmes pour l'instant

La maintenance de la raison [1] [2] est une approche de représentation des connaissances pour une gestion efficace des informations inférées qui sont explicitement stockées. L'entretien de la raison fait la distinction entre les faits de base, qui peuvent être défaits, et les faits dérivés. En tant que telle, elle diffère de la révision des croyances qui, dans sa forme de base, suppose que tous les faits ont la même importance. La maintenance Reason a été développée à l'origine comme une technique de mise en œuvre de solutions aux problèmes.[2] Il englobe une variété de techniques qui partagent une architecture commune : [3] deux composants - un système de raisonnement et un système de maintenance de la raison - communiquent entre eux via une interface. Le raisonneur utilise le système de maintenance des raisons pour enregistrer ses inférences et ses justifications (« raisons » pour) les inférences. Le raisonneur informe également le système de maintenance des raisons sur les faits de base actuellement valides (hypothèses). Le système de maintenance de raison utilise les informations pour calculer la valeur de vérité des faits dérivés stockés et pour restaurer la cohérence si une incohérence est dérivée.

Un système de maintien de la vérité, ou TMS, est une méthode de représentation des connaissances pour représenter à la fois les croyances et leurs dépendances et un algorithme appelé "algorithme de maintien de la vérité" qui manipule et maintient les dépendances. Le nom de maintien de la vérité est dû à la capacité de ces systèmes à restaurer la cohérence.