Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ; МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021

180 р.

Где купить

Где купить (1)

Цена от 180 р. до 180 р. в 1 магазинах

МагазинЦенаНаличие
180 р.
Электронная книга Кэшбэк до 6.5%
Промокоды на скидку

27.07.2025
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома

Описание

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

Смотри также о книге.

О книге


ПараметрЗначение
ISBN978-5-7038-5590-4
Автор(ы)
Год издания2021
ИздательМГТУ им. Н.Э. Баумана (национальный исследовательский университет)
Форматы электронной версииPDF


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Информационные технологии, Программирование - издательство "МГТУ им. Н. Э. Баумана (национальный исследовательский университет)"

Категория 144 р. - 216 р.

Книги: Информационные технологии, Программирование

Категория 144 р. - 216 р.

закладки (0) сравнение (0)

19 ms