Přibližná dedukce a zobecněné kvantifikátory

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 6 (SGA02004GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Approximate reasoning and generalized quantifiers

Anotace anglicky

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 ofthem, 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 asa 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.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

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

Zahájení řešení

1. 1. 2004

Ukončení řešení

1. 1. 2006

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP07-GA0-GA-U/03:2

Datum dodání záznamu

16. 10. 2007

Celkové uznané náklady

1 180 tis. Kč

Výše podpory ze státního rozpočtu

1 180 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč