Bounded reasoning
CERBERUS works on supplied material. It evaluates claims, contradictions, alternatives and coherence without filling gaps on its own.
Traceability
An important conclusion must preserve the evidence that supports it and declare what cannot be proven.