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

332
{τ/T}, на интервале δ/Λ наблюдается событие e;
- не существует ни одной ситуации действительности,
удовлетворяющей {τ/T}, где вслед за событиями {c}, удовлетворяющими
{τ/T}, на интервале δ/Λ не наблюдается событие e.
Тогда события {c} являются возможной причиной наступления события
e на интервале δ/Λ при условии выполнения {τ/T}.
Формальная запись «+Правила» будет иметь следующий вид:
∃α∇{τ/T} (J +1 Exp (α, {c}∇{τ/T}, δ/Λ, e)) &¬∃β∇{τ/T} (J -1 Exp
(β, {c}∇{τ/T}, δ/Λ, e)) → J +1 PC ({c}, δ/Λ, {τ/T}, e).
Дадим неформальное описание «∨Правила» для PC.
Пусть
- существует хотя бы одна ситуация действительности,
удовлетворяющая {τ/T}, где вслед за каким либо событием из {c},
удовлетворяющим {τ/T}, на интервале δ/Λ наблюдается событие e;
- не существует ни одной ситуации действительности,
удовлетворяющей {τ/T}, где вслед за каким либо событием из {c},
удовлетворяющим {τ/T}, на интервале δ/Λ не наблюдается событие e.
Тогда множество событий {c} содержит возможные причины
наступления события e на интервале δ/Λ при условии выполнения {τ/T}.
Формальная запись «∨Правила» будет иметь следующий вид:
∃α∇{τ/T} ∃c’∈{c}∇{τ/T} (J +1 Exp (α, c’, δ/Λ, e)) &¬∃β∇{τ/T}
∀c’∈{c}∇{τ/T} (J -1 Exp (β, c’, δ/Λ, e)) → J ∨ PC ({c}, δ/Λ, {τ/T}, e).
Неформальное описание «-Правила» для PC.
Пусть
- существует хотя бы одна ситуация действительности,
удовлетворяющая {τ/T}, где вслед за событиями {c}, удовлетворяющими
{τ/T}, на интервале δ/Λ не наблюдается событие e;
- не существует ни одной ситуации действительности,
удовлетворяющей {τ/T}, где вслед за событиями {c}, удовлетворяющими
{τ/T}, на интервале δ/Λ наблюдается событие e.
Тогда события {c} являются возможной причиной ненаступления
события e на интервале δ/Λ при условии выполнения {τ/T}.
Формальная запись «-Правила» будет иметь следующий вид:
∃α∇{τ/T} (J -1 Exp (α, {c}∇{τ/T}, δ/Λ, e)) &¬∃β∇{τ/T} (J +1 Exp
(β, {c}∇{τ/T}, δ/Λ, e)) → J -1 PC ({c}, δ/Λ, {τ/T}, e).
Неформальное описание «0Правила» для PC.
Пусть