Источник / закреплённая редакция
Авторский контракт представления через vocab.finit
Источник пакета pearl.causal_models · pearl.causal_models/finit/0.1.0
- work
- urn:pearl:clir:causal-models#FINIT_PRESENTATION_NOTE
- номер
- pearl.causal_models/finit/0.1.0
- вид
- urn:pearl:clir:causal-models#treatise
FINIT_PRESENTATION_RU
- edition
- urn:pearl:clir:causal-models#FINIT_PRESENTATION_RU
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:arxo:pearl.causal_models:finit-presentation:0.1.0 | text/plain; charset=utf-8 | sha256:03e276cbfd87e0b6ef915c523531918b640d3aeaf9732dadfaed5dc158523c8b | 2026-09-08T00:00:00Z |
Фрагменты — 1
contract · defn · на него ссылаются: 3
ru · unofficial · sha256:03e276cbfd87e0b6ef915c523531918b640d3aeaf9732dadfaed5dc158523c8b
Авторский контракт представления причинных моделей через 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-критерия или причинный эффект.
Ссылаются нормы: FinitAdjustmentCarrier, FinitAdjustmentElement, FinitAdjustmentMember
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.