Справка
x
Настроить шрифт
Версия сайта для слабовидящих
Вход / регистрация
Электронная библиотечная система
Консультант студента
Книги
ru
en
Электронная библиотечная система
Консультант студента
Книги
Вход / регистрация
Профиль
Смена пароля
Доступ
Закладки
Уведомления
Мои списки
Мои отчеты
Получить доступ удалённо
Инструкция пользователя
Выход
Во всей библиотеке
Закрыть
Искать
Везде
По названиям
По авторам
Издательство
Тип издания
Год издания
Издательства
Абрис
Академический Проект
Альпина ПРО
Альпина Бизнес Букс
Альпина нон-фикшн
Альпина Паблишер
Альтаир
АНТЕЛКОМ
АСВ
Аспект-Пресс
АСТ-ПРЕСС КНИГА
Белорусская наука
БИНОМ
Блок-Принт
Брянский ГАУ
ВАКО
ВГУИТ
Вече
ВКН
ВЛАДОС
Время
ВШОУЗ-КМК
Высшая школа экономики
Вышэйшая школа
Галарт
Гангут
Генезис
ГИОРД
Горная книга
Горячая линия - Телеком
Грамота
ГЭОТАР-Медиа
Дашков и К
Дело
Деловой стиль
Директ-Медиа
Директмедиа Паблишинг
Дмитрий Сечин
ДМК-пресс
ДОДЭКА
Зерцало-М
Златоуст
Знак
Ивановская ГСХА
Ивановский ГХТУ
Издательский дом "ГЕНЖЕР"
Издательский дом В. Ема
Институт общегуманитарных исследований
Институт психологии РАН
Интеллект-Центр
Интеллектуальная литература
Интермедиатор
Интермедия
ИНТУИТ
Инфра-Инженерия
Казанский ГМУ
Каро
КГАВМ
Книгодел
Книжный мир
КНИТУ
Когито-Центр
КолосС
Корвет
КТК "Галактика"
КФУ
Лаборатория знаний
Литтерра
Логос
Машиностроение
МГИМО
МГТУ им. Н.Э. Баумана
МГУ им. Ломоносова
Медицина
Международные отношения
Менеджер здравоохранения
Мир и образование
МИСИ - МГСУ
МИСиС
Молодая гвардия
МЭИ
Нижегородский ГАСУ
Новосибирcкий ГУ
Новосибирский ГТУ
Олимпия
Оренбургский ГУ
Оригинал-макет
Перо
Персэ
Политехника
Прогресс-Традиция
Прометей
Просвещение
Проспект
Проспект Науки
Р. Валент
РГ-Пресс
РГГУ
Ремонт и Сервис 21
РИПО
Родники
РУДН
Рукописные памятники Древней Руси
Русистика
Русско-китайское юридическое общество
Русское слово - учебник
РязГМУ
Санкт-Петербургский медико-социальный институт
САФУ
В. Секачев
Секвойя
СибГУТИ
СибГУФК
Сибирское университетское издательство
Синергия
СКИФИЯ
Советский спорт
СОЛОН-Пресс
Социум
Спорт
Ставропольский ГАУ
Статут
Стрелка Пресс
Студия АРДИС
СФУ
ТГАСУ
Текст
Теревинф
Терра-Спорт
Техносфера
Томский ГУ
Точка
Университетская книга
Феникс
Физматлит
Финансы и статистика
Флинта
Химиздат
Хоббитека
Человек
Эксперт-Наука
Юнити-Дана
Юстицинформ
ЮФУ
Языки славянских культур
отметить все
снять все метки
**Данные блоки поддерживают скрол
Типы изданий
автореферат диссертации
адресная/телефонная книга
антология
афиша
биобиблиографический справочник/словарь
биографический справочник/словарь
букварь
документально-художественное издание
задачник
идеографический словарь
инструктивно-методическое издание
инструкция
каталог
каталог аукциона
каталог библиотеки
каталог выставки
каталог товаров и услуг
материалы конференции (съезда, симпозиума)
монография
музейный каталог
научно-художественное издание
научный журнал
номенклатурный каталог
орфографический словарь
орфоэпический словарь
памятка
переводной словарь
песенник
практикум
практическое пособие
практическое руководство
прейскурант
препринт
пролегомены, введение
промышленный каталог
проспект
путеводитель
рабочая тетрадь
разговорник
самоучитель
сборник научных трудов
словарь
справочник
стандарт
тезисы докладов/сообщений научной конференции (съезда, симпозиума)
терминологический словарь
толковый словарь
уставное издание
учебная программа
учебник
учебно-методическое пособие
учебное наглядное пособие
учебное пособие
учебный комплект
хрестоматия
частотный словарь
энциклопедический словарь
энциклопедия
этимологический словарь
языковой словарь
отметить все
снять все метки
**Данные блоки поддерживают скрол вверх/вниз
Авторы
В. В. Девятков, И. И. Лычков, М. Т. Наунг
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Издательство
МГТУ им. Н.Э. Баумана
Тип издания
учебное пособие
Год издания
2021
Читать online
Скачать приложение
Содержание
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
+
Литература
Скопировать биб. запись
Для каталога
Девятков, В. В. Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / В. В. Девятков, И. И. Лычков, М. Т. Наунг. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2021. - 54 с. - ISBN 978-5-7038-5590-4. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785703855904.html (дата обращения: 06.12.2024). - Режим доступа : по подписке.
Аннотация
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности.
Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 "Информационные системы и технологии" и изучающих дисциплину "Интеллектуальные системы и технологии".
Загружено
2022-12-28
Оглавление
Оборот титула
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
+
Литература