Logic Based Distributed Decision System for a Multi-robot Team