Argumentation has evolved from its original study primarily by philosophers to emerge in the last ten years as an important sub-discipline of Artificial Intelligence. Among the significant contributions resulting from this have been approaches to modeling and analysis of defeasible reasoning, formal bases for negotiation and dialogue processes in multiagent systems, and the use of argumentation theory in AI applications whose nature is not best described through traditional logics, e.g. legal reasoning, evaluation of conflicting beliefs, etc. The process of interpreting and exploiting classical treatments of Argumentation Theory in effective computational terms has led to a rich interchange of ideas among researchers from disciplines such as Philosophy, Linguistics, AI and Economics. While work over recent years has done much to consolidate diverse contributions to the field, many new concerns have been identified and form the basis of current research. The papers in this volume, presented as part of the 1st International Conference on Computational Model of Arguments (COMMA) in September 2006, give a valuable overview of on-going research issues and concerns within this field.
Author(s): P.E. Dunne and T.J.M. Bench-Capon, Editors
Series: Frontiers in Artificial Intelligence and Applications 144
Publisher: IOS Press
Year: 2006
Language: English
Pages: 353
Title page......Page 2
Preface......Page 6
Organisation......Page 7
Contents......Page 8
Argument in Agent Systems......Page 12
Towards Representing and Querying Arguments on the Semantic Web......Page 14
Building Agents that Plan and Argue in a Social Context......Page 26
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications......Page 38
An Application of Formal Argumentation: Fusing Bayes Nets in MAS......Page 44
Applications......Page 56
Value-Based Argumentation for Democratic Decision Support......Page 58
Argument Based Machine Learning in a Medical Domain......Page 70
CBR and Argument Schemes for Collaborative Decision Making......Page 82
Computational Properties of Argument......Page 94
Complexity Properties of Restricted Abstract Argument Systems......Page 96
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments......Page 108
An Algorithm to Compute Minimally Grounded and Admissible Defence Sets in Argument Systems......Page 120
Semi-Stable Semantics......Page 132
Argumentation Frameworks and Schemes I......Page 142
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas......Page 144
A Dialectic Procedure for Sceptical, Assumption-Based Argumentation......Page 156
Evaluation and Comparison Criteria for Extension-Based Argumentation Semantics......Page 168
Argumentation Tools......Page 180
Translating Wigmore Diagrams......Page 182
First Steps Towards the Automatic Construction of Argument-Diagrams from Real Discussions......Page 194
The Carneades Argumentation Framework......Page 206
Pierson vs. Post Revisited......Page 219
Reasoning About Action......Page 232
Argumentation and Persuasion in the Cognitive Coherence Theory......Page 234
Knowing when to Bargain......Page 246
Justifying Actions by Accruing Arguments......Page 258
Argumentation Frameworks and Schemes II......Page 270
Handling Controversial Arguments in Bipolar Argumentation Systems......Page 272
On Acceptability in Abstract Argumentation Frameworks with an Extended Defeat Relation......Page 284
Automating Argumentation for Deliberation in Cases of Conflict of Interest......Page 290
The Logic of Multiple-Valued Argumentation and Its Applications to Web Technology......Page 302
Value Based Argumentation in Hierarchical Argumentation Frameworks......Page 308
Dialogue and Decision......Page 320
Combining Sceptical Epistemic Reasoning with Credulous Practical Reasoning......Page 322
Multi-Agent Agreements About Actions Through Argumentation......Page 334
Suspicion of Hidden Agenda in Persuasive Argument......Page 340
Author Index......Page 352
