Theo uses a truth maintenance system that saves dependencies of cached knowledge and detects inconsistencies between the current environmental situation and the cached knowledge.
Go to a discussion of this environment for multiple architectures.