Подробное описание документа

Девятков В. В., Лычков И. И., Наунг Мьё Тхет
   Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / Девятков В. В., Лычков И. И., Наунг Мьё Тхет ; МГТУ им. Н. Э. Баумана (национальный исследовательский ун-т). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2021. - 54 с. : рис. - Библиогр.: с. 53-54. - ISBN 978-5-7038-5590-4.

Читать онлайн Аннотация

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной
логики условия их корректности.
Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».

УДК

004.4 Программные средства

Предметные рубрики

• Программирования языки: Prolog - Учебники и пособия

Авторы МГТУ

• Девятков Владимир Валентинович
• Лычков Игорь Игоревич

Общее кол-во в фондах

65 экз.

1. Абонемент старших курсов, ГУК, ауд. 213
2. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
3. Преподавательский абонемент ауд.313, ГУК, ауд. 313
4. Читальный зал ауд.305л, УЛК, ауд. 305л
5. Читальный зал ауд.313, ГУК, ауд. 313