Argumentation In Multi-agent Systems: Second International Workshop, Argmas 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected And Invited Papers (lecture Notes In Computer Science)

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. 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

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, prools, deliberation and coalition formation, and consensus formation.

Constitutes the refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, Netherlands in July 2005. This book includes papers organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.