UTE needs causal semantics: not only “what implies what”, but “what causes what”, how interventions propagate, and how to answer
counterfactual questions without collapsing into pure correlation.
What exists today
- Advanced reasoning topics and patterns: DS06
- CSP and planning foundations: DS16
UTE requirement: causal modeling primitives
Mechanisms
Represent “mechanism modules” (processes) with explicit inputs, outputs, and invariants.
Interventions
Support do()-style updates (force a variable/value) and propagate through mechanisms under constraints.
Counterfactuals
Answer “what if X had been different?” with a clear split between model structure and evidence.
Proposed extensions (research direction)
- Causal graph layer that remains compatible with DSL facts and proofs.
- Mechanistic simulation hooks (possibly numeric) that are invoked as proof-producing “extensions”.
- Intervention operators integrated with revision and provenance.
Spec
This page is summarized and formalized in DS35.