Определение 21. Под семантическим вероятностным выводом (СВВ)
некоторого сильнейшего вероятностного закона (СВЗ, см. определение 18) мы понимаем такую последовательность вероятностных
законов C1 ⊏ C2 ⊏ ... ⊏ Cn, что
C1, C2, ..., Cn
Î LP, Ci = правило 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.