Dans les systèmes experts utilisant une logique monotone, un système de règles d'inférence classique est suffisant. Dès que l'on veut introduire une logique non monotone et le maintien de la cohérence, le problème se complique. Des systèmes représentant les connaissances dans un réseau (JMS, TMS, ...) sont alors très utiles. Ils sont cependant limités à la logique propositionnelle. Il est possible d'étendre de tels systèmes en généralisant les structures de données du système. Maintenant, les justifications ne sont plus des clauses de Horn, mais des instances de règle d'inférence. L'utilisation du système reste inchangée. On peut asserter et rétracter les données de manière incrémentale.