Промышленные АСУ и контроллеры Аннотация к статье << Назад Искробезопасные промышленные контроллеры серии БАЗИС С.В. ТУЧИНСКИЙ, И.Н. АНДРИЯНОВ (ЗАО “Экоресурс”) В настоящей статье на примере языка Пролог рассматривается задача верификации логических программ экспертными обучающими системами. Под задачей верификации понимается задача доказательства правильности программ при всех входных данных, удовлетворяющих поставленной задаче. Для решения этой задачи предлагается использовать трансформационный подход, использующий алгебру логики первого порядка. Описывается алгоритм анализа программы, написанной обучаемым. Ключевые слова: верификация, логическая программа, трансформация, электронный учебник, язык логического программирования, автоматизированные обучающие системы. E-mail: bogolub@mail.ru E-mail: foofl@yandex.ru