Раздел 4 / 6

Страница 1 / 14

2. Формулировка типичных условий верификации спецификаций поведения агентов

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

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

Оглавление

Предисловие

Введение

1. Современное состояние верификации поведения интеллектуальных агентов +

2. Формулировка типичных условий верификации спецификаций поведения агентов -

2.1. Тупиковые состояния

2.2. Недопустимые взаимодействия

2.3. Невыполнимые взаимодействия

2.4. Статические смертельные объятия

2.5. Динамические смертельные объятия

2.6. Неопределенность взаимодействий

2.7. Переполнение

Контрольные вопросы

3. Прототипирование верификации поведения агентов +

Литература