Modeling vague quantifiers in mathematical fuzzy logic
Project goals
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.
Keywords
generalized quantifiersvaguenessmathematical fuzzy logicgame semanticsproof theoryautomated reasoning
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
M2 - International cooperation
Contract ID
15-34650L
Alternative language
Project name in Czech
Modelování vágních kvantifikátorů v matematické fuzzy logice
Annotation in Czech
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í.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
—
10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The final evaluation of LA projects is based on an agreement with Austrian partner Agency Fonds zur Förderung der Wissenschaftlichen Forschung (FWF). FWF acts a Lead Agency. The evaluation is carried out adequately as an international evaluation within the meaning of Section 7 (4) of Act No. 130/2002 Coll. on the Promotion of Research, Experimental Development and Innovation, as amended.
Solution timeline
Realization period - beginning
Dec 1, 2015
Realization period - end
Jul 31, 2019
Project status
U - Finished project
Latest support payment
Apr 5, 2017
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP20-GA0-GF-U/01:1
Data delivery date
Aug 28, 2021
Finance
Total approved costs
6,071 thou. CZK
Public financial support
6,071 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
6 071 CZK thou.
Public support
6 071 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 12. 2015 - 31. 07. 2019