Verifying Emergent Properties of Swarms

Kouvaros, Panagiotis; Lomuscio, Alessio

Verifying Emergent Properties of Swarms

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 1083-1088.

Abstract

We investigate the general problem of establishing whether a swarm satisfies an emergent property. We put forward a formal model for swarms that accounts for their nature of unbounded collections of agents following simple local protocols. We formally define the decision problem of determining whether a swarm satisfies an emergent property. We introduce a sound and complete procedure for solving the problem. We illustrate the technique by applying it to the Beta aggregation algorithm.

Panagiotis Kouvaros, and Alessio Lomuscio. 2015. Verifying Emergent Properties of Swarms. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 1083–1088. https://ijcai.org/proceedings/2015/157

@inproceedings{ijcai2015p157,
  title     = {Verifying Emergent Properties of Swarms},
  author    = {Kouvaros, Panagiotis and Lomuscio, Alessio},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {1083--1088},
  year      = {2015},
  month     = {7},
  note      = {Main Track},
  url       = {https://ijcai.org/proceedings/2015/157},
}

TY  - CPAPER
TI  - Verifying Emergent Properties of Swarms
AU  - Kouvaros, Panagiotis
AU  - Lomuscio, Alessio
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 1083
EP  - 1088
UR  - https://ijcai.org/proceedings/2015/157
ER  -