Showing papers by "Ofer Arieli published in 2021"
TL;DR: It is shown that hypersequent-based argumentation yields robust defeasible variants of these logics, with many desirable properties, and allows us to incorporate as the deductive base of the formalism some well-known logics which lack cut-free sequent calculi, and so are not adequate for standard sequent- based argumentation.
Abstract: In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These structures are an extension of sequent-based argumentation frameworks, in which arguments and the attack relations among them are expressed not only by Gentzen-style sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the known weaknesses of logical argumentation frameworks and to prove several desirable properties of the entailments that are induced by the extended (hypersequent-based) frameworks. It also allows us to incorporate as the deductive base of our formalism some well-known logics (like the intermediate logic LC, the modal logic S5, and the relevance logic RM), which lack cut-free sequent calculi, and so are not adequate for standard sequent-based argumentation. We show that hypersequent-based argumentation yields robust defeasible variants of these logics, with many desirable properties.
5 citations
01 Sep 2021
1 citations
TL;DR: The authors extend these frameworks with priorities and introduce some new results concerning the Dung's semantics of the resulting formalisms, which are based on a simple assumption-based argumentation framework, which provides a robust approach to reasoning with arguments and counterarguments.
1 citations
01 Jan 2021
TL;DR: The authors recall some of the better known approaches to non-classical logics, with an emphasis on the contributions of Arnon Avron to the subject and in relation to the papers in this volume.
Abstract: We recall some of the better known approaches to non-classical logics, with an emphasis on the contributions of Arnon Avron to the subject and in relation to the papers in this volume.