технологія інформаційна, технология информационная, IT, ИТ ; система контролю, система контроля, control system ; оцінювання експертне, оценивание экспертное ; Техніка, с.г., медицина

Метою дослідження є підвищення достовірності контролю, а також надання можливості оперативного внесення змін до правил за рахунок розробки нових моделей, методів та ІТ створення і супроводусистем контролю на базі знання орієнтованого підходу. Розроблено метод перевірки суперечливості посилок правил контролю на основі задачі SAT, метод перевірки правил контролю на повноту на основі візуалізації поряд з вхідними й "інверсних"правил та автоматизованої генерації доповнених правил, метод перевірки досяжності в I/ABO-графі вершини стану.

• ББК науковий // Автоматика