Алгебраические байесовские сети (АБС) являются одной из вероятностных графических моделей баз фрагментов знаний (ФЗ) с неопределенностью. Цель работы - дать формальное определение алгебраическим байесовским сетям и исследовать вопросы проверки непротиворечивости тех из них, которые связны и ацикличны. В теории АБС моделью ФЗ выступает идеал конъюнктов со скалярными или интервальными оценками вероятности истинности, а сама АБС является совокупностью таких моделей ФЗ, над которой задана структура графа смежности. Частными видами структуры АБС могут быть деревья смежности - в этом случае речь идет об особом классе ациклических алгебраических байесовских сетей, и цепи смежности - в этом случае АБС будет не только ациклической, но и представимой в виде пути (без взаимопересечений) между двумя фрагментами знаний. В статье содержится определение трех перечисленных структур, раскрывается связь между терминами «дерево смежности» и «дерево сочленений» и, наконец, дается формальное определение АБС и ациклической АБС. В