Journal of Logic and Computation, Volume 9, Issue 4, pp. 563-592: Abstract.
The cooperative problem-solving process
M Wooldridge and NR Jennings
Department of Electronic Engineering, Queen Mary and Westfield College, University of London, London E1 4NS, UK, E-mail: MJ Wooldridge, NR Jennings@elec.qmw.ac.uk
We present a model of cooperative problem solving that describes the process from its beginning, with some agent recognizing the potential for cooperation with respect to one of its goals, through to team action. Our approach is to characterize the mental states of the agents that lead them to solicit, and take part in, cooperative action. The model is formalized by expressing it as a theory in a quantified multi-modal logic.
Keywords: Multi-agent systems, cooperation, modal logic, temporal logic.