Characterizations and Classifications of Argumentative Entailments

Ofer Arieli, AnneMarie Borg, Christian Straßer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

In this paper we provide a detailed analysis of the inference process induced by logical argumentation frameworks. The frameworks may be defined with respect to any propositional language

and logic, different arguments that represent deductions in the logic, various support-based attack relations between arguments, and all the complete Dung-style semantics for the frameworks. We show that, ultimately, for characterizing the inference process with respect to a given framework, extension-based semantics may be divided into two types: single-extension and multiple-extension, which induce respective kinds of entailment relations. These entailments are further classified by the way they tolerate new information (nonmonotonicity-related properties) and maintain conflicts among arguments (inconsistency-related properties).
Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
Publisherijcai.org
Pages52-62
Number of pages11
ISBN (Print)978-1-956792-99-7
DOIs
Publication statusPublished - 1 Sept 2021
Event18th International Conference on Principles of Knowledge Representation and Reasoning -
Duration: 3 Jan 202112 Jan 2021

Conference

Conference18th International Conference on Principles of Knowledge Representation and Reasoning
Period3/01/2112/01/21

Keywords

  • Argumentation
  • Inconsistency- and exception tolerant reasoning
  • paraconsistent logics
  • Commonsense reasoning

Fingerprint

Dive into the research topics of 'Characterizations and Classifications of Argumentative Entailments'. Together they form a unique fingerprint.

Cite this