Abstract

We consider an application of CF grammar with regular expressions in right hand side of the rules for representation and processing in computer algebra and proof assistants. The program SynGT has been presented.

Highlights

  • Объектом изучения в данной статье являются байесовские сети доверия

  • Прошедшее с начала исследований байесовских сетей доверия, удалось создать метод, который позволяет оперировать с байесовские сети доверия (БСД), построенными на направленных графах, не содержащих направленных циклы, но, возможно, содержащих ненаправленные

  • Пример байесовской сети доверия и соответствующего ей дерева смежности изображен на рис. 4

Read more

Summary

Введение

Объектом изучения в данной статье являются байесовские сети доверия. Впервые данное понятие вводится в работе [1] и в [2] подвергается достаточно полному и систематическому анализу. В статье мы рассмотрим байесовские сети доверия и деревья сочленений с точки зрения вероятностной семантики. В качестве вероятностной семантики мы выбрали совместное распределение вероятностей над множеством всех переменных, входящих в байесовскую сеть доверия. Цель работы — доказать, что в рамках логико-вероятностного подхода мы получаем одно и тоже вероятностное распределение как для традиционного построения распределения в байесовской сети доверия, так и для построения совместного распределения. ISSN 2078-9181 (print), ISSN 2078-9599 (online) www.proceedings.spiiras.nw.ru на основе дерева сочленений, согласованного с байесовской сетью доверия, при предположении условной независимости между локальными распределениями над переменными в узлах дерева сочленений при заданных означиваниях переменных, входящих в сепаратор. По теореме о представлении пропозициональной формулы в совершенной дизъюнктивной нормальной форме (СДНФ) любая пропозициональная формула представима в виде дизъюнкции формул, входящих в выбранное нами множество элементарных событий.

Определение байесовской сети доверия
Дерево сочленений
Локальные распределения в вершинах дерева сочленений
Глобальное и локальные распределения
Выводы

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.