Theory and Applications of Formal Argumentation

Name: Theory and Applications of Formal Argumentation | Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers
Brand: Springer
Price: 50.28 EUR
Availability: OnlineOnly

Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

Elizabeth Black Sanjay Modgil Nir Oren(Herausgeber*in)

Springer (Verlag)

Erschienen am 6. Januar 2016

X, 261 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-28460-6 (ISBN)

50,28 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&Dec
1 Introduction
2 Background
3 QuAD Frameworks and Decision Matrices: Comparison and Transformation
3.1 Different Methods for Different Problems?
3.2 Combining Strengths: An Integrated View Through Transformation
4 Rankings in QuAD Frameworks and Decision Matrices
5 The Arg&Dec Web Application
6 Discussion and Conclusions
References
Reasons and Options for Updating an Opponent Model in Persuasion Dialogues
1 Introduction
2 Simple Persuasion Dialogues
3 Updating and Using an Opponent Model
4 Generating Dialogues
5 Performance of Model Update Mechanisms
5.1 Performance of Mechanisms for Accurate Scenarios
5.2 Performance of Mechanisms for Scenarios that are Not Accurate
6 Discussion
References
Abstract Solvers for Dung's Argumentation Frameworks
1 Introduction
2 Preliminaries
3 Algorithms for Preferred Semantics
3.1 SAT-Based Algorithm for Enumeration
3.2 SAT-Based Algorithm for Acceptance
3.3 Dedicated Approach for Enumeration
3.4 Combining Algorithms
4 Discussion and Conclusions
References
A Discussion Game for Grounded Semantics
1 Introduction
2 Formal Preliminaries
3 The Grounded Discussion Game
3.1 Soundness
3.2 Completeness
3.3 Efficiency
4 Discussion and Related Work
4.1 The Standard Grounded Game
4.2 The Grounded Persuasion Game
4.3 Summary and Analysis
References
An Axiomatic Approach to Support in Argumentation
1 Introduction
2 Background on Abstract Bipolar Argumentation Systems
2.1 Dung's Framework
2.2 Abstract Bipolar Argumentation Systems
3 Axiomatic Approach for Handling Necessary Support
4 New Frameworks for Handling Necessary Supports
4.1 Handling Conflicting Sets of Arguments
4.2 A Meta-Framework Encoding Necessary Support
4.3 A Framework with Complex Attacks
4.4 Comparison Between the Different Frameworks
5 Conclusion and Future Works
References
Non-Monotonic Inference Properties for Assumption-Based Argumentation
1 Introduction
2 Background
3 Inference Properties for ABA
3.1 Strict Cumulative Transitivity and Cautious Monotonicity
3.2 Defeasible Cumulative Transitivity and Cautious Monotonicity
3.3 Assumption Cumulative Transitivity and Cautious Monotonicity
4 Related Work
5 Conclusions
References
On Explanations for Non-Acceptable Arguments
1 Introduction
2 Background
3 Two Different Notions of Explanation
4 Obtaining Explanations from Dispute Trees
5 Discussion
6 Related Work
7 Conclusion
References
Building Support-Based Opponent Models in Persuasion Dialogues
1 Introduction
2 Background
2.1 ASPIC+
2.2 The Dialogue Framework
3 Modelling Support Relationships
3.1 Abstract Support Relationships
3.2 Logical Support Relationships
4 Quantification of Support Relationships
5 Related Work
6 Conclusions and Future Work
References
The Hidden Power of Abstract Argumentation Semantics
1 Introduction
2 Background
3 Implicit Conflicts
4 Rejected Arguments
5 Discussion
References
Argument Mining: A Machine Learning Perspective
1 Introduction
2 Problem Formulation
3 Methods
3.1 Argumentative Sentence Detection
3.2 Argument Boundaries Detection
3.3 Argument Structure Prediction
4 Corpora
5 Challenges
6 Conclusions
References
Arguing from Similar Positions: An Empirical Analysis
1 Introduction
2 Deliberation Dialogues
2.1 Argumentation Model
2.2 Dialogue System
3 Investigating Similarity
4 Results
4.1 Dialogues Tend to Fail with Many Arguments
4.2 Dialogues are Less Successful as Sim increases
4.3 The Impact of Similarity Increases with the Number of Values
4.4 Success Most Likely at Around 50% of Maximum Total Arguments
5 Related Work
6 Discussion
References
ArgP2P: An Argumentative Approach for Intelligent Query Routing in P2P Networks
1 Introduction and Motivations
2 P2P Networks for Thematic Search: Overview
2.1 Formalizing the Notion of P2P Network
3 Assumption-Based Argumentation: Fundamentals
4 The ArgP2P Framework
5 Case Study
6 Discussion and Related Work
7 Conclusions and Future Work
References
Persistence and Monotony Properties of Argumentation Semantics
1 Introduction
2 Preliminaries
2.1 Extension-Based Semantics
2.2 Labelling-Based Semantics
3 Addition Persistence Properties
4 Removal Persistence
5 Skeptical Monotony
6 Related Work
7 Conclusion and Future Work
References
Argumentation-based Normative Practical Reasoning
1 Introduction
2 A Formal Model for Normative Practical Reasoning
2.1 The Model
2.2 Semantics of the Model
3 Argument Scheme and Critical Questions
3.1 Formal Model of Arguments
3.2 Argument Interactions
3.3 Grounded Extension and Properties of Plan Arguments
4 Persuasion Dialogue for Grounded Semantics
5 Illustrative Example
6 Related Work
7 Conclusion and Future Work
References
The Matrix Approach for Abstract Argumentation Frameworks
1 Introduction
2 Background on Abstract AFs
3 The Matrix Representation
4 Characterizing the Extensions of an AF
4.1 Characterizing the Conflict-Free Subsets
4.2 Characterizing the Stable Extensions
4.3 Characterizing the Admissible Subsets
4.4 Characterizing the Complete Extensions
4.5 The Standard Forms of the Matrix M(AF)
5 Matrix Reduction
5.1 Matrix Reduction Based on Contraction of AFs
5.2 Matrix Reduction Based on Division of AFs
6 Concluding Remarks and Future Works
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken