Modelování vágních kvantifikátorů v matematické fuzzy logice

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní grantové projekty hodnocené na principu LEAD Agency

Veřejná soutěž

—

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

M2 - Mezinárodní spolupráce

Číslo smlouvy

15-34650L

Název projektu anglicky

Modeling vague quantifiers in mathematical fuzzy logic

Anotace anglicky

Vague quantifiers like `many', `few', or `about a half' present a major problem in natural language processing. Designing a satisfactory theory of vague quantifiers requires to construct formal models and evaluate them with regard to linguistic adequateness, automated deduction, and embeddability in logical frameworks. This constitutes a serious research challenge involving computer science, logic, linguistics, and analytic philosophy. The fuzzy logic paradigm, based on the notion of degrees of truth, provides a mathematical apparatus for dealing with several aspects of vagueness. The applications of fuzzy methods to vague quantifiers have so far largely neglected the potential of deductive systems studied by mathematical fuzzy logic. The aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers by employing formalisms and results of mathematical fuzzy logic, including modal logics with two-level syntax, game-theoretic semantics, and automated reasoning techniques.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

BA - Obecná matematika

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<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem

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

Zhodnocení výsledků projektu

Závěrečné hodnocení projektů LA probíhá na základě dohody s rakouskou partnerskou agenturou Fonds zur Förderung der wissenschaftlichen Forschung (FWF), která je zároveň „Lead agenturou“ přiměřeně jako mezinárodní hodnocení ve smyslu ustanovení § 7 odst. 4 zákona č. 130/2002 Sb., o podpoře výzkumu, experimentálního vývoje a inovací, ve znění pozdějších předpisů, u této zahraniční agentury.

Zahájení řešení

1. 12. 2015

Ukončení řešení

31. 7. 2019

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

5. 4. 2017

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

CEP20-GA0-GF-U/01:1

Datum dodání záznamu

28. 8. 2021

Celkové uznané náklady

6 071 tis. Kč

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

6 071 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč