Личный кабинет
Подробное описание документа
Девятков В. В., Лычков И. И., Наунг М. Т.
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / Девятков В. В., Лычков И. И., Наунг М. Т. - Москва : МГТУ им. Н. Э. Баумана, 2021. -
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации муль-тиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
