Reason maintenance[1][2] is a knowledge representation approach to efficient handling of inferred information that is explicitly stored.
As such it differs from belief revision which, in its basic form, assumes that all facts are equally important.
Reason maintenance was originally developed as a technique for implementing problem solvers.
This record reflects the retractions and additions which makes the inference engine (IE) aware of its current belief set.
Each statement having at least one valid justification is made a part of the current belief set.
Each node in the network is an entry in the KB (a premise, antecedent, or inference rule etc.)
Multi-context systems support paraconsistency by allowing consistency to be relevant to a subset of facts in memory, a context, according to the history of logical inference.