Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
2. Формулировка типичных условий верификации спецификаций поведения агентов
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
-
2.1. Тупиковые состояния
2.2. Недопустимые взаимодействия
2.3. Невыполнимые взаимодействия
2.4. Статические смертельные объятия
2.5. Динамические смертельные объятия
2.6. Неопределенность взаимодействий
2.7. Переполнение
Контрольные вопросы
3. Прототипирование верификации поведения агентов
+
Литература
Данный блок поддерживает скрол*