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).
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 language | English |
|---|---|
| Title of host publication | Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning |
| Publisher | ijcai.org |
| Pages | 52-62 |
| Number of pages | 11 |
| ISBN (Print) | 978-1-956792-99-7 |
| DOIs | |
| Publication status | Published - 1 Sept 2021 |
| Event | 18th International Conference on Principles of Knowledge Representation and Reasoning - Duration: 3 Jan 2021 → 12 Jan 2021 |
Conference
| Conference | 18th International Conference on Principles of Knowledge Representation and Reasoning |
|---|---|
| Period | 3/01/21 → 12/01/21 |
Bibliographical note
DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.Keywords
- Argumentation
- Inconsistency- and exception tolerant reasoning
- paraconsistent logics
- Commonsense reasoning