About: Descriptions in Full Fuzzy Type Theory

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

About: Descriptions in Full Fuzzy Type Theory Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The fuzzy type theory (FTT) is extended by the description operator whose interpretation is a function which assigns a fuzzy set an element and is thus similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory is obtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of the full FTT. The fuzzy type theory (FTT) is extended by the description operator whose interpretation is a function which assigns a fuzzy set an element and is thus similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory is obtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of the full FTT. (en)
Title	Descriptions in Full Fuzzy Type Theory Descriptions in Full Fuzzy Type Theory (en)
skos:prefLabel	Descriptions in Full Fuzzy Type Theory Descriptions in Full Fuzzy Type Theory (en)
skos:notation	RIV/61988987:17610/03:00000004!RIV/2004/MSM/176104/N
http://linked.open.../vavai/riv/strany	559-569
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM 179000002)
http://linked.open...iv/cisloPeriodika	0
http://linked.open...vai/riv/dodaniDat	2004
http://linked.open...aciTvurceVysledku	Novák, Vilém
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ostravská univerzita v Ostravě / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
http://linked.open...dnocenehoVysledku	603157
http://linked.open...ai/riv/idVysledku	RIV/61988987:17610/03:00000004
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	fuzzy logic; type theory; description operator; fuzzy type theory; defuzzification (en)
http://linked.open.../riv/klicoveSlovo	fuzzy type theory type theory description operator defuzzification fuzzy logic
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[98DBB85C7291]
http://linked.open...i/riv/nazevZdroje	Neural Network World
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...UplatneniVysledku	2003
http://linked.open...v/svazekPeriodika	13
http://linked.open...iv/tvurceVysledku	Novák, Vilém
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20179000002
issn	1210-0552
number of pages	11 (xsd:int)
http://localhost/t...ganizacniJednotka	17610

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software