Begründungsverwaltung : Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986 : Proceedings
Author(s)
Bibliographic Information
Begründungsverwaltung : Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986 : Proceedings
（Informatik-Fachberichte, 162）（Informatik-Fachberichte, Subreihe Künstliche Intelligenz）
Springer-Verlag, c1988
- ger
- us
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
English and German
Includes bibliographies
Contents of Works
- Reason maintenance systems / Michael Reinfrank
- An integrated non-monotonic and reason maintenance system / Michael Reinfrank, Hartmut Freitag
- Assumption based truth maintenance / Oskar Dressler
- RMSAI, ein Reason Maintenance System für approximative Inferenzen / Manfred Werner
- CMS (Consistency Maintenance System) / Franco di Primo
Description and Table of Contents
Description
Dieses Buch enthalt die schriftlichen Ausarbeitungen von Vortragen, die am 9. Oktober 1986 auf einem Workshop uber Reason Maintenance gehalten worden sind. Der Begriff Begrundungsverwaltung als Ubersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begrundungen und der Erhaltung der Gultigkeit von Aussagen auf Grund der gultigen Begrundungen ausdrucken. Reason Maintenance ist eine Fortfuhrung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, dass eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Reprasentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Pramissen, Implikationen und Schlussregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind.
Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begrundungsverwaltung. Die vorliegenden Arbeiten reprasentieren den deutschen Wissensstand auf diesem Teilgebiet der Kunstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit fuhrt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Table of Contents
Reason Maintenance Systems.- An Integrated Non-Monotonic and Reason Maintenance System.- Assumption-Based Truth Maintenance.- RMSAI - Ein Reason Maintenance System fur approximative Inferenzen.- CMS (Consistency Maintenance System) - Ein Interpreter fur konsistenzerhaltende Prozeduren.
by "Nielsen BookData"