ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

331
событий {c} на временном интервале δ/Λ наблюдается событие e» запишем
следующим образом: J +1 Exp (α, {c}, δ/Λ, e).
Утверждение «в ситуации действительности α вслед за множеством
событий {c} на временном интервале δ/Λ не наблюдается событие e»
запишем следующим образом: J -1 Exp (α, {c}, δ/Λ, e).
Введем J-атомарные формулы с предикатным символом PC (возможная
причина):
J +1 PC ({c}, δ/Λ, {τ/T}, e) будем интерпретировать как «{c} является
возможной причиной наступления e на интервале δ/Λ при условии
выполнения {τ/T}» (+Правило для PC).
J ∨ PC ({c}, δ/Λ, {τ/T}, e) будем интерпретировать как «Хотя бы одно из
событий {c} является возможной причиной наступления e на интервале δ/Λ
при условии выполнения {τ/T}» (∨Правило для PC).
J L PC (L({c}), e) будем интерпретировать как «Факт L({c}) является
возможной причиной наступления e» (LПравило для PC).
J -1 PC ({c}, δ/Λ, {τ/T}, e) будем интерпретировать как «{c} является
возможной причиной ненаступления e на интервале δ/Λ при условии
выполнения {τ/T}» (-Правило для PC).
J 0 PC ({c}, δ/Λ, {τ/T}, e) будем интерпретировать как «сведения о
причинно-следственных отношениях между {c} и e на интервале δ/Λ при
условии выполнения {τ/T} противоречивы» (0Правило для PC).
J PC ({c}, δ/Λ, {τ/T}, e) будем интерпретировать как «сведений о
причинно-следственных отношениях между {c} и e на интервале δ/Λ при
условии выполнения {τ/T} недостаточно» (Правило для PC).
Условия {τ/T} действуют на множестве ситуаций действительности Ω.
Условия {τ/T} могут быть фильтром как ситуаций α, так и событий {c}.
Условия {τ/T} могут отсутствовать (в таком случае получим безусловные
правила).
Пример фильтра только для ситуаций действительности (из
медицинской практики): {τ/T} = {ПолЖ; Ds Бронхит; Возраст/B2 40-
55}. Пример фильтра только для событий: {τ/T} = {Тип тестов в событиях
{c} Биохимия крови}.
Тот факт, что ситуация действительности α удовлетворяет условиям
{τ/T}, будем записывать с помощью нотации: α ∇{τ/T}. Аналогично будем
записывать сведения о том, что события {c} удовлетворяют условиям
{τ/T}: {c}∇{τ/T}
Дадим неформальное описание «+Правила» для PC.
Пусть
- существует хотя бы одна ситуация действительности,
удовлетворяющая {τ/T}, где вслед за событиями {c}, удовлетворяющими