About: 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.   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
value
  • 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.
Subject
  • Mathematical analysis
  • Calculus
  • Fuzzy logic
  • Mathematical optimization
  • Mathematical logic
  • Basic concepts in set theory
  • Logical connectives
  • Propositional calculus
  • Predicate logic
  • Logic symbols
  • Superlatives
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software