منابع مشابه
Sequent-based logical argumentation
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in wh...
متن کاملA Sequent-Based Representation of Logical Argumentation
In this paper we propose a new presentation of logic-based argumentation theory through Gentzen-style sequent calculi. We show that arguments may be represented by Gentzen-type sequents and that attacks between arguments may be represented by sequent elimination rules. This framework is logic-independent, i.e., it may be based on arbitrary languages and consequence relations. Moreover, the usua...
متن کاملDynamic Derivations for Sequent-Based Logical Argumentation
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented...
متن کاملSequent-Based Argumentation for Normative Reasoning
In this paper we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contraryto-duty and specificity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (see [1]), and use standard de...
متن کاملEvidence Algorithm and Sequent Logical Inference Search
In this paper we continue to develop the approach to automated search for theorem proofs started in Kyiv in 1960-1970s. This approach presupposes the development of deductive techniques used for the processing of mathematical texts, written in a formal first-order language, close to the natural language used in mathematical papers. We construct two logical calculi, gS and mS, satisfying the fol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Argument & Computation
سال: 2015
ISSN: 1946-2166,1946-2174
DOI: 10.1080/19462166.2014.1002536