Argumentation in artificial intelligence

Abstract

Over the last ten years, argumentation has come to be increasingly central as a core study within Artificial Intelligence (AI). The articles forming this volume reflect a variety of important trends, developments, and applications covering a range of current topics relating to the theory and applications of argumentation. Our aims in this introduction are, firstly, to place these contributions in the context of the historical foundations of argumentation in AI and, subsequently, to discuss a number of themes that have emerged in recent years resulting in a significant broadening of the areas in which argumentation based methods are used. We begin by presenting a brief overview of the issues of interest within the classical study of argumentation: in particular, its relationshipin terms of both similarities and important differences-to traditional concepts of logical reasoning and mathematical proof. We continue by outlining how a number of foundational contributions provided the basis for the formulation of argumentation models and their promotion in AI related settings and then consider a number of new themes that have emerged in recent years, many of which provide the principal topics of the research presented in this volume.

Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records

“…Smirnov presented abstraction approach, addressing specific features of BPMN [40]. Future work can focus on model abstraction as well as business intelligence [41][42][43] to generate lessons learned with a desirable level of details. However, questions remain on how to customise the G.S.T.…”

On a Computational Argumentation Framework for Agent Societies

“…From the first uses of argumentation in AI, arguments and cases are intertwined [42]. Case-based argumentation particularly reported successful applications in American common law [7], whose judicial standard orders that similar cases must be resolved with similar verdicts. In [8] a model of legal reasoning with cases is proposed.…”

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming

“…The area of argumentation (see [1] for an excellent summary) has become one of the central issues in Artificial Intelligence (AI) within the last decade, providing a formal treatment for reasoning problems arising in a number of interesting applications fields, including Multi-Agent Systems and Law Research. In a nutshell, argumentation frameworks formalize statements together with a relation denoting rebuttals between them, such that the semantics gives an abstract handle to solve the inherent conflicts between statements by selecting admissible subsets of them.…”