- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ; МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021
180 р.
- Издатель: МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
- ISBN: 978-5-7038-5590-4
- Книги: Программирование
- ID:14160303
Где купить (1)
Цена от 180 р. до 180 р. в 1 магазинах
Магазин | Цена | Наличие |
---|---|---|
Описание
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
ISBN | 978-5-7038-5590-4 |
Автор(ы) | В. В. Девятков |
Год издания | 2021 |
Издатель | МГТУ им. Н.Э. Баумана (национальный исследовательский университет) |
Форматы электронной версии |
Отзывы (0)
Добавить отзыв
Книги: Информационные технологии, Программирование - издательство "МГТУ им. Н. Э. Баумана (национальный исследовательский университет)"
Категория 144 р. - 216 р.
Книги: Информационные технологии, Программирование
Категория 144 р. - 216 р.