Раздел 3 / 6

Страница 1 / 7

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

Введение

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

1.1. Формальные языки (модели) описания спецификаций поведения агентов

1.2. Формальные языки описания свойств спецификаций поведения агентов

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

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

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

Литература