Argumentation in Artificial Intelligence

This volume is a systematic, expansive presentation of the major achievements in the intersection between two fields of inquiry: Argumentation Theory and Artificial Intelligence. Contributions from international researchers who have helped shape this dynamic area offer a progressive development of intuitions, ideas and techniques, from philosophical backgrounds, to abstract argument systems, to computing arguments, to the appearance of applications producing innovative results. Each chapter features extensive examples to ensure that readers develop the right intuitions before they move from one topic to another. In particular, the book exhibits an overview of key concepts in Argumentation Theory and of formal models of Argumentation in AI. After laying a strong foundation by covering the fundamentals of argumentation and formal argument modeling, the book expands its focus to more specialized topics, such as algorithmic issues, argumentation in multi-agent systems, and strategic aspects of argumentation. Finally, as a coda, the book explores some practical applications of argumentation in AI and applications of AI in argumentation. Argumentation in Artificial Intelligence is sure to become an essential resource for graduate students and researchers working in Autonomous Agents, AI and Law, Logic in Computer Science, Electronic Governance, and Multi-agent Systems. The book is suitable both as a comprehensive introduction to the field, and also as a highly organized and accessible reference for established researchers. Read more... Abstract: This volume is a systematic, expansive presentation of the major achievements in the intersection between two fields of inquiry: Argumentation Theory and Artificial Intelligence. Contributions from international researchers who have helped shape this dynamic area offer a progressive development of intuitions, ideas and techniques, from philosophical backgrounds, to abstract argument systems, to computing arguments, to the appearance of applications producing innovative results. Each chapter features extensive examples to ensure that readers develop the right intuitions before they move from one topic to another. In particular, the book exhibits an overview of key concepts in Argumentation Theory and of formal models of Argumentation in AI. After laying a strong foundation by covering the fundamentals of argumentation and formal argument modeling, the book expands its focus to more specialized topics, such as algorithmic issues, argumentation in multi-agent systems, and strategic aspects of argumentation. Finally, as a coda, the book explores some practical applications of argumentation in AI and applications of AI in argumentation. Argumentation in Artificial Intelligence is sure to become an essential resource for graduate students and researchers working in Autonomous Agents, AI and Law, Logic in Computer Science, Electronic Governance, and Multi-agent Systems. The book is suitable both as a comprehensive introduction to the field, and also as a highly organized and accessible reference for established researchers 1. Argumentation Theory: A Very Short Introduction / Douglas Walton -- Part I. Abstract Argument Systems. -- G 2. Semantics Of Abstract Argument Systems / Pietro Baroni And Massimiliano Giacomin -- 3. Abstract Argumentation And Values / Trevor Bench-capon And Katie Atkinson -- 4. Bipolar Abstract Argumentation Systems / Claudette Cayrol And Marie-christine Lagasquie-schiex -- 5. Complexity Of Abstract Argumentation / Paul E. Dunne And Michael Wooldridge -- 6. Proof Theories And Algorithms For Abstract Argumentation Frameworks / Sanjay Modgil And Martin Caminada -- Part Ii. Arguments With Structure. -- 7. Argumentation Based On Classical Logic / Philippe Besnard And Anthony Hunter -- 8. Argument-based Logic Programming / Alejandro J. Garc'ıa, Jurgen Dix And Guillermo R. Simari -- 9. A Recursive Semantics For Defeasible Reasoning / John L. Pollock -- 10. Assumption-based Argumentation / Phan Minh Dung, Robert A. Kowalski And Francesca Toni -- 11. The Toulmin Argument Model In Artificial Intelligence / Bart Verheij -- 12. Proof Burdens And Standards / Thomas F. Gordon And Douglas Walton -- Part Iii. Argumentation In Multi-agent Systems. -- 13. Dialogue Games For Agent Argumentation / Peter Mcburney And Simon Parsons -- 14. Models Of Persuasion Dialogue / Henry Prakken -- 15. Argumentation For Decision Making / Leila Amgoud -- 16. Argumentation And Game Theory / Iyad Rahwan And Kate Larson -- 17. Belief Revision And Argumentation Theory / Marcelo A. Falappa, Gabriele Kern-isberner And Guillermo R. Simari. Part Iv. Applications. -- 18. Argumentation In Legal Reasoning / Trevor Bench-capon, Henry Prakken And Giovanni Sartor -- 19. The Argument Interchange Format / Iyad Rahwan And Chris Reed -- 20. Empowering Recommendation Technologies Through Argumentation / Carlos Ivan Chesnevar, Ana Gabriela Maguitman And Marıa Paula Gonzalez -- 21. Arguing On The Semantic Grid / Paolo Torroni, Marco Gavanelli And Federico Chesani -- 22. Towards Probabilistic Argumentation / Ingrid Zukerman -- 23. Argument-based Machine Learning / Ivan Bratko, Jure Zabkar And Mrtin Mozina -- A. Description Logic -- B. Bayesian Networks. Edited By Iyad Rahwan, Guillermo R. Simari. Includes Bibliographical References And Index. Front Matter....Pages i-xi Argumentation Theory: A Very Short Introduction....Pages 1-22 Front Matter....Pages 23-23 Semantics of Abstract Argument Systems....Pages 25-44 Abstract Argumentation and Values....Pages 45-64 Bipolar abstract argumentation systems....Pages 65-84 Complexity of Abstract Argumentation....Pages 85-104 Proof Theories and Algorithms for Abstract Argumentation Frameworks....Pages 105-129 Front Matter....Pages 131-131 Argumentation Based on Classical Logic....Pages 133-152 Argument-based Logic Programming....Pages 153-171 A Recursive Semantics for Defeasible Reasoning....Pages 173-197 Assumption-Based Argumentation....Pages 199-218 The Toulmin Argument Model in Artificial Intelligence....Pages 219-238 Proof Burdens and Standards....Pages 239-258 Front Matter....Pages 259-259 Dialogue Games for Agent Argumentation....Pages 261-280 Models of Persuasion Dialogue....Pages 281-300 Argumentation for Decision Making....Pages 301-320 Argumentation and Game Theory....Pages 321-339 Belief Revision and Argumentation Theory....Pages 341-360 Front Matter....Pages 361-361 Argumentation in Legal Reasoning....Pages 363-382 The Argument Interchange Format....Pages 383-402 Empowering Recommendation Technologies Through Argumentation....Pages 403-422 Front Matter....Pages 361-361 Arguing on the Semantic Grid....Pages 423-441 Towards Probabilistic Argumentation....Pages 443-462 Argument-Based Machine Learning....Pages 463-482 Back Matter....Pages 1-11 Argumentation is all around us. Letters to the Editor often make points of cons- tency, and “Why” is one of the most frequent questions in language, asking for r- sons behind behaviour. And argumentation is more than ‘reasoning’ in the recesses of single minds, since it crucially involves interaction. It cements the coordinated social behaviour that has allowed us, in small bands of not particularly physically impressive primates, to dominate the planet, from the mammoth hunt all the way up to organized science. This volume puts argumentation on the map in the eld of Arti cial Intelligence. This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader systematic area emerging in the sum of topics and results. As a logician, I nd this intriguing, since I see AI as ‘logic continued by other means’, reminding us of broader views of what my discipline is about. Logic arose originally out of re ection on many-agent practices of disputation, in Greek Ant- uity, but also in India and China. And logicians like me would like to return to this broader agenda of rational agency and intelligent interaction. Of course, Aristotle also gave us a formal systems methodology that deeply in uenced the eld, and eventually connected up happily with mathematical proof and foundations. Examines the intersection between two fields of inquiry, including Argumentation Theory and Artificial Intelligence. This book presents an overview of key concepts in argumentation theory and of formal models of argumentation in AI. It offers a review of the foundational issues in argumentation and formal argument modeling