Abstract
We have exhibited the declarative semantics of the ATMS in terms of propositional Horn logic. In particular, we have proved the correctness of its label update algorithm with respect to the semantics. It can serve as a rigid background for the discussion on ATMS computational efficiencies of the various actual problems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Reference
Birkhoff, G and Bartee, T. C., Modern applied algebra, McGraw-Hill, New York, 1970.
de Kleer, J., An assumption-based truth maintenance system, Artificial Intelligence 28, pp.127–162, 1986.
de Kleer, J., Extending the ATMS, Artificial Intelligence 28, pp.163–196, 1986.
Doyle, J., A truth maintenance system, Artificial Intelligence 12, pp.231–272, 1979.
Dixon, M and de Kleer, J., Massively parallel assumption-based truth maintenance, in Proc. of AAAI-88, 1, pp.199–204.
Dressler, O., An extended basic ATMS, in Proc. of 2nd International workshop on non-monotonic reasoning, pp.143–163, Springer LNCS 346, Springer Verlag, Berlin, 1989.
Lloyd, J. W., Foundations of logic programming, Springer Verlag, New York, 1984.
Provan, G. M., Efficiency analysis of multiple-context TMSs in scene representation, in Proc. of AAAI-87, 1, pp.173–177.
Provan, G. M., The computational complexity of multiple-context truth maintenance systems, in Proc. of 9-th ECAI, pp.522–527, 1990.
Przymusinski, T., On the relation between logic programming and nonmonotonic reasoning, in Proc. of AAAI-88, 2, pp.444–448.
Reiter, R and de Kleer, J., Foundations of assumption-based truth maintenance systems: preliminary report, in Proc. of AAAI-87, 1, pp.183–188.
Rothberg, E and Gupta, A., Experiences implementing a parallel ATMS on a shared-memory multiprocessor, in Proc. of 11-th IJCAI, 1, pp.199–205, 1989.
Selman, B and Levesque, H. J., Abduction and default reasoning: a computational core, in Proc. of AAAI-90, 1, pp.343–348.
van Emden, M. H and Kowalski, R. A., The semantics of predicate logic as a programming language, J. of ACM 23, 4, pp.733–742, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fujiwara, Y., Honiden, S. (1991). On logical foundations of the ATMS. In: Martins, J.P., Reinfrank, M. (eds) Truth Maintenance Systems. TMW 1990. Lecture Notes in Computer Science, vol 515. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0037033
Download citation
DOI: https://doi.org/10.1007/BFb0037033
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54305-3
Online ISBN: 978-3-540-47550-7
eBook Packages: Springer Book Archive