Ústav teorie informace a automatizace

Jste zde

Usuzování se škalovanými vlastnostmi

Řešitel: 
Agentura: 
GACR
Identifikační číslo: 
GA18-00113S
Zahájení: 
01.01.2018
Ukončení: 
31.12.2020
Zaměření projektu.: 
teoretický
Typ projektu (EU): 
other
Abstrakt: 
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.
Publikace ÚTIA: 
seznam
05.10.2018 - 09:27