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
(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」 より