Электронная библиотечная система КОНСУЛЬТАНТ СТУДЕНТА
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Все издания
    шрифт
  • en
Версия для слабовидящих

Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ

Для каталогаДевятков, В. В. Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / В. В. Девятков, И. И. Лычков, М. Т. Наунг. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2021. - 54 с. - ISBN 978-5-7038-5590-4. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://prior.studentlibrary.ru/book/ISBN9785703855904.html (дата обращения: 03.04.2025). - Режим доступа : по подписке.
АвторыВ. В. Девятков, И. И. Лычков, М. Т. Наунг
ИздательствоМГТУ им. Н.Э. Баумана
Тип изданияучебное пособие
Год издания2021
ПрототипЭлектронное издание на основе: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ: учебное пособие / В. В. Девятков, И. И. Лычков, М. Т. Наунг. - Москва: Издательство МГТУ им. Н. Э. Баумана, 2021. - 54, [2] с.: ил. - ISBN 978-5-7038-5590-4.
Озвучить текст
АннотацияРассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности.
Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 "Информационные системы и технологии" и изучающих дисциплину "Интеллектуальные системы и технологии".
Загружено 2022-12-28