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

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

Где купить

Рейтинг:

(0/5)

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

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

Цены

Последняя известная цена от 5 р. до 5 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время ✔ Промокоды на скидку

Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	Заказ от 800 рублей мы привезем бесплатно!

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

Описание

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

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