Zusammenfassung
Truth Maintenance Systeme halten zu jeder Zeit eine konsistente Datenbasis und verarbeiten nicht-monotone Justifications. De Kleers ATMS [de Kleer 86a] berechnet multiple Kontexte simultan, verarbeitet aber nur monotone Justifications. Erst auf höheren Ebenen lassen sich nicht-monotone Justifications und die darauf aufbauenden normal- und non-normal Defaults sowie Negation einführen [de Kleer 86b].
Wir schlagen eine zusätzliche Art von ATMS-Knoten vor und codieren damit nichtmonotone Justifications, normal- und non-normal Defaults sowie Negation schon auf der Ebene des Basic ATMS. Unsere Behandlung von nicht-monotonen Justifications vermeidet einige Probleme, die in Truth Maintenance Systemen vom Doyle’schen Typ auftreten.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
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
Doyle,J. A Truth Maintenance System Artificial Intelligence 12 (1979) 231 - 272
Dressler, O. Assumption-based Truth Maintenance Siemens Labor-Bericht, erscheint in Stoyan,H. Proceedings TMS-Workshop Berlin Okt. 1986
Goodwin,J. An Improved Algorithm for Non-Monotonic Dependency Net Update LITH-MAT-R-82-23, Linjoeping University Aug. 1982
Reiter 80] Reiter,R. A Logic for Default Reasoning Artificial Intelligence 13 (1980) Special Issue on Non-Monotonic Reasoning 81-132
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dressler, O. (1987). Erweiterungen des Basic ATMS. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive