| Begründungsverwaltung: Beiträge Zu Einem Workshop Über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings Contributor(s): Stoyan, Herbert (Editor) |
|
 |
ISBN: 3540188533 ISBN-13: 9783540188537 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Language: German Published: February 1988 |
| Additional Information |
| BISAC Categories: - Computers | Expert Systems - Gardening |
| Dewey: 006.33 |
| Series: Teubner Texte Zur Informatik |
| Physical Information: 0.36" H x 6.69" W x 9.61" (0.61 lbs) 153 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Dieses Buch enth lt die schriftlichen Ausarbeitungen von Vortr gen, die am 9. Oktober 1986 auf einem Workshop ber Reason Maintenance gehalten worden sind. Der Begriff Begr ndungsverwaltung als bersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begr ndungen und der Erhaltung der G ltigkeit von Aussagen auf Grund der g ltigen Begr ndungen ausdr cken. Reason Maintenance ist eine Fortf hrung 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, da eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repr sentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Pr missen, Implikationen und Schlu regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begr ndungsverwaltung. Die vorliegenden Arbeiten repr sentieren den deutschen Wissensstand auf diesem Teilgebiet der K nstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit f hrt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran. |