Основной контент книги Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Text PDF
Volume 56 pages
2021 year
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
$2.28
About the book
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную... Next
Log in, to rate the book and leave a review
Book В. В. Девяткова, И. И. Лычкова et al. «Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ» — read online on the website. Leave comments and reviews, vote for your favorites.
Age restriction:
0+Release date on Litres:
27 June 2023Writing date:
2021Volume:
56 p. ISBN:
978-5-7038-5590-4Total size:
1.4 МБTotal number of pages:
56Copyright holder:
МГТУ им. Н.Э. Баумана (национальный исследовательский университет)