Computational models of argument : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran

• Pubblicazione: Amsterdam, : IOS Press, 2012
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (536 p.)
• Disciplina: 003.5
• Soggetto topico: Artificial intelligence - Computer simulation; Reasoning - Computer simulation
• Altri autori: VerheijBart SzeiderStefan WotlranStefan
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap ; An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics ; Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution ; Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing ; Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue ; Picking the Right Expert to Make a Debate Uncontroversial
• Sommario/riassunto: The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more.
• Titolo autorizzato: Computational models of argument
• ISBN: 1-299-33330-3; 1-61499-111-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910819666903321
• Lo trovi qui: Univ. Federico II