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