Abstract
Classical truth maintenance systems keep one consistent database at a time and allow non-monotonic justifications. De Kleer's ATMS [de Kleer 86a] processes multiple contexts simultaneously, but allows monotonic justifications only. The attempt to introduce non-monotonic justifications and defaults at higher levels of the system [de Kleer 86b] failed.
We propose to integrate a new kind of node into the ATMS that allows the encoding of non-monotonic justifications, negation, (justified) disjunction and one-of disjunction, as well as normal and non-normal defaults. The treatment of defaults will show that it is necessary to distinguish different uses of assumptions.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brown, A., D. Gaucas, D. Benanav An Algebraic Foundation for Truth Maintenance Proceedings of 10th IJCAI, 1987 Milan, 973–980
Charniak, E.; McDermott, D.; Riesbeck, C Artificial Intelligence Programming Chapter 16 Lawrence Earlbaum Ass., New Jersey, 1980
de Kleer,J.; Doyle,J.; Sussman,G. AMORD: Explicit Control of Reasoning SIGART Newsletter, No. 64 August 1977, 116–125
de Kleer, J. An Assumption-based TMS Artificial Intelligence 28(1986) 127–162
de Kleer, J. Extending the TMS Artificial Intelligence 28 (1986) 163–196
de Kleer, J.; B. Williams Diagnosing Multiple Faults Artificial Intelligence 32 (1987) 97–130
de Kleer, J. A General Labelling Algorithm for Assumption-based Truth Maintenance Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, Minnesota, 1988 188–192
Doyle, J. A Truth Maintenance System Artificial Intelligence 12 (1979) 231–272
Dressler, O. Assumption-based Truth Maintenance in: Stoyan,H. Proceedings TMS-Workshop Berlin Oct. 1986 Springer Verlag Berlin Informatik Fachberichte 162
Dressler, O. An Extended Basic ATMS Siemens Report INF-2 ARM-3-87, 1987
Goodwin,J. An Improved Algorithm for Non-Monotonic Dependency Net Update LITH-MAT-R-82-23, Linköping University Aug. 1982
Goodwin,J. A Process Theory of Non-monotonic Inference Proceedings of 9th IJCAI, 1985, Los Angeles, 185–187
Poole, D. A Logical Framework for Default Reasoning Artificial Intelligence 36 (1988) 27–48
Reinfrank, M., Freitag, H. Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-monotonic Inference Proceedings Fifth Generation Conference 1988, Tokyo
Reiter, R. A Logic for Default Reasoning Artificial Intelligence 13 (1980) 81–132
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dressler, O. (1988). An extended basic ATMS. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_25
Download citation
DOI: https://doi.org/10.1007/3-540-50701-9_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50701-7
Online ISBN: 978-3-540-46073-2
eBook Packages: Springer Book Archive