Source / pinned edition
Авторский контракт представления через vocab.finit
Source of package pearl.causal_models · pearl.causal_models/finit/0.1.0
- work
- urn:pearl:clir:causal-models#FINIT_PRESENTATION_NOTE
- number
- pearl.causal_models/finit/0.1.0
- kind
- urn:pearl:clir:causal-models#treatise
FINIT_PRESENTATION_RU
- edition
- urn:pearl:clir:causal-models#FINIT_PRESENTATION_RU
- language
- ru
- officiality
- unofficial
- materialisation
- PINNED_UNOFFICIAL_COPY
- life cycle
- —
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| urn:arxo:pearl.causal_models:finit-presentation:0.1.0 | text/plain; charset=utf-8 | sha256:03e276cbfd87e0b6ef915c523531918b640d3aeaf9732dadfaed5dc158523c8b | 2026-09-08T00:00:00Z |
Fragments — 1
contract · defn · referenced by: 3
ru · unofficial · sha256:03e276cbfd87e0b6ef915c523531918b640d3aeaf9732dadfaed5dc158523c8bRU
Авторский контракт представления причинных моделей через vocab.finit, версия 0.1.0.
Этот контракт принят в репозитории Arxo; он не является утверждением Judea Pearl.
in_adjustment_set(s,v) передаёт общий contains(s,v), сохраняя идентификаторы множества и переменной.
adjustment_set_for(s,m,x,y) передаёт subset_carrier(s,m): модель является носителем представления её переменных.
Если одновременно предъявлены adjustment_set_for(s,m,x,y) и in_adjustment_set(s,v), то передаётся element_of(v,m). Без привязки множества к модели носитель переменной не изобретается.
Обратных правил из общего словаря нет. Проекция состава не удостоверяет полноту графа, полноту множества поправок, применимость back-door-критерия или причинный эффект.
Referencing norms: FinitAdjustmentCarrier, FinitAdjustmentElement, FinitAdjustmentMember
The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.