Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Abstract argumentation systems
Artificial Intelligence
A logic-based theory of deductive arguments
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Acceptability of arguments as `logical uncertainty'
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Towards a Logic-Based Theory of Argumentation
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
On the evaluation of argumentation formalisms
Artificial Intelligence
Elements of Argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Bridging the Gap between Abstract Argumentation Systems and Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between argumentation and non-monotonic coherence based entailment
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A formal analysis of logic-based argumentation systems
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Handling inconsistency with preference-based argumentation
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial Intelligence
Identifying the Core of Logic-Based Argumentation Systems
ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
Journal of Logic and Computation
Beyond maxi-consistent argumentation operators
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A general account of argumentation with preferences
Artificial Intelligence
Hi-index | 0.00 |
Dung's abstract argumentation theory can be seen as a general framework for nonmonotonic reasoning. An important question is then: what is the class of logics that can be subsumed as instantiations of this theory? The goal of this paper is to identify and study the large class of logic-based instantiations of Dung's theory which correspond to the maxi-consistent operator, i.e. to the function which returns maximal consistent subsets of an inconsistent knowledge base. In other words, we study the class of instantiations where every extension of the argumentation system corresponds to exactly one maximal consistent subset of the knowledge base. We show that an attack relation belonging to this class must be conflict-dependent, must not be valid, must not be conflict-complete, must not be symmetric etc. Then, we show that some attack relations serve as lower or upper bounds of the class (e.g. if an attack relation contains canonical undercut then it is not a member of this class). By using our results, we show for all existing attack relations whether or not they belong to this class. We also define new attack relations which are members of this class. Finally, we interpret our results and discuss more general questions, like: what is the added value of argumentation in such a setting? We believe that this work is a first step towards achieving our long-term goal, which is to better understand the role of argumentation and, particularly, the expressivity of logic-based instantiations of Dung-style argumentation frameworks.