Teamwork in Multi-Agent Systems : A Formal Approach.
Title:
Teamwork in Multi-Agent Systems : A Formal Approach.
Author:
Dunin-Keplicz, Barbara.
ISBN:
9780470665183
Personal Author:
Edition:
1st ed.
Physical Description:
1 online resource (246 pages)
Series:
Wiley Series in Agent Technology ; v.19
Wiley Series in Agent Technology
Contents:
Teamwork in Multi-Agent Systems -- 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.3.1 The Logical Language for Beliefs -- 2.3.2 Kripke Models for Beliefs -- 2.4 Axioms for Beliefs -- 2.4.1 Individual Beliefs -- 2.4.2 From General to Common Belief -- 2.5 Axioms for Knowledge -- 2.6 Relations between Knowledge and Belief -- 2.7 Levels of Agents' Awareness -- 2.7.1 Intra-Personal Awareness -- 2.7.2 Inter-Personal Awareness -- 2.7.3 Group Awareness -- 2.7.4 Degrees of Beliefs in a Group -- 3 Collective Intentions -- 3.1 Intentions in Practical Reasoning -- 3.1.1 Moving Intentions to the Collective Level -- 3.2 Language and Models for Goals and Intentions -- 3.2.1 The Logical Language -- 3.2.2 Kripke Models -- 3.3 Goals and Intentions of Individual Agents -- 3.3.1 Interdependencies between Attitudes -- 3.4 Collective Intention Constitutes a Group -- 3.5 Definitions of Mutual and Collective Intentions -- 3.5.1 Some Examples -- 3.5.2 Collective Intentions Allow Collective Introspection -- 3.6 Collective Intention as an Infinitary Concept -- 3.6.1 Mutual Intention is Created in a Finite Number of Steps -- 3.6.2 Comparison with the One-Level Definition.
3.6.3 Comparison with the Two-Level Definition -- 3.6.4 Can the Infinitary Concept be Replaced by a Finite Approximation? -- 3.7 Alternative Definitions -- 3.7.1 Rescue Situations -- 3.7.2 Tuning Group Intentions to the Environment -- 3.8 The Logic of Mutual Intention TeamLogmint is Complete -- 3.9 Related Approaches to Intentions in a Group -- 3.9.1 What Next? -- 4 A Tuning Machine for Collective Commitments -- 4.1 Collective Commitment -- 4.1.1 Gradations of Teamwork -- 4.1.2 Collective Commitment Triggers Team Action -- 4.1.3 A Tuning Mechanism -- 4.2 The Language and Kripke Semantics -- 4.2.1 Language -- 4.2.2 Kripke Models -- 4.3 Building Collective Commitments -- 4.3.1 Social Plans -- 4.3.2 Social Commitments -- 4.3.3 Deontic Aspects of Social Commitments -- 4.3.4 Commitment Strategies -- 4.4 Tuning Collective Commitments -- 4.4.1 Why Collective Commitment? -- 4.4.2 General Schema of Collective Commitment -- 4.4.3 A Paradigmatic Group Commitment -- 4.5 Different Notions of Collective Commitment -- 4.5.1 Robust Collective Commitment -- 4.5.2 Strong Collective Commitment -- 4.5.3 Weak Collective Commitment -- 4.5.4 Team Commitment -- 4.5.5 Distributed Commitment -- 4.5.6 Awareness of Group Commitment -- 4.6 Topologies and Group Commitments -- 4.6.1 Robust Commitments with a Single Initiator under Infallible Communication -- 4.6.2 Star Topology with a Single Initiator under Restricted Communication -- 4.6.3 Ring Topology with a Single Initiator -- 4.6.4 A Hierarchical Group: Trees of Shallow Depth -- 4.7 Summing up TeamLog: The Static Part of the Story -- 4.7.1 Comparison -- 4.7.2 Moving Towards a Dynamic View on Teamwork -- 5 Reconfiguration in a Dynamic Environment -- 5.1 Dealing with Dynamics -- 5.1.1 Collective Commitments in Changing Circumstances -- 5.1.2 Three Steps that Lead to Team Action -- 5.2 The Four Stages of Teamwork.
5.2.1 Potential Recognition -- 5.2.2 Team Formation -- 5.2.3 Plan Generation -- 5.2.4 Team Action -- 5.3 The Reconfiguration Method -- 5.3.1 Continuity and Conservativity -- 5.3.2 Reconfiguration Algorithm = Teamwork in Action -- 5.3.3 Cycling through Reconfiguration -- 5.3.4 Complexity of the Algorithm -- 5.4 Case Study of Teamwork: Theorem Proving -- 5.4.1 Potential Recognition -- 5.4.2 Team Formation -- 5.4.3 Plan Generation -- 5.4.4 A Social Plan for Proving the Theorem -- 5.4.5 A Collective Commitment to Prove the Theorem -- 5.4.6 Team Action -- 6 The Evolution of Commitments during Reconfiguration -- 6.1 A Formal View on Commitment Change -- 6.1.1 Temporal versus Dynamic Logic -- 6.2 Individual Actions and Social Plan Expressions -- 6.2.1 The Logical Language of TEAMLOGdyn -- 6.3 Kripke Models -- 6.3.1 Axioms for Actions and Social Plans -- 6.4 Dynamic Description of Teamwork -- 6.4.1 Operationalizing the Stages of Teamwork -- 6.5 Evolution of Commitments During Reconfiguration -- 6.5.1 Commitment Change: Zooming Out -- 6.5.2 Commitment Change: Case by Case -- 6.5.3 Persistence of Collective Intention -- 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.2.1 Starting Point: the Agents -- 7.2.2 Cooperation between Subteams -- 7.2.3 A Bird's-Eye View on Cases -- 7.3 Global Plans -- 7.3.1 The Global Social Plan Cleanup -- 7.3.2 The Social Plan SR -- 7.3.3 The Social Plan E -- 7.3.4 The Social Plan D1R -- 7.3.5 The Social Plan D1N -- 7.3.6 The Social Plan D2R -- 7.3.7 The Social Plan D2N -- 7.4 Adjusting the TeamLog Definitions to the Case Study -- 7.4.1 Projections -- 7.4.2 Organization Structure: Who is Socially Committed to Whom? -- 7.4.3 Minimal Levels of Group Intention and Awareness.
7.4.4 Complexity of the Language Without Collective Attitudes -- 7.5 Conclusion -- 8 Dialogue in Teamwork -- 8.1 Dialogue as a Synthesis of Three Formalisms -- 8.2 Dialogue Theory and Dialogue Types -- 8.2.1 Persuasion -- 8.2.2 Negotiation -- 8.2.3 Inquiry -- 8.2.4 Deliberation -- 8.2.5 Information Seeking -- 8.3 Zooming in on Vital Aspects of Dialogue -- 8.3.1 Trust in Dialogues -- 8.3.2 Selected Speech Acts -- 8.3.3 Rigorous Persuasion -- 8.4 Information Seeking During Potential Recognition -- 8.5 Persuasion During Team Formation -- 8.5.1 Creating Collective Intention -- 8.5.2 Agents Persuading One Another to Join the Team -- 8.5.3 Speech Acts and their Consequences During Persuasion -- 8.5.4 Announcing the Success of Team Formation -- 8.5.5 Team Formation Through the Magnifying Glass -- 8.6 Deliberation During Planning -- 8.6.1 Stages of Deliberation: Who Says What and with Which Effect? -- 8.6.2 The Three Steps of Planning -- 8.6.3 Task Division under the Magnifying Glass -- 8.6.4 Action Allocation Under the Magnifying Glass -- 8.7 Dialogues During Team Action -- 8.7.1 Communication Supports Reconfiguration -- 8.8 Discussion -- 9 Complexity of Teamlog -- 9.1 Computational Complexity -- 9.1.1 Satisfiability, Validity and Model Checking -- 9.1.2 Combination May Lead to Explosion -- 9.2 Logical Background -- 9.2.1 The Language -- 9.2.2 Semantics Based on Kripke Models -- 9.2.3 Axiom Systems for Individual and Collective Attitudes -- 9.3 Complexity of TeamLogind -- 9.3.1 The Algorithm for Satisfiability of TEAMLOGind -- 9.3.2 Effect of Bounding Modal Depth for TEAMLOGind -- 9.3.3 Effect of Bounding the Number of Propositional Atoms for TEAMLOGind -- 9.4 Complexity of the System TeamLog -- 9.4.1 Effect of Bounding Modal Depth for TEAMLOG -- 9.4.2 Effect of Bounding the Number of Propositional Atoms for TEAMLOG.
9.4.3 Effect of Restricting the Modal Context for TEAMLOG -- 9.5 Discussion and Conclusions -- A Appendix A -- A.1 Axiom Systems -- A.1.1 Axioms for Individual and Collective Attitudes -- A.1.2 Axioms for Social Commitments -- A.1.3 Tuning Schemes for Social and Collective Attitudes -- A.1.4 Axioms for Exemplary Collective Commitments -- A.1.5 Axioms and Rules for Dynamic Logic -- A.2 An Alternative Logical Framework for Dynamics of Teamwork: Computation Tree Logic -- A.2.1 Commitment Strategies -- A.2.2 The Blocking Case Formalized in the Temporal Language -- Bibliography -- Index.
Abstract:
What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules! Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams often consist of autonomous software agents, various types of robots and human beings. Teamwork in Multi-agent Systems: A Formal Approach explains teamwork rules in terms of agents' attitudes and their complex interplay. It provides the first comprehensive logical theory, TeamLog, underpinning teamwork in dynamic environments. The authors justify design choices by showing TeamLog in action. The book guides the reader through a fascinating discussion of issues essential for teamwork to be successful: What is teamwork, and how can a logical view of it help in designing teams of agents? What is the role of agents' awareness in an uncertain, dynamic environment? How does collective intention constitute a team? How are plan-based collective commitments related to team action? How can one tune collective commitment to the team's organizational structure and its communication abilities? What are the methodological underpinnings for teamwork in a dynamic environment? How does a team and its attitudes adjust to changing circumstances? How do collective intentions and collective commitments arise through dialogue? What is the computational complexity of TeamLog? How can one make TeamLog efficient in applications? This book is an invaluable resource for researchers and graduate students in computer science and artificial intelligence as well as for developers of multi-agent systems. Students and researchers in organizational science, in particular those investigating teamwork, will also find this book
insightful. Since the authors made an effort to introduce TeamLog as a conceptual model of teamwork, understanding most of the book requires solely a basic logical background.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Genre:
Added Author:
Electronic Access:
Click to View