10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 0,38 ₼ əldə edin.
Yalnız Litres-də oxuyun
Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.
Основной контент книги Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Mətn PDF
Həcm 56 səhifə
2021 il
0+
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Yalnız Litres-də oxuyun
Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.
3,78 ₼
Kitab haqqında
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab В. В. Девяткова, И. И. Лычкова və s. «Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+Litresdə buraxılış tarixi:
27 iyun 2023Yazılma tarixi:
2021Həcm:
56 səh. ISBN:
978-5-7038-5590-4Ümumi ölçü:
1.4 МБSəhifələrin ümumi sayı:
56Müəllif hüququ sahibi:
МГТУ им. Н.Э. Баумана (национальный исследовательский университет)