Book Announcement: "Argumentation in Artificial Intelligence"

[Guillermo R. Simari]

=================================
=================================
ARGUMENTATION IN
ARTIFICIAL INTELLIGENCE
Iyad Rahwan and Guillermo R. Simari (Eds.)

With a foreword by Johan van Benthem
=================================
=================================

2009, Approx. 505 p. 100 illus., Hardcover
ISBN: 978-0-387-98196-3
http://www.springer.com/computer/artificial/book/978-0-387-98196-3

ABOUT THIS BOOK:

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.

The book is written for researchers and postgraduate students working
in artificial intelligence, AI and law, logic in computer science,
electronic democracy, multi-agent systems, etc.

TABLE OF CONTENTS:

1 Argumentation Theory: A Very Short Introduction . . . . . . .  . . . 1
Douglas Walton

Part I Abstract Argument Systems

2 Semantics of Abstract Argument Systems . . . . . . . . . . . .. . . 25
Pietro Baroni and Massimiliano Giacomin

3 Abstract Argumentation and Values . . . . . . . . . . . . . . . . .. . . 45
Trevor Bench-Capon and Katie Atkinson

4 Bipolar abstract argumentation systems . . . . . . . . . . . . .  . . . 65
Claudette Cayrol and Marie-Christine Lagasquie-Schiex

5 Complexity of Abstract Argumentation . . . . . . . . . . . . . . . . . . 85
Paul E. Dunne and Michael Wooldridge

6 Proof Theories and Algorithms for Abstract Argumentation
Frameworks . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.. . . . . . . . 105
Sanjay Modgil and Martin Caminada

Part II Arguments with Structure

7 Argumentation Based on Classical Logic . . . . . . . . . . . . . . . . 133
Philippe Besnard and Anthony Hunter

8 Argument-based Logic Programming . . . . . . . . . . ... . . . . . . . 153
Alejandro J. Garc´ıa, J¨urgen Dix and Guillermo R. Simari

9 A Recursive Semantics for Defeasible Reasoning . .. . . . . . . . . 173
John L. Pollock

Assumption-Based Argumentation . . . . . . . . . . . . . .  . . . . . . . . 199
Phan Minh Dung, Robert A. Kowalski and Francesca Toni

11 The Toulmin Argument Model in Artificial Intelligence. . . . . . . . 219
Bart Verheij

12 Proof Burdens and Standards . . . . . . . . . . . . . . . . . . . .
. . . . 239
Thomas F. Gordon and Douglas Walton

Part III Argumentation in Multi-Agent Systems

13 Dialogue Games for Agent Argumentation . . . . . . . . . . .  . . . . 261
Peter McBurney and Simon Parsons

14 Models of Persuasion Dialogue . . . . . . . . . . . . . . . . . ...
. . . . 281
Henry Prakken

15 Argumentation for Decision Making . . . . . . . . . . . . . . . . . . . . 301
Leila Amgoud

16 Argumentation and Game Theory . . . . . . . . . . . . . . . . . .. . . . 321
Iyad Rahwan and Kate Larson

17 Belief Revision and Argumentation Theory . . . . . . . . . . . . .. . . 341
Marcelo A. Falappa, Gabriele Kern-Isberner
and Guillermo R. Simari

Part IV Applications

18 Argumentation in Legal Reasoning. . . . . . . . . . . . . . . . ..
. . . . 363
Trevor Bench-Capon, Henry Prakken and Giovanni Sartor

19 The Argument Interchange Format . . . . . . . . . . . . . . . . .
.. . . . 383
Iyad Rahwan and Chris Reed

20 Empowering Recommendation Technologies Through
Argumentation . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 403
Carlos Iv´an Ches~nevar, Ana Gabriela Maguitman
and Mar´ıa Paula Gonz´alez

21 Arguing on the Semantic Grid . . . . . . . . . . . . . . . . . . ..
. . . . . . . 423
Paolo Torroni, Marco Gavanelli and Federico Chesani

22 Towards Probabilistic Argumentation . . . . . . . . . . . . . . . .
. . . . 443
Ingrid Zukerman

23 Argument-Based Machine Learning . . . . . . . . . . . . . . . . . . . . . 463
Ivan Bratko, Jure ˇ Zabkar and Martin Moˇzina

Appendices

A Description Logic . . . . . . . . . . . . . . . . . . . . . . . . ..
. . . . . . . . . 483

B Bayesian Networks . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 485

Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
... . . . . . . . . . . . . 487