Формальний опис процесу контролю задоволення та порушення обмежень в інтелектуальних системах
Досліджено процес функціонування інтелектуальної навчальної системи засобами формальних методів теорії інформаційно-пошукових задач на основі обмежень. Побудовано множини, системи та ієрархії обмежень для статичних та динамічних навчальних проблем з виділеними станами, для яких описано можливі помилки рішень як результат порушення накладених обмежень з повідомленнями зворотного зв’язку.