Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN


https://doi.org/10.18255/1818-1015-2014-6-31-43

Полный текст:


Аннотация

В статье представлен подход к формальной верификации алгоритмов мультиагентного анализа данных для пополнения онтологий. Агенты системы на основе входных данных устанавливают значения элементов объектов, полученных на предварительной стадии анализа. Агенты параллельно осуществляют проверку семантической и синтаксической согласованности, используя правила пополнения онтологий и обработки данных. Поскольку агенты действуют параллельно, необходимо верифицировать некоторые важные свойства системы, связанные с этим, например, свойство корректности определения завершения работы системы. В нашем подходе используется инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной системы анализа данных выражены в логике LTL. Мы провели ряд экспериментов по проверке данной модели.


Об авторах

Наталья Олеговна Гаранина
Институт систем информатики им. А.П. Ершова СО РАН
Россия
старший научный сотрудник, 630090 Россия, г. Новосибирск, проспект Академика Лаврентьева, 6


Евгений Викторович Бодин
Институт систем информатики им. А.П. Ершова СО РАН
Россия
научный сотрудник, 630090 Россия, г. Новосибирск, проспект Академика Лаврентьева, 6


Елена Анатольевна Сидорова
Институт систем информатики им. А.П. Ершова СО РАН
Россия
старший научный сотрудник, 630090 Россия, г. Новосибирск, проспект Академика Лаврентьева, 6


Список литературы

1. Aref M.M. A Multi-Agent System for Natural Language Understanding // International Conference on Integration of Knowledge Intensive Multi-Agent Systems. 2003. 36.

2. A.M.B.R. Carvalho, D.S. de Paiva, J.S. Sichman, J.L.T. da Silva, R.S. Wazlawick & V.L.S. de Lima Multi-Agent Systems for Natural Language Processing // Multi Agent Systems Models Architecture and Appications: Proceedings of the II Iberoamerican Workshop on D.A.I. and M.A.S / Francisco J. Garijo & Cristian Lemaitre (eds.) Toledo, Spain, October 1–2 1998. P. 61–69.

3. Banares-Alcantara R., Jimenez R., Aldea L. Multi-agent systems for ontology-based information retrieval // European Symposium on Computer-Aided Chemical Engineering-15 (ESCAPE-15). Barcelona, Espana, 2005.

4. Cheng X., Xie Y., Yang T. Study of Multi-Agent Information Retrieval Model in Semantic Web // Proc. of the 2008 International Workshop on Education Technology and Training and 2008 International Workshop on Geoscience and Remote Sensing (ETTANDGRS’08). 2008. Vol. 02. P. 636–639.

5. Clark K.L., Lazarou V.S. A Multi-Agent System for Distributed Information Retrieval on the World Wide Web // Proc. of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises. 1997. P. 87–93.

6. D. Fum, G. Guida, C. Tasso A Distributed Multi-Agent Architecture for Natural Language Processing // Proc. of the 12th conference on Computational linguistics (COLING ’88). 1988. Vol. 2. P. 812–814.

7. Garanina N., Sidorova E., Bodin E. A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology // Proc. of the 22nd International Workshop on Concurrency, Specification and Programming. Warsaw, Poland, Sept. 25–27, 2013. CEUR Workshop Proceedings, Vol. 1032. P. 122–132.

8. Garanina N., Bodin E. Distributed Termination Detection by Counting Agent // Proc. of the 23nd International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, 29 September – 01 Oktober 2014. Humboldt-Universit¨at zu Berlin, 2014. P. 69–79.

9. Holzmann G.J. The Spin Model Checker: Primer and Reference Manual // Addison Wesley Pub, 2003. P. 608.

10. Minakov I., Rzevski G., Skobelev P., Volman S. Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering// Proc. Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007. Regensburg, Germany, September 3–5, 2007. Springer, Lecture Notes in Computer Science, 2007. Vol. 4659. P. 361–370.

11. C.T. dos Santos, P. Quaresma, I. Rodrigues, R. Vieira A Multi-Agent Approach to Question Answering // Computational Processing of the Portuguese Language: 7th International Workshop, PROPOR 2006. Itatiaia, Brazil, May 2006 (PROPOR’2006). LNAI 3960, 13–17 de Maio de 2006. Berlin/Heidelberg: Springer Verlag. P. 131–139.


Дополнительные файлы

Для цитирования: Гаранина Н.О., Бодин Е.В., Сидорова Е.А. Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN. Моделирование и анализ информационных систем. 2014;21(6):31-43. https://doi.org/10.18255/1818-1015-2014-6-31-43

For citation: Garanina N.O., Bodin E.V., Sidorova E.A. Using SPIN for Verification of Multi-agent Data Analysis. Modeling and Analysis of Information Systems. 2014;21(6):31-43. (In Russ.) https://doi.org/10.18255/1818-1015-2014-6-31-43

Просмотров: 429

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)