This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems.
The 10 revised full papers presented together with an invited paper were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.
Author(s): Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan
Series: Lecture Notes in Artificial Intelligence 4049
Edition: 1
Publisher: Springer
Year: 2006
Language: English
Pages: 325
Front matter......Page 1
The Pragma-Dialectical Approach to Argumentation......Page 13
The Five Components of the Pragma-Dialectical Research Program......Page 14
Four Meta-Theoretical Premises Serving as Methodological Principles......Page 16
The Model of a Critical Discussion......Page 18
Stages in Resolving a Difference of Opinion......Page 19
Distribution of Speech Acts in a Critical Discussion......Page 21
Analysis as Reconstruction......Page 22
An Analytic Overview of Argumentative Discourse......Page 23
Analytic Transformations in Reconstructing Argumentative Discourse......Page 24
Rules for Critical Discussion......Page 27
The Ten Commandments of Critical Discussion......Page 28
Fallacies as Counterproductive Moves in Resolving Disagreement......Page 30
Violations of the Code of Conduct for Critical Discussion......Page 31
Making Use of Insight in Strategic Maneuvering......Page 34
Fallacies as Derailments of Strategic Maneuvering......Page 35
Conclusion......Page 37
References......Page 38
Introduction......Page 41
Semantics......Page 43
Logical Properties......Page 45
Modal Logic of Abstract Argumentation......Page 46
Conditional Logic......Page 49
Use in Argumentation......Page 51
Concluding Remarks......Page 52
References......Page 53
Introduction......Page 54
A Hierarchical System of Arguments......Page 56
The Formal Framework......Page 57
Arguments About the Domain: Δ1......Page 59
Meta-Arguments: Δ2......Page 64
Conclusions......Page 66
References......Page 67
Introduction......Page 69
Nested Argumentation......Page 70
A System for Constructing Instrumental Arguments......Page 73
Applying Nested Argumentation to Decide the Preferred Instrumental Arguments......Page 77
Defining the Argumentation Framework AF2......Page 78
Defining the Argumentation Framework AF3......Page 81
Future and Related Work......Page 83
References......Page 84
Introduction......Page 86
Problem......Page 87
ScenarioGC0......Page 88
Protocol Store......Page 90
Dialogue Store......Page 91
Knowledge Store......Page 92
Template Store......Page 93
The Dialogue Manager......Page 94
Expressiveness......Page 96
An Example H Dialogue......Page 97
Conclusions......Page 98
References......Page 99
Introduction......Page 100
The Mental States of the Agents......Page 101
Strength of Explanatory Arguments......Page 102
Threats......Page 103
Logical Definition......Page 104
Strength of Threats......Page 105
Rewards......Page 106
Logical Definitions......Page 107
Strength of Rewards......Page 108
Argumentation System......Page 109
Dialogue Moves......Page 111
Illustrative Example......Page 113
Related Works – Conclusion......Page 114
References......Page 115
Introduction......Page 116
Capturing Social Influence......Page 118
Socially Influencing Decisions......Page 122
Negotiating Social Influence......Page 124
Resolving Conflicts Between Existing Social Influences......Page 126
Negotiating New Social Influences......Page 129
Related Work......Page 130
Conclusions and Future Work......Page 131
References......Page 132
Introduction......Page 134
A Generic Model of Strategic Interaction......Page 135
Reasoning with Adaptive Communication Patterns......Page 137
Interaction Frames......Page 138
Frame Semantics......Page 139
Decision Making and Frame Adaptation......Page 140
Interest-Based Negotiation......Page 142
Experimental Results......Page 145
Conclusions......Page 147
References......Page 148
Introduction......Page 150
A Language and Protocol for Multi-attribute Negotiation......Page 151
The Underlying Argumentation Logic......Page 153
A Dialogue Game for Persuasion......Page 154
The Combination......Page 158
Properties of the Combined Protocol......Page 160
AnExample......Page 161
Conclusion......Page 163
References......Page 164
Introduction......Page 166
Argumentation......Page 167
Locutions......Page 168
Dialogue Protocols......Page 169
Preconditions for Dialogue......Page 171
New Dialogues and Protocols......Page 173
Verification Dialogue......Page 174
Query Dialogues......Page 175
A New Classification......Page 177
Conclusion and Future Work......Page 178
References......Page 179
Introduction......Page 181
Basic Argumentation Theory......Page 182
Primitives for Embedded Dialogues......Page 184
Dialogue Supporting Information......Page 185
The Embedded Dialogue Framework......Page 186
Modelling Dialectical Shifts......Page 187
Related Work and Conclusions......Page 191
References......Page 192
Introduction......Page 194
Global Setup......Page 195
Deliberation Cycle......Page 196
Goal Base......Page 197
Belief Base......Page 198
The Underlying Argumentation Model......Page 199
Actions in More Detail......Page 201
Inference......Page 202
Response......Page 203
Experiments......Page 205
Results......Page 206
Related Work......Page 207
Conclusion......Page 208
References......Page 209
Introduction......Page 211
Using Dialogue Structures......Page 212
The Protocol Language......Page 214
Transformations......Page 215
Synthesising Protocols......Page 220
An Example Using Dialogue Games for Synthesis......Page 221
Conclusions......Page 226
References......Page 227
Introduction......Page 229
Formal Model for Generating Coalition Structures......Page 230
Proof Theory......Page 234
The Notion of Coalition......Page 236
Conflicts Between Coalitions......Page 237
Conclusion......Page 238
References......Page 240
Introduction......Page 241
Notation......Page 242
Deliberation and Planning......Page 243
Additional Notation......Page 246
Rules......Page 247
Heuristics......Page 248
Single Agent Deliberation......Page 249
Auxiliary Discussion Sub-dialogue......Page 251
A Dialogue for Deliberation......Page 252
Conclusion......Page 254
References......Page 255
Introduction......Page 257
Scientific Knowledge in Logic......Page 258
First-Order Argumentation......Page 260
ScientificArgumentation......Page 263
Degree of Undercut......Page 266
Editing Argument Trees......Page 271
Discussion......Page 273
References......Page 275
Introduction......Page 276
Mental States and Their Dynamics......Page 277
Argued Decisions......Page 278
Formal Setting......Page 282
Conditions on the Negotiation Acts......Page 284
Properties of the Negotiation Protocol......Page 285
Example of Deliberative Choice......Page 286
Conclusion......Page 289
References......Page 290
Introduction and Motivation......Page 291
TheJITIKSystem......Page 292
Defeasible Argumentation with DeLP......Page 294
Integrating JITIK with DeLP......Page 296
AWorkedExample......Page 297
Characterizing Organization knowledge in Site and Personal Agents......Page 298
Solving Conflicts for Information Distribution as DeLP Queries......Page 300
Implementation Issues......Page 302
Conclusions and Future Work......Page 304
References......Page 305
Introduction......Page 309
Background......Page 310
Locutions, Attitudes and Protocols......Page 312
Changes in Belief After a Single Dialogue......Page 314
Changes in Belief over Several Dialogues......Page 317
Lying and Modelling Other Agents......Page 321
References......Page 323
Back matter......Page 325
