Extending the ATMS

摘要

The basic assumption-based truth maintenance (ATMS) architecture provides a foundation for implementing various kinds of default reasoning. This paper shows how the basic ATMS is extended to handle defaults and disjunctions of assumptions. These extensions are used to encode disjunctions of nodes, nonmonotonic justifications, normal defaults, nonnormal defaults, and arbitrary propositional formulas.