|
|
---|
Авторы
|
|
---|
Ключевые слова
| продукционная система, верификация, автоматная модель
|
---|
Секции
| Информационные, программные вопросы управления и методы «искусственного интеллекта»
|
---|
Аннотация
| Важной особенностью современного состояния исследований и разработок в области ЭС (в частности, продукционных систем) является значительный рост внимания к вопросам верификации этих систем. Задача верификации заключается в поиске аномалий и анализе разнообразных свойств, влияющих на работоспособность, корректность, эффективность и безопасность этих систем. Данный доклад посвящен подходу, используемому для решения этой задачи, и описанию соответствующей программной системы с примерами ее работы.
|
---|
Форма участия
| Очная
|
---|