Development of knowledge­based control systems with built­in functions of rules verification and correction

Abstract

Розроблено методи перевірки правил знання-орієнтованих систем контролю, запропонована методика, яка регламентує використання методів для усунення помилок. Представлені компоненти та етапи функціонування знання-орієнтованих систем контролю, створений редактор правил і системи контролю для двох предметних областей. Аналіз результатів в системах управління навчанням показав поліпшення якості навчання і зменшення часу виконання самостійних завдань. Ключові слова: методи перевірки правил контролю, І/АБО-граф, булеві вирази, знання-орієнтовані системи, управління навчанням Разработаны методы проверки правил, применяемые при работе знание-ориентированных систем контроля, предложена методика, регламентирующая использование методов с целью устранения найденных ошибок. Представлены компоненты и этапы функционирования знание-ориентированных систем контроля, создан редактор правил и системы контроля для двух предметных областей. Анализ результатов в системах управления обучением показал улучшение качества обучения и уменьшение времени выполнения самостоятельных заданий. Ключевые слова: методы проверки правил контроля, И/ИЛИ-граф, булевы выражения, знание-ориентированные системы, управление обучением