Modelování vágních kvantifikátorů v matematické fuzzy logice
Cíle projektu
Vágní kvantifikátory (např. "málo", "mnoho" či "zhruba polovina") představují závažný problém při automatickém zpracování přirozeného jazyka. Navržení uspokojivé teorie vágních kvantifikátorů vyžaduje vytvoření formálních modelů a posouzení jejich adekvátnosti z hlediska lingvistiky, strojového odvozování a začlenitelnosti do širších logických systémů; tento výzkumný úkol zahrnuje náročné problémy v oblasti informatiky, logiky, lingvistiky i analytické filosofie. Fuzzy logika, založená na pojmu stupňů pravdivosti, poskytuje matematické metody pro modelování některých aspektů vágnosti; její využívání pro práci s vágními kvantifikátory však doposud z velké části opomíjelo možnosti deduktivních systémů studovaných v rámci matematické fuzzy logiky. Cílem projektu je prohloubit a rozšířit matematické základy modelování vágních kvantifikátorů pomocí aparátu a metod matematické fuzzy logiky, včetně dvojúrovňové modální logiky, herní sémantiky a metod strojového usuzování.
Klíčová slova
generalized quantifiersvaguenessmathematical fuzzy logicgame semanticsproof theoryautomated reasoning
Veřejná podpora
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
Alternativní jazyk
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.
Vědní obory
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
(dle převodníku)10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
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.
Termíny řešení
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
Dodání dat do CEP
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
Finance
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č
Základní informace
Uznané náklady
6 071 tis. Kč
Statní podpora
6 071 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
IN - Informatika
Doba řešení
01. 12. 2015 - 31. 07. 2019