Cognition · Software component

Reasoning Consistency Checker

Software componentCognitionCognition & Memoryarc:ContradictionDetector

A verification component that uses entailment judgments and entity resolution to detect contradictory assertions across steps of a reasoning chain.

Responsibility. Detects self-contradictions across reasoning steps.

Also known as: Coherence checker, Consistency checking across representations, Inter-step consistency checker, Contextual verification, Semantic consistency checking, Internal contradiction detection, Within-session consistency check

invokesevaluatesguardsreadsis invoked bysends data tois invoked byreceives data fromreadsis evaluated byis invoked byinvokesis configured byis invoked byInference Server: invokesInference ServerReasoning Engine: evaluatesReasoning EngineAnswer Synthesizer: guardsAnswer SynthesizerConversation State Store: readsConversation State StoreContext Assembler: is invoked byContext AssemblerReasoning Quality Scorer: sends data toReasoning Quality ScorerStepwise Reasoning Verifier: is invoked byStepwise Reasoning Verif…Reasoning Chain Decomposer: receives data fromReasoning Chain DecomposerShared Message History: readsShared Message HistoryEvaluator Calibrator: is evaluated byEvaluator CalibratorCompression Fidelity Validator: is invoked byCompression Fidelity Val…NLI Scoring Service: invokesNLI Scoring ServiceReasoning Quality Threshold Configuration: is configured byReasoning Quality Thresh…Cross-Agent Coherence Evaluator: is invoked byCross-Agent Coherence Ev…
Direct neighbourhood (hover for relationship types)

Relationships

is configured by structural

invokes dependency

is invoked by dependency

reads dependency

receives data from dynamic

sends data to dynamic

guards control

evaluates assurance

is evaluated by assurance

Design guidance

Quantitative guidance

As stated by the sources; verify before use.

Classification

Patterns
Entailment-based contradiction detectionEntity resolutionInter-step consistency = 1 - max P_contradiction(prior information, new RCU)Inter-step consistency = 1 - contradictions / total stepsFlag conflicting claims across retrieved passages before context insertionConsistency verification of summaries against sources
Quality attributes
Functional suitability: correctness and validity (ISO/IEC 25010 | NIST AI RMF: valid)Reliability (ISO/IEC 25010 | NIST AI RMF: valid and reliable)
Risks mitigated
Self-contradictionEntity conflationSelf-contradictory reasoning chainsLosing track of earlier conclusions in long chainsInconsistent answers across turnsCascading multi-agent hallucination

Sources

  1. Ch3.6: T. Nguyen, "Trace Analysis and Execution Debugging," in Mastering Agentic AI Systems: Guide for the NVIDIA NCP-AAI Exam, 1st ed. 2026, ch. 3.6. ISBN: 9798244538229.
  2. Ch3.9: T. Nguyen, "Reasoning Quality," in Mastering Agentic AI Systems: Guide for the NVIDIA NCP-AAI Exam, 1st ed. 2026, ch. 3.9. ISBN: 9798244538229.
  3. Ch3.10: T. Nguyen, "Efficiency Metrics," in Mastering Agentic AI Systems: Guide for the NVIDIA NCP-AAI Exam, 1st ed. 2026, ch. 3.10. ISBN: 9798244538229.
  4. Ch5.9: T. Nguyen, "Working Memory," in Mastering Agentic AI Systems: Guide for the NVIDIA NCP-AAI Exam, 1st ed. 2026, ch. 5.9. ISBN: 9798244538229.