A Formalization for Multiagent Decision Support in Cooperative Environments A mobile robots-oriented approach