Truth Maintenance Systems

This volume presents ten selected papers relating to the Truth Maintenance Workshop, August 1990, Stockholm. The main themes are: meta-level control, extensions of Truth Maintenance Systems, foundations, and belief revision.

Inhalt
Putting the problem solver back in the Driver's seat: Contextual control of the ATMS.- Variations on backtracking for TMS.- An abductive procedure for the CMS/ATMS.- Knowledge assimilation and abduction.- Truth maintenance systems and belief revision.- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision.- ARC: An extended ATMS based on directed CAT-correct resolution.- On logical foundations of the ATMS.- A skeptical semantics for truth maintenance.- Semantic accounts of belief revision.