Справка
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Оборот титула
Table of contents
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
-
2.1. Тупиковые состояния
2.2. Недопустимые взаимодействия
2.3. Невыполнимые взаимодействия
2.4. Статические смертельные объятия
2.5. Динамические смертельные объятия
2.6. Неопределенность взаимодействий
2. Формулировка типичных условий верификации спецификаций поведения агентов
Справка
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Оборот титула
Table of contents
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+