Метод верификации семейства мультиагентных систем разрешения неоднозначности

Метод верификации семейства мультиагентных систем разрешения неоднозначности

Язык статьи
Английский
Аннотация
В статье описан метод верификации семейств распределенных систем, порожденных контекстно-зависимой грамматикой специального вида. Этот метод основан на технике проверки моделей и абстракции. Репрезентативная модель зависит от грамматики, определяющей семейство систем. Эта модель симулирует поведение всех систем семейства таким образом, что свойства, выполнимые в репрезентативной модели, выполняются так же и в этих системах. Показано использование предложенного метода для верификации некоторых свойств мультиагентой системы разрешения контекстно-зависимых неоднозначностей в рамках пополнения онтологий.
DOI
10.31144/si.2307-6410.2016.n8.p1-10
УДК
Страницы
1-10
Файл
Номер