The Fiery Trial: Abraham Lincoln and American Slavery

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. 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. 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 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