§ 30. Семантический вероятностный вывод.

Определение 21. Под семантическим вероятностным выводом (СВВ) некоторого сильнейшего вероятностного закона (СВЗ, см. определение 18) мы понимаем такую последовательность вероятностных законов C₁ ⊏ C₂ ⊏ ... ⊏ C_n, что

C1, C2, ..., Cn Î LP, Ci = , i = 1, 2, ..., n, n ³ 1, правило Ci является подправилом правила Ci+1, h(Ci+1) > h(Ci), i = 1, 2, ..., n-1 , Cn – СВЗ-правило.

(1)

Рис 7.

Предложение 4. Любой вероятностный закон принадлежит некоторому СВВ-выводу.

Предложение 5. Для любого СВЗ-закона существует СВВ-вывод этого правила.

Следствие 3. Для любого закона из L существует СВВ-вывод этого закона.

Рассмотрим множество всех СВВ-выводов некоторого факта G. Это множество можно представить как семантическое вероятностное Дерево выводов (СВДВ-дерево) факта G (рис 7).

Определение 22. Максимально специфическим законом вывода факта G ( МСЗ(G) ) мы определим сильнейший вероятностный закон СВДВ-дерева вывода факта G, имеющий максимальное значение условной вероятности среди всех других сильнейших вероятностных законов СВДВ-дерева вывода факта G.

Множество всех максимально специфических законов обозначим через МСЗ.

Предложение 6. L Ì МСЗ Ì СВЗ Ì LP.