Информация о книге

978-5-7038-5590-4

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

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

МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021 г., 978-5-7038-5590-4

Описание книги

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

Скачать, но не бесплатно эту книгу можно в интернет-магазинах

Литрес - 180 руб.

Читать онлайн

Доступен для чтения фрагмент книги

Поделиться ссылкой на книгу

Об авторе

Девятков В.

Последние поступления в рубрике "Тематика определяется"

	Фигуры 2+. Вырезалки Терентьева Н.М., Маврина Л. Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости....
	Первые контурные вырезалки 2+ Терентьева Н.М., Маврина Л. Умение вырезать - важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....
	Мои первые вырезалки 2+ Терентьева Н.М., Маврина Л. Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Девятков В., Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.