(Enter summary)
Abstract: 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... (Update)
Cited by: More
On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005)
(Correct)
Centro Per La Ricerca - Scientifica Tecnologica Povo
(Correct)
Roles in Collaborative Activity - Partsakoulakis, Vouros (2002)
(Correct)
Similar documents (at the sentence level):
48.5%: The Cooperative Problem-Solving Process - Wooldridge, Jennings (1999)
(Correct)
8.0%: Formalizing the Cooperative Problem Solving Process - Wooldridge, al. (1994)
(Correct)
7.2%: Towards a Theory of Cooperative Problem Solving - Wooldridge (1996)
(Correct)
Active bibliography (related documents): More All
0.3: Computationally Grounded Theories of Agency - Wooldridge (2000)
(Correct)
0.2: Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995)
(Correct)
0.2: The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992)
(Correct)
Similar documents based on text: More All
0.3: Bibliography - Chauhan (1997)
(Correct)
0.3: Compositional Design and Reuse of a Generic Agent Model - Brazier, Jonker, Treur (1999)
(Correct)
0.3: Open Sesame!: A Look at Personal Assistants - Hoyle, Lueg (1997)
(Correct)
Related documents from co-citation: More All
7: Collaborative plans for complex group action
- Grosz, Kraus - 1996
6: Formalizing the cooperative problem solving process
- Wooldridge, Jennings - 1994
4: Cooperative case-based reasoning (context) - Plaza, Arcos et al. - 1997
BibTeX entry: (Update)
M. Wooldridge and N.R. Jennings. The cooperative problem solving process. Journal of Logic & Computation, 9(4), 1999. http://citeseer.ist.psu.edu/article/wooldridge99cooperative.html More
@article{ wooldridge99cooperative,
author = "Michael Wooldridge and Nicholas R. Jennings",
title = "The Cooperative Problem-solving Process",
journal = "Journal of Logic and Computation",
volume = "9",
number = "4",
pages = "563-592",
year = "1999",
url = "citeseer.ist.psu.edu/article/wooldridge99cooperative.html" }
Citations (may not include all citations):
604
Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
432
The Evolution of Cooperation (context) - Axelrod - 1984
399
Intention is choice with commitment (context) - Cohen, Levesque - 1990
362
Dynamic logic
- Harel - 1984
355
The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
343
Modal Logic: An Introduction (context) - Chellas - 1980
243
Rules of Encounter: Designing Conventions for Automated Nego.. (context) - Rosenschein, Zlotkin - 1994
240
A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
210
A formal theory of knowledge and action (context) - Moore - 1990
203
Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
193
Controlling cooperative problem solving in industrial multi-..
- Jennings - 1995
173
On acting together (context) - Levesque, Cohen et al. - 1990
156
Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
146
Commitments and conventions: The foundation of coordination ..
- Jennings - 1993
135
Agents that reason and negotiate by arguing
- Parsons, Sierra et al. - 1998
115
Coordination of Distributed Problem Solvers (context) - Durfee - 1988
100
The complexity of reasoning about knowledge and time
- Halpern, Vardi - 1989
73
Decision procedures of BDI logics (context) - Rao, Georgeff - 1998
50
Fun and Games: A Text on Game Theory (context) - Binmore - 1992
48
Multiagent compromise via negotiation (context) - Sycara - 1989
37
Collective intentions and actions (context) - Searle - 1990
35
Specification and development of reactive systems (context) - Pnueli - 1986
35
Formalizing the cooperative problem solving process
- Wooldridge, Jennings - 1994
35
Rationality and intelligence
- Russell - 1997
34
A Framework for Distributed Problem Solving (context) - Smith - 1980
32
Towards a theory of cooperative problem solving
- Wooldridge, Jennings - 1994
27
A Theoretical Framework for Computer Models of Cooperative D.. (context) - Galliers - 1988
26
not never' revisited: on branching time versus linear time t.. (context) - Emerson, Halpern - 1986
19
A first-order branching time logic of multi-agent systems
- Wooldridge, Fisher - 1992
9
The intentions of teams: Team structure (context) - Singh - 1998
7
Minds and Machines (context) - Bratman, the et al. - 1992
4
Springer-Verlag: Berlin (context) - Haddadi, Cooperation et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ecs.soton.ac.uk/~nrj/pubs.html): More
Deliberative Automated Negotiators Using Fuzzy Similarities - Sierra, Faratin, Jennings (2000)
(Correct)
How Agents Do It In Stream Logic Programming - Huntbach, Jennings, Ringwood (1995)
(Correct)
An Agent Architecture for Distributed Medical Care - Huang, Jennings, Fox (1995)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC