Usuzování se stupňovanými vlastnostmi
Cíle projektu
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.
Klíčová slova
Logicreasoninggraded propertiesvaguenessparadoxesdefeasible logicscounterfactuals
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 22 (SGA0201800001)
Hlavní účastníci
Ústav teorie informace a automatizace AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
18-00113S
Alternativní jazyk
Název projektu anglicky
Reasoning with graded properties
Anotace anglicky
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g. “tall” or “rich”), that is, those that do not establish a clear distinction between objects that satisfy them and those that do not, and hence have blurry boundaries and borderline cases, and generate sorites paradoxes. But also many properties with well-defined boundaries can be seen as graded (e.g. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should, in particular, explain the notion of consequence in scenarios involving graded properties. We aim at developing a logical framework for reasoning with graded properties that, by employing formal tools from mathematical fuzzy logic, goes beyond the simple classical bivalent analysis. In particular, we plan a new analysis of sorites paradoxes, a study of relations to other graded theories in linguistics and an account of counterfactual and defeasible reasoning with graded notions.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)AA - Filosofie a náboženství
Termíny řešení
Zahájení řešení
1. 1. 2018
Ukončení řešení
31. 12. 2023
Poslední stav řešení
—
Poslední uvolnění podpory
24. 4. 2020
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
CEP22-GA0-GA-R
Datum dodání záznamu
22. 2. 2022
Finance
Celkové uznané náklady
5 549 tis. Kč
Výše podpory ze státního rozpočtu
4 381 tis. Kč
Ostatní veřejné zdroje financování
1 168 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
5 549 tis. Kč
Statní podpora
4 381 tis. Kč
78%
Poskytovatel
Grantová agentura České republiky
OECD FORD
Philosophy, History and Philosophy of science and technology
Doba řešení
01. 01. 2018 - 31. 12. 2023