Раздел 5 / 6

Страница 1 / 19

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

/

Режим прокрутки

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

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

На предыдущую страницу

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

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

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

/

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 3 стр. из этой главы.

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

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

На предыдущую страницу

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

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

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

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

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

Table of contents

Предисловие

Введение

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

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

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

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

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

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

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

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

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

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

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

Литература