An Assumption-based Truth Maintenance System or ATMS keeps for each proposition a set of sets of assumptions under which the proposition is true. A proposition is believed at a given time iff one of the assumption sets supporting it is satisfied.

Contents    Page-10    Prev    Next    Page+10    Index