Using SPIN for Verification of Multi-agent Data Analysis

Using SPIN for Verification of Multi-agent Data Analysis

The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing. They determine values of information objects obtained at...

Full description

Bibliographic Details
Main Authors: N. O. Garanina, E. V. Bodin, E. A. Sidorova
Format: Article
Language:English
Published: Yaroslavl State University 2014-12-01
Series:Моделирование и анализ информационных систем
Subjects:
пополнение онтологий
мультиагентные системы
проверка моделей
система верификации spin
Online Access:https://www.mais-journal.ru/jour/article/view/69

Internet

https://www.mais-journal.ru/jour/article/view/69

Similar Items