<p>We investigate the relations between bipolar logical argumentation frames and the three main t-norm-based fuzzy logics: <i>Łukasiewicz</i>&#xa0;(<b>Ł</b>), <i>Gödel</i> (<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\textbf {G}}\)</EquationSource> </InlineEquation>) and <i>product</i> logic (<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varvec{\Pi }\)</EquationSource> </InlineEquation>). The arguments that we consider are complex entities, and the inference relation between the support and the claim is instantiated with the standard consequence relation of one specific fuzzy logic. We introduce several <i>argumentative principles</i> defined in terms of the attack and the support relation that refine the existence of such relations whenever the involved arguments share some propositional formulas. Through the notion of argumentative immunity introduced in Corsi and Fermüller (<CitationRef CitationID="CR26">2018a</CitationRef>) we finally recover complete semantics for <b>Ł</b>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\textbf {G}}\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{\Pi }.\)</EquationSource> </InlineEquation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Bipolar argumentative semantics for t-norm based fuzzy logics

  • Esther Anna Corsi

摘要

We investigate the relations between bipolar logical argumentation frames and the three main t-norm-based fuzzy logics: Łukasiewicz (Ł), Gödel ( \({\textbf {G}}\) ) and product logic ( \(\varvec{\Pi }\) ). The arguments that we consider are complex entities, and the inference relation between the support and the claim is instantiated with the standard consequence relation of one specific fuzzy logic. We introduce several argumentative principles defined in terms of the attack and the support relation that refine the existence of such relations whenever the involved arguments share some propositional formulas. Through the notion of argumentative immunity introduced in Corsi and Fermüller (2018a) we finally recover complete semantics for Ł, \({\textbf {G}}\) and \(\varvec{\Pi }.\)