Begründungsverwaltung

==> Wissensbasis

<=> Truth-maintenance System