About: Modus Ponens Tollens for RU-Implications

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modus Ponens Tollens for RU-Implications Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Modus Ponens Tollens for RU-Implications
Creator	Aguiló, Isabel Massanet, Sebastia Riera, Juan Ruiz-Aguilera, Daniel
Source	PMC
abstract	In fuzzy rules based systems, fuzzy implication functions are usually considered to model fuzzy conditionals and to perform forward and backward inferences. These processes are guaranteed by the fulfilment of the Modus Ponens and Modus Tollens properties by the fuzzy implication function with respect to the considered conjunction and fuzzy negation. In this paper, we investigate which residual implications derived from uninorms satisfy both Modus Ponens and Modus Tollens properties with respect to the same t-norm and a fuzzy negation simultaneously. The most usual classes of uninorms are considered and many solutions are obtained which allow to model the fuzzy conditionals in a fuzzy rules based systems (and perform backward and forward inferences) with a unique residual implication derived from a uninorm.
has issue date	2020-05-15(xsd:dateTime)
bibo:doi	10.1007/978-3-030-50143-3_61
has license	no-cc
sha1sum (hex)	e8bdeb51f4e1fa3386448bb6c13977218f401936
schema:url	https://doi.org/10.1007/978-3-030-50143-3_61
resource representing a document's title	Modus Ponens Tollens for RU-Implications
has PubMed Central identifier	PMC7274740
schema:publication	Information Processing and Management of Uncertainty in Knowledge-Based Systems
resource representing a document's body	covid:e8bdeb51f4e1fa3386448bb6c13977218f401936#body_text
is schema:about of	named entity 'guaranteed' named entity 'Modus Tollens' named entity 'perform' named entity 'unique' named entity 'respect' named entity 'implication' named entity 'rules' named entity 'investigate' named entity 'implications' named entity 'Tollens' named entity 'Modus Ponens' named entity 'conditionals' named entity 'Modus Ponens' named entity 'subadditive' named entity 'fixed point' named entity 'idempotent' named entity 'involutive' named entity 'Modus Ponens' named entity 'sufficient conditions' named entity 'neutral element' named entity 'Modus Ponens' named entity 'contrapositive' named entity 'neutral element' named entity 't-conorms' named entity 'neutral element' named entity 'Modus Ponens' named entity 'idempotent' named entity 'minimum t-norm' named entity 'contrapositive' named entity 't-norm' named entity 'idempotent' named entity 'idempotent' named entity 'image processing' named entity 'contrapositive' named entity 'computing with words' named entity 'Modus Ponens' named entity 't-norm' named entity 'neutral element' named entity 't-norm' named entity 'conditionals' named entity 'Modus Ponens' named entity 't-norm' named entity 'idempotent' named entity 'subadditive' named entity 't-norm' named entity 'ordinal sum' named entity 't-norm' named entity 'Modus Tollens' named entity 'idempotent' named entity 'Modus Ponens' named entity 't-conorm' named entity 't-conorm' named entity 't-norm' named entity 't-norm' named entity 'Modus Tollens' named entity 't-norm' named entity 'inference' named entity 'contrapositive' named entity 't-conorms' named entity 'strong negation' named entity 'Modus Tollens' named entity 't-conorm' named entity 'strong negation' named entity 'Modus Ponens' named entity 'strictly decreasing' named entity 'Modus Tollens' named entity 'strong negation' named entity 't-norm' named entity 'product t-norm' named entity 'Zadeh' named entity 'Proposition 10' named entity 'Modus Ponens' named entity 'idempotent' named entity 'fuzzy control' named entity 't-conorm' named entity 'Modus Ponens' named entity 'neutral element' named entity 'subadditive' named entity 'idempotent' named entity 'neutral element'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

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