Journal of Logic and Computation 28 (7):1523--1563 (2018)
Authors |
|
Abstract |
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) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Rationality and Maximal Consistent Sets for a Fragment of ASPIC + Without Undercut.Jesse Heyninck & Christian Straßer - 2021 - Argument and Computation 12 (1):3-47.
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2021 - Studia Logica 109 (1):167-238.
Similar books and articles
Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
Logical Argumentation by Dynamic Proof Systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
Argumentative Approaches to Reasoning with Maximal Consistency.Ofer Arieli & Christian Straßer - 2016 - In Chitta Baral, James Delgrande & Frank Wolter (eds.), KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning. pp. 509--512.
Relating Carneades with Abstract Argumentation Via the ASPIC+ Framework for Structured Argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
Argumentative Approaches to Reasoning with Consistent Subsets of Premises.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2017 - Lecture Notes in Computer Science:455–465.
Some Clarifications About the Argumentative Theory of Reasoning. A Reply to Santibáñez Yañez (2012).Hugo Mercier - 2012 - Informal Logic 32 (2):259-268.
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.
State-of-the-Art: The Structure of Argumentation. [REVIEW]A. Francisca Snoeck Henkemans - 2000 - Argumentation 14 (4):447-473.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.
Nonmonotonic Reasoning , Argumentation and Machine Learning 1 Introduction.Peter Clark - 1990 - Argumentation:1-11.
Practical Reasoning Arguments: A Modular Approach.Fabrizio Macagno & Douglas Walton - 2018 - Argumentation 32 (4):519-547.
Mercier and Sperber's Argumentative Theory of Reasoning: From Psychology of Reasoning to Argumentation Studies.Cristián Santibáñez Yáñez - 2012 - Informal Logic 32 (1):132-159.
Argumentation, Rationality, and Psychology of Reasoning.David Godden - 2015 - Informal Logic 35 (2):135-166.
Analytics
Added to PP index
2020-01-31
Total views
3 ( #1,285,911 of 2,409,938 )
Recent downloads (6 months)
1 ( #541,494 of 2,409,938 )
2020-01-31
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?
Downloads