Problem solving with the ATMS

摘要

An assumption-based truth maintenance system provides a very general facility for all types of default reasoning. However, the ATMS is only one component of an overall reasoning system. This paper presents a set of concerns for interfacing with the ATMS, an interface protocol, and an example of a constraint language based on the protocol. The paper concludes with a comparison of the ATMS and the view of problem solving it entails with other approaches.