Advertisement

Annahmen-basiertes Truth-Maintenance — Erweiterungen

  • Clemens Beckstein
Chapter
  • 18 Downloads
Part of the TEUBNER-TEXTE zur Informatik book series (volume 13)

Zusammenfassung

Das Kern-Atms gestattet nur die Formulierung von Rechtfertigungen, die logisch durch aussagenlogische Formeln der Form
$${x_1}\Lambda ...\Lambda {x_n} \to y$$
interpretierbar sind, also definite Klauseln oder (für y = ⊥) materiale Integritätsbedingungen darstellen. Diese Einschränkung macht es dem Problemlöser nicht gerade leicht, Constraint-Probleme für das Atms aufzubereiten. Es ist also kein Wunder, daß seit den ersten Veröffentlichungen zum Atms (de Kleers Trilogie [dK86a]) zahlreiche Vorschläge für Erweiterungen des Kern-Atms gemacht wurden. Diese Erweiterungen lassen sich im wesentlichen in zwei Kategorien einteilen, die wir als
  • deklarative bzw.

  • prozedurale

Erweiterungen bezeichnen wollen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Friedrich-Schiller-Universität JenaJenaDeutschland

Personalised recommendations