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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2014-12-01
|
Series: | Modelirovanie i Analiz Informacionnyh Sistem |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/69 |