Метод верификации семейства мультиагентных систем разрешения неоднозначности
Язык статьиАнглийский
Аннотация
В статье описан метод верификации семейств распределенных систем, порожденных контекстно-зависимой грамматикой специального вида. Этот метод основан на технике проверки моделей и абстракции. Репрезентативная модель зависит от грамматики, определяющей семейство систем. Эта модель симулирует поведение всех систем семейства таким образом, что свойства, выполнимые в репрезентативной модели, выполняются так же и в этих системах. Показано использование предложенного метода для верификации некоторых свойств мультиагентой системы разрешения контекстно-зависимых неоднозначностей в рамках пополнения онтологий.
Ключевые слова
DOI10.31144/si.2307-6410.2016.n8.p1-10
УДК004.052
Номер
№ 8,
Страницы1-10
Файл
garaninasidorovapssv16.pdf
(103.4 КБ)