| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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. (en)
- 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.
|
| Title
| - Approximate reasoning and generalized quantifiers (en)
- Přibližná dedukce a zobecněné kvantifikátory
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| |
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...okUkonceniPodpory
| |
| http://linked.open...okZahajeniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...jektu+dodavatelem
| - 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 (cs)
- 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 (en)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)