Explore relationships
Truth maintenance systems
Reason maintenance (also Truth maintenance) is a knowledge representation approach to efficient handling of inferred information that is not explicitly stored. Reason maintenance distinguishes between base facts, which can later be rejected, and derived facts.
Use + to expand a branch. Click a topic name to open its summary.