Schliessen mit Standardannahmen

<=> Alltagsschließen

<== Frame-Problem

<== Wissen und Wissensrepräsentation

==> Truth-maintenance System

==> Vererbung

==> Modallogik

==> Circumscription

<== Inferenz

<=> Standardannahme