09383nam 22007815 450 99646636090331620200705221330.03-319-28460-610.1007/978-3-319-28460-6(CKB)4340000000001273(SSID)ssj0001616909(PQKBManifestationID)16347487(PQKBTitleCode)TC0001616909(PQKBWorkID)14920934(PQKB)10274858(DE-He213)978-3-319-28460-6(MiAaPQ)EBC6295308(MiAaPQ)EBC5591628(Au-PeEL)EBL5591628(OCoLC)1066188864(PPN)191705527(EXLCZ)99434000000000127320160106d2015 u| 0engurnn#008mamaatxtccrTheory and Applications of Formal Argumentation[electronic resource] Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers /edited by Elizabeth Black, Sanjay Modgil, Nir Oren1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (X, 261 p. 48 illus. in color.)Lecture Notes in Artificial Intelligence ;9524Includes index.3-319-28459-2 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.This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration. .Lecture Notes in Artificial Intelligence ;9524Artificial intelligenceComputersApplication softwareInformation storage and retrievalArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Artificial intelligence.Computers.Application software.Information storage and retrieval.Artificial Intelligence.Theory of Computation.Information Systems Applications (incl. Internet).Information Storage and Retrieval.004.0151Black Elizabethedthttp://id.loc.gov/vocabulary/relators/edtModgil Sanjayedthttp://id.loc.gov/vocabulary/relators/edtOren Niredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466360903316Theory and Applications of Formal Argumentation2205544UNISA