Historical overview of formal argumentation

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review


This chapter gives an overview of the history of formal argumentation in terms of a distinction between argumentation-based inference and argumentation-based dialogue. Systems for argumentationbased inference are about which conclusions can be drawn from a given body of possibly incomplete, inconsistent of uncertain information. They ultimately define a nonmonotonic notion of logical consequence, in terms of the intermediate notions of argument construction, argument attack and argument evaluation, where arguments are seen as constellations of premises, conclusions and inferences. Systems for argumentation-based dialogue model argumentation as a kind of verbal interaction aimed at resolving conflicts of opinion. They define argumentation protocols, that is, the rules of the argumentation game, and address matters of strategy, that is, how to play the game well. For both aspects of argumentation the main formal and computational models are reviewed and their main historical influences are sketched. Then some main applications areas are briefly discussed.
Original languageEnglish
Title of host publicationHandbook of Formal Argumentation
EditorsPietro Baroni, Dov Gabbay, Massimiliano Giacomin, Leendert van der Torre
Place of PublicationLondon, UK
PublisherCollege Publications
ISBN (Print)978-1-84890-275-6
Publication statusPublished - 2018


Dive into the research topics of 'Historical overview of formal argumentation'. Together they form a unique fingerprint.

Cite this