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