Journal of Logic and Computation 28 (7):1523--1563 (2018)

Christian Straßer
Ruhr-Universität Bochum
Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,949
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Approximate Coherence-Based Reasoning.Frédéric Koriche - 2002 - Journal of Applied Non-Classical Logics 12 (2):239-258.
Initial Sets in Abstract Argumentation Frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.


Added to PP index

Total views
3 ( #1,285,911 of 2,409,938 )

Recent downloads (6 months)
1 ( #541,494 of 2,409,938 )

How can I increase my downloads?


My notes