Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
PDF- Rozmiar: 56 str.
- Kategoria: informatyka i inżynieria komputerowa, programowanie, podręczniki, w tym dla szkoły wyższejEdytuj
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
- Ograniczenie wiekowe:
- 0+
- Data dodania do LitRes:
- 27 czerwca 2023
- Data powstania:
- 2021
- Rozmiar:
- 56 str.
- ISBN:
- 978-5-7038-5590-4
- Całkowity rozmiar:
- 1 MB
- Całkowity liczba stron:
- 56
- Rozmiar stron:
145 x 206 мм
- Prawa autorskie:
- МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
Оставьте отзыв
Отзывы