This paper presents a team-theoretic approach to cooperative multirobot systems. The individual actions of the robots are controlled by the Belief-Desire-Intention model to endow the robots with the know-how needed to execute these actions deliberately. The cooperative behaviors between the heterogeneous robots are governed by the Team-Log theory to endow all the robots in the team with the know-how-to-cooperate and determine the team members’ commitments to each other despite their different types, properties, and goals. The proposed approach is tested for validity with the real life problem of minefield mapping. Different minefield sweeping strategies are studied to control the mobility of the mobile sweepers within the minefield in order to maximize the area coverage and improve picture compilation capability of the multirobot system. 1. Introduction Developing a robust and cooperative team of robots capable of solving complex tasks is an interesting area of research that attracts many researchers nowadays. Achieving robust and productive cooperation between various system components is inspired by different domains such as biology, artificial life, psychology, and cognitive science in order to build artificially cooperative intelligent systems. Cooperation is defined in [1] as a purposive positive interference of agents to further the achievement of a common goal or goals compatible with their own. To achieve this effective cooperation in multirobot systems (MRS), the robots must have know-how for solving simple problems in an autonomous way and a know-how-to-cooperate by which agents can share common interests and interact with each other to solve complex problems cooperatively. In recent years, scientific community has seen a great number of research works dedicated to cooperative multirobot systems and their applications in different areas such as search and rescue [2, 3], distributed surveillance [4], communication relaying [5], agriculture [6], sorting [7], emergency services [8], and landmine detection [9]. Minefield reconnaissance and mapping is one of the most promising applications of cooperative multirobot systems. In the context of humanitarian demining, cooperative multirobot systems can be beneficial for deminers, civilians, and government. The design of an accurate sensor may reduce the amount of time needed to determine whether a landmine exists, but does not increase the safety of the deminer. Since the safety issues during the eradication process are of great concern, the use and integration of cheap and simple mobile sweepers in
H. Irandoust, A. Benaskeur, and A. Khamis, “Cooperation in distributed surveillance: concepts, theories, models and technology enablers,” Tech. Rep., Valcartier, 2010.
A. Khamis, “Cooperative sensor and actor networks in distributed surveillance context,” in Proceedings of the 10th International Conference on Practical Applications of Agent and Multiagent Systems (PAAM '12), Spain, 2012.
U. Witkowski, M. El-Habbal, S. Herbrechtsmeier et al., “Ad-hoc network communication infrastructure for multi-robot systems in disaster scenarios,” in Proceedings of the EURON/IARP International Workshop on Robotics for Risky Interventions and Surveillance of the Environment, Benicassim, Spain, January 2008.
J. Conesa-Munoz, A. Ribeiro, and G. Pajares, “A multi-path planning approach based on a genetic algorithm for a robot fleet working in arable crops,” in Proceedings of the Portuguese Conference on Artificial Intelligence (EPIA '11), 2011.
R. Cassinis, G. Bianco, A. Cavagi, and W. Ransenigo, “Landmines detection methods using swarms of simple robots,” in Proceedings of the 6th International Conference on Intelligent Autonomous Systems, pp. 212–218, 2000.
H. Najjaran and A. A. Goldenberg, “Landmine detection using an autonomous terrain-scanning robot,” Industrial Robot, vol. 32, no. 3, pp. 240–247, 2005.
A. Benaskeur, A. Khamis, and H. Irandoust, “Augmentative cooperation in distributed surveillance systems for dense regions,” International Journal of Intelligent Defence Support Systems, vol. 4, no. 1, pp. 20–49, 2011.
N. R. Jennings, K. Sycara, and M. Wooldridge, “A roadmap of agent research and development,” Autonomous Agents and Multi-Agent Systems, vol. 1, no. 1, pp. 7–38, 1998.
M. P. Pacaux-Lemoine and S. Debernard, “Common work space for human-machine cooperation in air traffic control,” Control Engineering Practice, vol. 10, no. 5, pp. 571–576, 2002.
M. Georgeff, P. B. Pell, M. Pollack, M. Tambe, and M. Wooldridge, “The belief-desire-intention model of agency,” in Proceedings of the International Workshop on Intelligent Agents, 1998.
S. Bruecjner and H. V. D. Parunak, “Extrapolation of the opponent’s Pas behaviours,” in Adversarial Reasoning: Computational Approaches to Reading the Opponents Mined, 2008.
N. Jennings, “Towards a cooperation knowlege level for collaborative problem solving,” in Proceedings of the 10th European Conference on Artificial Intelligence, pp. 224–228, Vienna, Austria, 1992.
V. Hilaire, O. Simonin, A. Koukam, and J. Ferber, “A formal approach to design and reuse agent and multiagent models,” in Proceedings of the 5th International Workshop on Agent-Oriented Software Engineering V (AOSE '04), pp. 142–157, July 2004.
J. Lehman, J. Laird, and P. Rosenbloom, “A gentle introduction to soar: an architecture for human cognition,” in Invitation to Cognitive Science, MIT Press, 1996.
E. Graedel, “Why is modal logic so robustly decidable?” Bulletin of the European Association for Theoretical Computer Science, vol. 68, pp. 90–103, 1999.
Y. Q. Miao, A. Khamis, and M. Kamel, “Coordinated motion control of mobile sensors in surveillance systems,” in Proceedings of the 3rd International Conference on Signals, Circuits and Systems (SCS '09), November 2009.
S. Meguerdichian, F. Koushanfar, M. Potkonjak, and M. B. Srivastava, “Coverage problems in wireless ad-hoc sensor networks,” in Proceedings of the 20th Annual Joint Conference of the IEEE Computer and Communications Societies, pp. 1380–1387, April 2001.
B. Liu, P. Brass, O. Dousse, P. Nain, and D. Towsley, “Mobility improves coverage of sensor networks,” in Proceedings of the 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MOBIHOC '05), pp. 300–308, May 2005.
B. Liu and D. Towsley, “On the coverage and detectability of large-scale wireless sensor networks,” in Proceedings of the Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks Conference, 2003.
A. T. Nghiem, F. Bremond, M. Thonnat, and V. Valentin, “ETISEO, performance evaluation for video surveillance systems,” in Proceedings of the IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS '07), pp. 476–481, September 2007.
