In this paper we focus on developing the formal methods and techniques necessary to model and classify a collective animal behaviour. The benefits of using set theory are the possibility of a formal examination of the local problems and to organize individuals as elements of the considered classes, defined globally. In order to describe collective activity of animals, we proposed concepts of actions, behaviour and structures. To govern collective behaviour of animals we propose three key relations and mappings determined taxonomic order on them.
展开▼