Раздел 5 / 6

Страница 1 / 19

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Оглавление

Предисловие

Введение

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

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

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

3.1. Обнаружение тупиковых состояний

3.2. Обнаружение недопустимых взаимодействий

3.3. Обнаружение невыполнимых взаимодействий

3.4. Прототипирование проверки наличия статических смертельных объятий

3.5. Обнаружение динамических смертельных объятий

3.6. Обнаружение неопределенности взаимодействий

3.7. Обнаружение переполнения

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

Литература