Teamwork in Multi-Agent Systems: A Formal Approach

Author:   Barbara Dunin-Keplicz (Warsaw University) ,  Rineke Verbrugge (University of Groningen)
Publisher:   John Wiley & Sons Inc
ISBN:  

9780470699881


Pages:   244
Publication Date:   04 June 2010
Format:   Hardback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $165.95 Quantity:  
Add to Cart

Share |

Teamwork in Multi-Agent Systems: A Formal Approach


Add your own review!

Overview

Full Product Details

Author:   Barbara Dunin-Keplicz (Warsaw University) ,  Rineke Verbrugge (University of Groningen)
Publisher:   John Wiley & Sons Inc
Imprint:   John Wiley & Sons Inc
Dimensions:   Width: 17.80cm , Height: 2.10cm , Length: 25.40cm
Weight:   0.585kg
ISBN:  

9780470699881


ISBN 10:   0470699884
Pages:   244
Publication Date:   04 June 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

About the Authors. Foreword. Preface. 1 Teamwork in Multi-Agent Environments. 1.1 Autonomous Agents. 1.2 Multi-Agent Environments as a Pinnacle of Interdisciplinarity. 1.3 Why Teams of Agents? 1.4 The Many Flavors of Cooperation. 1.5 Agents with Beliefs, Goals and Intentions. 1.6 From Individuals to Groups. 1.7 Group Attitudes. 1.8 A Logical View on Teamwork: TEAMLOG. 1.9 Teamwork in Times of Change. 1.10 Our Agents are Planners. 1.11 Temporal or Dynamic? 1.12 From Real-World Data to Teamwork. 1.13 How Complex are Models of Teamwork? 2 Beliefs in Groups. 2.1 Awareness is a Vital Ingredient of Teamwork. 2.2 Perception and Beliefs. 2.3 Language and Models for Beliefs. 2.4 Axioms for Beliefs. 2.5 Axioms for Knowledge. 2.6 Relations between Knowledge and Belief. 2.7 Levels of Agents’ Awareness. 3 Collective Intentions. 3.1 Intentions in Practical Reasoning. 3.2 Language and Models for Goals and Intentions. 3.3 Goals and Intentions of Individual Agents. 3.4 Collective Intention Constitutes a Group. 3.5 Definitions of Mutual and Collective Intentions. 3.6 Collective Intention as an Infinitary Concept. 3.7 Alternative Definitions. 3.8 The Logic of Mutual Intention TeamLogmint is Complete. 3.9 Related Approaches to Intentions in a Group. 4 A Tuning Machine for Collective Commitments. 4.1 Collective Commitment. 4.2 The Language and Kripke Semantics. 4.3 Building Collective Commitments. 4.4 Tuning Collective Commitments. 4.5 Different Notions of Collective Commitment. 4.6 Topologies and Group Commitments. 4.7 Summing up TeamLog: The Static Part of the Story. 5 Reconfiguration in a Dynamic Environment. 5.1 Dealing with Dynamics. 5.2 The Four Stages of Teamwork. 5.3 The Reconfiguration Method. 5.4 Case Study of Teamwork: Theorem Proving. 6 The Evolution of Commitments during Reconfiguration. 6.1 A Formal View on Commitment Change. 6.2 Individual Actions and Social Plan Expressions. 6.3 Kripke Models. 6.4 Dynamic Description of Teamwork. 6.5 Evolution of Commitments During Reconfiguration. 6.6 TeamLog Summary. 7 A Case Study in Environmental Disaster Management. 7.1 A Bridge from Theory to Practice. 7.2 The Case Study: Ecological Disasters. 7.3 Global Plans. 7.4 Adjusting the TeamLog Definitions to the Case Study. 7.5 Conclusion. 8 Dialogue in Teamwork. 8.1 Dialogue as a Synthesis of Three Formalisms. 8.2 Dialogue Theory and Dialogue Types. 8.3 Zooming in on Vital Aspects of Dialogue. 8.4 Information Seeking During Potential Recognition. 8.5 Persuasion During Team Formation. 8.6 Deliberation During Planning. 8.7 Dialogues During Team Action. 8.8 Discussion. 9 Complexity of Teamlog. 9.1 Computational Complexity. 9.2 Logical Background. 9.3 Complexity of TeamLogind. 9.4 Complexity of the System TeamLog. 9.5 Discussion and Conclusions. A Appendix A. A.1 Axiom Systems. A.2 An Alternative Logical Framework for Dynamics of Teamwork: Computation Tree Logic. Bibliography. Index.

Reviews

" ""In sum, the prospective contribution of this book is expected to have an impact on a number of aspects that revolve around the modeling and simulation of teamwork, both from theory and application issues. Therefore, I recommend it to researchers in computer sciences, organization theory and social psychology who are interested in collective thinking, collaborative work and organizational phenomena, as well as to practitioners who deal everyday with the challenge of managing teams in many different settings."" (Journal of Artificial Societies and Social Simulation, February 2011)"


In sum, the prospective contribution of this book is expected to have an impact on a number of aspects that revolve around the modeling and simulation of teamwork, both from theory and application issues. Therefore, I recommend it to researchers in computer sciences, organization theory and social psychology who are interested in collective thinking, collaborative work and organizational phenomena, as well as to practitioners who deal everyday with the challenge of managing teams in many different settings. ( Journal of Artificial Societies and Social Simulation , February 2011)


 ""In sum, the prospective contribution of this book is expected to have an impact on a number of aspects that revolve around the modeling and simulation of teamwork, both from theory and application issues. Therefore, I recommend it to researchers in computer sciences, organization theory and social psychology who are interested in collective thinking, collaborative work and organizational phenomena, as well as to practitioners who deal everyday with the challenge of managing teams in many different settings."" (Journal of Artificial Societies and Social Simulation, February 2011)


Author Information

Barbara Dunin-Keplicz is the head of the Multi-agent Systems Group at the Institute of Informatics of the Warsaw University and at the Institute of Computer Science of the Polish Academy of Sciences (ICS PAS). She was awarded a M.Sc. in 1976 from Warsaw University, PhD in 1990 from Jagiellonian University, and her habilitation in 2004 from ICS PAS. Dunin-Keplicz was a visiting research fellow at the Department of Computer Science at the Free University of Amsterdam, 1994-1997, and at the Department of Artificial Intelligence at the University of Groningen, from 1998. Her publications and research have been interdisciplinary. Starting from computational linguistics, reasoning about action and change, and formal theories of multiagent systems, including Agent Communication Languages, she is now focused on foundations of multiagent systems, especially on the theory of motivational attitudes in BDI systems. Rineke Verbrugge is Associate Professor at the University of Groningen at the Institute of Artificial Intelligence, to which she has been affiliated from 1997. Since 2002, she has been leader of the group Multi-agent Systems at the university, where her work focused on logics in artificial intelligence, specifically multi-agent systems, reasoning about others, and group reasoning. She received a M.Sc. (cum laude) in Mathematics in 1988 and a Ph.D. in Mathematics in 1993, both from the University of Amsterdam. Subsequently, she was post-doc at the Department of Logic at the Charles University in Prague (TEMPUS grant) and at the Department of Logic at the University of Gothenburg (NWO Talent stipend), as well as Visiting Assistant Professor at the Department of Linguistics and Philosophy at the Massachusetts Institute of Technology (MIT). From 1995 to 1997, she was Assistant Professor at the Department of Artificial Intelligence at the Vrije Universiteit Amsterdam.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List