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

PDF
0
Kritiken
Als gelesen kennzeichnen
Wie Sie das Buch nach dem Kauf lesen
  • Nur Lesen auf LitRes Lesen
Buchbeschreibung

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».

Detaillierte Informationen
Altersbeschränkung:
0+
An folgendem Datum zu LitRes hinzufügt:
27 Juni 2023
Schreibdatum:
2021
Größe:
56 S.
ISBN:
978-5-7038-5590-4
Gesamtgröße:
1 MB
Gesamtzahl der Seiten:
56
Seitengröße:
145 x 206 мм
Copyright:
МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ — Lesen Sie kostenlos online einen Ausschnitt des Buches. Posten Sie Kommentare oder Kritiken, stimmen Sie für Ihren Favoriten.

Отзывы

Сначала популярные

Оставьте отзыв