В. Девятков, И. Лычков, М. Наунг – Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, [...]