This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985556%3A_____%2F05%3A00026349%21RIV06-AV0-67985556/
n16http://purl.org/net/nknouf/ns/bibtex#
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n21http://linked.opendata.cz/resource/domain/vavai/zamer/
n4https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985556%3A_____%2F05%3A00026349%21RIV06-AV0-67985556
rdf:type
skos:Concept n19:Vysledek
dcterms:description
Jsou formulovány fuzzy axiomy, inferenční pravidla, sémankita a další specifické vlastnosti čtyř typů fuzzy typů. Je ukázáno, že se jedná o fuzzy logiku vyššího řádu použitelno v přesných formulacích dalších teorií, např. v počítání se slovy, přibližnému usuzování a dalších. In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others. In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.
dcterms:title
Fuzzy type theory as higher order fuzzy logic Teorie fuzzy typů jako fuzzy logika vyššího řádu Fuzzy type theory as higher order fuzzy logic
skos:prefLabel
Fuzzy type theory as higher order fuzzy logic Fuzzy type theory as higher order fuzzy logic Teorie fuzzy typů jako fuzzy logika vyššího řádu
skos:notation
RIV/67985556:_____/05:00026349!RIV06-AV0-67985556
n3:strany
21;26
n3:aktivita
n17:P n17:Z
n3:aktivity
P(GA201/04/1033), Z(AV0Z10750506)
n3:dodaniDat
n6:2006
n3:domaciTvurceVysledku
n10:9836691
n3:druhVysledku
n14:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n8:predkladatel
n3:idSjednocenehoVysledku
522351
n3:idVysledku
RIV/67985556:_____/05:00026349
n3:jazykVysledku
n9:eng
n3:klicovaSlova
fuzzy type theory; fuzzy logic; LPi-logic; Lukasiewicz logic
n3:klicoveSlovo
n5:Lukasiewicz%20logic n5:fuzzy%20type%20theory n5:LPi-logic n5:fuzzy%20logic
n3:kontrolniKodProRIV
[60A1FC2D50F9]
n3:mistoKonaniAkce
Phuket
n3:mistoVydani
Bangkok
n3:nazevZdroje
Proceedings ot fhe 6th International Conference on Inteligent Technologies
n3:obor
n7:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n15:GA201%2F04%2F1033
n3:rokUplatneniVysledku
n6:2005
n3:tvurceVysledku
Novák, Vilém
n3:typAkce
n18:WRD
n3:zahajeniAkce
2005-12-14+01:00
n3:zamer
n21:AV0Z10750506
s:numberOfPages
6
n16:hasPublisher
Assumption University of Bangkok
n4:isbn
974-615-226-2