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

• Veröffentlicht in: Кибернетика и системный анализ
• Datum: 2013
• 1. Verfasser: Балабанов, А.С.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
• Schlagworte: Кибернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/86212
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Логика минимальной сепарации в каузальных сетях / А.С. Балабанов // Кибернетика и системный анализ. — 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.