Zusammenfassung
TMS (Truth-Maintenance System) und ATMS (Assumption-based Truth-Maintenance System) sind zwei konsistenzerhaltende Systeme. TMS und ATMS nehmen keine Schlußfolgerungen vor: ein äußeres Deduktionssystem übergibt ihnen die durchgeführten Folgerungen und die entdeckten Widersprüche in Form eines Paares (Behauptung, Begründung). Sie registrieren die Folgerungen und kümmern sich um die Erhaltung der Konsistenz für die Menge der Behauptungen. Eine Behauptung ist eine atomare Formel ohne Variable. Sie ermöglichen die Durchführung nichtklassischer Beweisführungen, da man mit ihnen Hypothesen, Standardwerte und Widersprüche behandeln kann. Mit TMS können nichtmonotone Folgerungen ausgedrückt werden wie: “bei Fehlen von P, leite Q ab”. Es ist dem “Default”schließen gut angepaßt ATMS läßt die gleichzeitige Untersuchung verschiedener Hypothesen zu und paßt besser zum hypothetischen Schließen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1992 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Sombé, L. (1992). Konsistenzerhaltungssysteme. In: Seidenspinner, P., Schwind, C. (eds) Schließen bei unsicherem Wissen in der Künstlichen Intelligenz. Künstliche Intelligenz. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-91095-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-322-91095-0_13
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-05126-6
Online ISBN: 978-3-322-91095-0
eBook Packages: Springer Book Archive