Меню

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

Где купить

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

Где купить

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

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

МагазинЦенаНаличие
Яндекс.Маркет
5/5
ООО "ЯНДЕКС"
ИНН: 7736207543
✔ Промокоды на скидку
Avito
5/5
ООО КЕХ еКоммерц
ИНН: 7710668349
Avito доставка позволит получить любой товар, не выходя из дома

История цены

МагазинПоследняя известная ценаОбновлено
ЛитРес
144 р.
15.08.2024

Описание

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

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

О книге


ПараметрЗначение
ISBN978-5-7038-5590-4
Автор(ы)
Год издания2021


Отзывы (0)


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


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

Категория 115 р. - 172 р.

Сертификация программного обеспечения. Статический анализ программного кода
0/5  
Выбор алгоритмов обработки данных, тестирование и повышение качества программ
0/5  
Клиент-серверное приложение на базе JavaFX
0/5  
Разработка кроссплатформенного мобильного приложения для работы с картами
0/5  
Программирование на языке Delphi Win32 Language
0/5  
Простейшие алгоритмы метода Монте-Карло для вычисления определенных интегралов и их реализация на ПЭ…
0/5  
Лабораторный практикум по программированию на ассемблере в операционной системе LINUX
0/5  
Принципы работы микроконтроллеров на основе стенда EasyAVR 6
0/5  
Основные приемы программирования на ассемблере MASM32
0/5  
Базовые средства ассемблера в языках высокого уровня
0/5  
Лабораторный практикум по программированию на языке Delphi Win32 Language
0/5  
Программирование на языке C++. Методические указания к выполнению лабораторного практикума
0/5  
Архитектура микропроцессора Intel 8086. Разработка простых программ
0/5  
Методы обработки данных и оценки программ
0/5  
Разработка функций и модулей пользователя на языке C в среде VS C++
0/5  
Основы языка программирования Ruby
0/5  
Разработка программ рекурсивной структуры
0/5  
Иерархические структуры данных: бинарные деревья
0/5  
Математические модели систем транспортных средств
0/5  
Программирование на языке C++ в среде Visual Studio CLR Windows Forms
0/5  
Все Программирование - издательство "МГТУ им. Н. Э. Баумана (национальный исследовательский университет)" »

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

Категория 115 р. - 172 р.

Самоучитель Silverlight 3
0/5 от 146 р.
Функциональное программирование на F#
5/5 от 127 р.
Разработка и продажа программ для iPhone и iPad
0/5 от 140 р.
Google Android. Системные компоненты и сетевые коммуникации
0/5 от 140 р.
Программирование и отладка С/С++ приложений для микроконтроллеров ARM
4/5 от 140 р.
JavaFX 2.0. Разработка RIA-приложений
2/5 от 159 р.
Введение в теорию языков программирования
5/5 от 159 р.
Язык Swift. Самоучитель
3/5 от 160 р.
Стек, или Путешествие туда и обратно
4/5 от 159 р.
Изучаем jQuery 1.3. Эффективная веб-разработка на JavaScript
0/5 от 120 р.
Моделирование и визуализация средствами MATLAB
4/5 от 119 р.
Теория и практика делового общения для разработчиков программного обеспечения и IT-менеджеров
0/5 от 120 р.
Биометрическая защита. Обзор технологии
0/5 от 140 р.
Набор и верстка в системе LATEX
4/5 от 160 р.
Методы линейного программирования
0/5 от 144 р.
LabVIEW Практический курс для инженеров и разработчиков
4/5 от 172 р.
Искусственный интеллект: начала MSM
0/5 от 128 р.
⬆ ❤ закладки (0) ✔ сравнение (0)

24 ms