Approximate reasoning and generalized quantifiers

Project name in Czech
Přibližná dedukce a zobecněné kvantifikátory
Annotation in Czech
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.

R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics

Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP07-GA0-GA-U/03:2
Data delivery date
Oct 16, 2007

Similar projects(10)