%10 indirim al
Bu kitabı önerin ve arkadaşınız kitabı satın aldığında ₺6,96 kazanın.
metinPDF
Cilt 56 sayfalar
2021 yıl
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
₺69,54
Kitap hakkında
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Yorum gönderin
Giriş, kitabı değerlendirin ve yorum bırakın
Kitab В. В. Девяткова, И. И. Лычкова v.s. «Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş sınırı:
0+Litres'teki yayın tarihi:
27 haziran 2023Yazıldığı tarih:
2021Hacim:
56 s. ISBN:
978-5-7038-5590-4Toplam boyut:
1.4 МБToplam sayfa sayısı:
56Telif hakkı:
МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
