10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 2 641,24 soʻm oling.
matnPDF
Hajm 56 sahifalar
2021 yil
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
26 412,33 soʻm
Kitob haqida
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob В. В. Девяткова, И. И. Лычкова va boshqalar «Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ» — veb-saytda onlayn o'qing. Fikr va sharhlar qoldiring, sevimlilarga ovoz bering.
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
27 iyun 2023Yozilgan sana:
2021Hajm:
56 Sahifa ISBN:
978-5-7038-5590-4Umumiy o'lcham:
1.4 МБUmumiy sahifalar soni :
56Mualliflik huquqi egasi:
МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
