Reason Maintenance or Truth Maintenance is a technique for maintaining a propositional database that has a Retract operation. We assume that the database has three operations:
We assume that the database does forward inference from assertions, so that if P and P &rarr Q have been asserted, Q will also be asserted.
For efficiency, the database may be indexed for fast lookup on predicates and ground terms as arguments of the predicates.
Contents    Page-10    Prev    Next    Page+10    Index