Begründungsverwaltung

Es ist nun beinahe fünfzehn Jahre her, da Jon Doyle mit seiner Master's Thesis den Grundstein für eine ganze Reihe unterschiedlicher Systeme legte, die alle als Truth-Maintenance-Systeme bezeichnet werden. Die Mehrzahl dieser Systeme wurde allerdings nur prozedural, ohne eine begleitende formale Untersuchung ihrer Eigenschaften vorgestellt - "at a time we weren't so formal and logical", wie es Johan de Kleer einmal ausgedrückt hat.