Cyc: toward programs with common sense
A truth maintenance system