Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков) , 2021

144 р.

Автор(ы): В. В. Девятков;
Издатель: МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
ISBN: 978-5-7038-5590-4
все характеристики
ID: SKU1894953
Добавлено: 30.12.2023

Рейтинг:

(0/5)

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

Цены (1)Описание О книге Отзывы (0)

Цены

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

Магазин	Цена	Наличие
ЛитРес 5/5 ООО"Литрес" ИНН: 7719571260	144 р. 180 р. электронная книга \| скачать фрагмент история цены
Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571
Читай-город 5/5 ООО "Новый Книжный Центр" ИНН: 7710422909
МАЙШОП 5/5 ООО "МАГАЗИН КНИГ" ИНН: 9725076959	Один из первых книжных интернет-магазинов, работающий с 2002 года

Как купить или где мы находимся +

Описание

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

Смотри также Характеристики.