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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
n6http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n21http://linked.opendata.cz/resource/domain/vavai/soutez/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F04%2F1033/
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://linked.opendata.cz/ontology/domain/vavai/cep/
n12http://linked.opendata.cz/resource/domain/vavai/aktivita/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GA201%2F04%2F1033
rdf:type
n8:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/04/1033
dcterms:description
Obecný cíl tohoto grantu je pokračovat ve vývoji teorie přibližné dedukce a rozšířit ji o použití zobecněných kvantifikátorů. Grant se zaměří na řešení následujících problémů: 1. Rozšíření fuzzy logiky na fuzzy teorii typů, zkoumání její úplnosti vzhledem k obecným modelům, další rozšíření na fuzzy intenzionální logiku a vytvoření modelu některých vybraných částí sémantiky přirozeného jazyka. 2. Rozšíření fuzzy logiky o zobecněné kvantifikátory, studium jejich speciálních tříd specifických pro fuzzy logiku. 3. Studium metod přibližné dedukce (PD) s cílem přispět k vývoji unifikované teorie: (a) PD jako různé druhy řešení rovnic s fuzzy relacemi v modelech fuzzy logiky, (b) PD jako formální dedukce za neurčitosti (vágnosti) založené na použití přirozeného jazyka, formalizace v rámci fuzzy intenzionální logiky, (c) Přibližná dedukce podle (a) a (b) se zobecněnými kvantifikátory. The general goal of this grant is to continue development of the theory of approximate reasoning and to extend it by generalized quantifiers. The grant is focused on solution of the following problems: 1. Extension of fuzzy logic to fuzzy type theory, its completeness with respect to general models, further extension to fuzzy intensional logic and development of model of some selected parts of natural language semantics. 2. Extension of fuzzy logic by generalized quantifiers, study of special classes of them, which are specific for fuzzy logic. 3. Study of approximate reasoning methods (AR) with the goal to contribute to development of a unified theory: (a) AR as various kinds of solutions to fuzzy relation equations in models of fuzzy logic, (b) AR as a formal deduction under indeterminacy (vagueness) based on the use of natural language, formalization within fuzzy intensional logic, (c) approximate reasoning due to (a) and (b) with generalized quantifiers.
dcterms:title
Approximate reasoning and generalized quantifiers Přibližná dedukce a zobecněné kvantifikátory
skos:notation
GA201/04/1033
n4:aktivita
n12:GA
n4:celkovaStatniPodpora
n5:celkovaStatniPodpora
n4:celkoveNaklady
n5:celkoveNaklady
n4:datumDodatniDoRIV
2007-10-16+02:00
n4:druhSouteze
n20:VS
n4:duvernostUdaju
n7:S
n4:fazeProjektu
n14:2314650
n4:hlavniObor
n15:BA
n4:hodnoceniProjektu
n10:U
n4:kategorie
n6:ZV
n4:klicovaSlova
Neuvedeno.
n4:partnetrHlavni
n16:orjk%3A17610
n4:pocetKoordinujicichPrijemcu
0
n4:pocetPrijemcu
1
n4:pocetSpoluPrijemcu
0
n4:pocetVysledkuRIV
28
n4:pocetZverejnenychVysledkuVRIV
28
n4:rokUkonceniPodpory
n11:2006
n4:rokZahajeniPodpory
n11:2004
n4:sberDatUcastniciPoslednihoRoku
n11:2006
n4:sberDatUdajeProjZameru
n11:2007
n4:soutez
n21:SGA02004GA-ST
n4:statusZobrazovaneFaze
n9:DUU
n4:typPojektu
n19:P
n4:zhodnoceni+vysledku+projektu+dodavatelem
The grant has been focused on fulfilling of the following goals: (1) Study of fuzzy logic in narrow sense (FLn), its extension to fuzzy type theory (FTT) and modeling of the semantics of selected parts of natural language, (2) Extension of FLn by general Grant byl zaměřen na řešení následujících cílů: (1) Studium fuzzy logiky v užším smyslu (FLn), její rozšíření o fuzzy teorii typů (FTT) a modelování sémantiky vybraných částí přirozeného jazyka, (2) Rozšíření FLn o zobecněné kvantifikátory, studium jejic
n4:zivotniCyklusProjektu
n17:ZBKU