A formalization for multi-agent decision support in cooperative environments. A framework for situated agents