Truth Maintenance Systems
ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings
Published on 24. July 1991
Book
Paperback/Softback
VII, 180 pages
978-3-540-54305-3 (ISBN)
Description
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.
More details
Series
Edition
1991 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VII, 180 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
300 gr
ISBN-13
978-3-540-54305-3 (9783540543053)
DOI
10.1007/BFb0037025
Schweitzer Classification
Content
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.