Es ist nun beinahe funfzehn Jahre her, dass Jon Doyle mit seiner Master's Thesis den Grundstein fur 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 ausgedruckt hat. In neueren Publikationen lasst sich zwar ein klarer Trend hin zu Beschreibungen von Truth-Maintenance-Systemen erkennen, die formale Aussagen uber die Systeme...