The formalization of asymmetry in disjunctive evaluation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F20%3A10245001" target="_blank" >RIV/61989100:27510/20:10245001 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/chapter/10.1007%2F978-3-030-50143-3_34" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-030-50143-3_34</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-50143-3_34" target="_blank" >10.1007/978-3-030-50143-3_34</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The formalization of asymmetry in disjunctive evaluation

Popis výsledku v původním jazyce

The main property of disjunction is substitutability, i.e., the fully satisfied predicate substitutes the rejected one. But, in many real-world cases disjunction is expressed as the fusion of full and optional alternatives, which is expressed as OR ELSE connective. Generally, this logical connective provides a solution lower than or equal to the MAX operator, and higher than or equal to the projection of the full alternative, i.e., the solution does not go below any averaging function and above MAX function. Therefore, the optional alternative does not influence the solution when it is satisfied with a degree lower than the degree of full alternative. In this work, we propose further generalization by other disjunctive functions in order to allow upward reinforcement of asymmetric disjunction. Finally, the obtained results are illustrated and discussed. (C) Springer Nature Switzerland AG 2020.

Název v anglickém jazyce

The formalization of asymmetry in disjunctive evaluation

Popis výsledku anglicky

The main property of disjunction is substitutability, i.e., the fully satisfied predicate substitutes the rejected one. But, in many real-world cases disjunction is expressed as the fusion of full and optional alternatives, which is expressed as OR ELSE connective. Generally, this logical connective provides a solution lower than or equal to the MAX operator, and higher than or equal to the projection of the full alternative, i.e., the solution does not go below any averaging function and above MAX function. Therefore, the optional alternative does not influence the solution when it is satisfied with a degree lower than the degree of full alternative. In this work, we propose further generalization by other disjunctive functions in order to allow upward reinforcement of asymmetric disjunction. Finally, the obtained results are illustrated and discussed. (C) Springer Nature Switzerland AG 2020.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Communications in Computer and Information Science. Volume 1238

ISBN

978-3-030-50142-6

ISSN

1865-0929

e-ISSN

1865-0937

Počet stran výsledku

12

Strana od-do

435-446

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Lisabon

Datum konání akce

15. 6. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—