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

180 р.

Издатель: МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
ISBN: 978-5-7038-5590-4
Книги: Программирование
ID:14160303

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

Описание Характеристики Сравнить цены (1) Отзывы (0)

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

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

Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	180 р. Электронная книга Кэшбэк до 6.5% ✔ Промокоды на скидку	✔ 27.07.2025

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

Описание

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

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

О книге

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