Reasoning with graded properties
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 22 (SGA0201800001)
Main participants
Ústav teorie informace a automatizace AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
18-00113S
Alternative language
Project name in Czech
Usuzování se stupňovanými vlastnostmi
Annotation in Czech
Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou vágní vlastnosti (např. „vysoký“ nebo „bohatá“), u kterých není ostře vymezená hranice mezi objekty, které tuto vlastnost (ještě) mají a těmi, které (už) ji nemají. Tato absence ostré hranice pak vede ke známému paradoxu hromady. Jako stupňované lze ale vnímat i vlastnosti, které přesně vymezené jsou (např. "ostrý úhel" nebo "vinen"). Logika, chápaná jako věda o správném usuzování, by měla popsat pojem důsledku i v kontextech zahrnujících stupňované vlastnosti. Naším cílem je vyvinout logický rámec pro usuzování v kontextech obsahujících stupňované vlastnosti, který díky použití formálních nástrojů matematické fuzzy logiky překračuje omezené možnosti klasického dvouhodnotového přístupu. Konkrétně plánujeme novou analýzu paradoxů hromady, porovnání našeho přístupu s lingvistickými stupňovanými teoriemi, a výklad kontrafaktuálního a nemonotónního usuzování v těchto kontextech.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AA - Philosophy and religion
Solution timeline
Realization period - beginning
Jan 1, 2018
Realization period - end
Dec 31, 2023
Project status
—
Latest support payment
Apr 24, 2020
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
CEP22-GA0-GA-R
Data delivery date
Feb 22, 2022
Finance
Total approved costs
5,549 thou. CZK
Public financial support
4,381 thou. CZK
Other public sources
1,168 thou. CZK
Non public and foreign sources
0 thou. CZK