Логика минимальной сепарации в каузальных сетях

• Published in: Кибернетика и системный анализ
• Date: 2013
• Main Author: Балабанов, А.С.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
• Subjects: Кибернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/86212
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Логика минимальной сепарации в каузальных сетях / А.С. Балабанов // Кибернетика и системный анализ. — 2013. — Т. 49, № 2. — С. 36-47. — Бібліогр.: 18 назв. — рос.

Виявлено логічні властивості та імплікації на підмножині марківських властивостей систем залежностей, структурованих орієнтованими графами. Результати чинні для широкого класу структур, включаючи змішані графи й структури з орієнтованими циклами. Визначено три типи сепараторів: мінімальні, локально-мінімальні й ненадлишкові. Сформульовано необхідні вимоги до членів ненадлишкового сепаратора та принципи формування ненадлишкових сепараторів з елементарних фактів (не)залежності. We reveal new entailments (implications) on a subset of pairwise Markov properties which hold in causal nets. The results obtained characterize a wide class of graphical models, including mixed graphs and cyclic digraphs. Three kinds of separators are defined: minimal, locally-minimal, and non-redundant. We state necessary conditions for members of non-redundant separator and propose principles of forming a non-redundant separator from elementary (in)dependency facts.