Begründungsverwaltung : Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986 : Proceedings

著者

書誌事項

Begründungsverwaltung : Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986 : Proceedings

H. Stoyan, (Hrsg.)

（Informatik-Fachberichte, 162）（Informatik-Fachberichte, Subreihe Künstliche Intelligenz）

Springer-Verlag, c1988

  • ger
  • us

大学図書館所蔵 件 / 全2件

この図書・雑誌をさがす

注記

English and German

Includes bibliographies

収録内容

  • 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

内容説明・目次

内容説明

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.

目次

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.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ