|
реклама |
|
|
|
|
|
|
Промышленные АСУ и контроллеры Аннотация к статье << Назад
Система верификации логических программ, основанная на трансформационном подходе, для электронного учебника языка Пролог |
Д.П. БОГОЛЮБОВ, С.Г. ЧЕЛНОКОВ
В настоящей статье на примере языка Пролог рассматривается задача верификации логических программ экспертными обучающими системами. Под задачей верификации понимается задача доказательства правильности программ при всех входных данных, удовлетворяющих поставленной задаче. Для решения этой задачи предлагается использовать трансформационный подход, использующий алгебру логики первого порядка. Описывается алгоритм анализа программы, написанной обучаемым. Ключевые слова: верификация, логическая программа, трансформация, электронный учебник, язык логического программирования, автоматизированные обучающие системы. E-mail: bogolub@mail.ru E-mail: foofl@yandex.ru |
|
|
|
Последние новости:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |