Usuzování se stupňovanými vlastnostmi

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

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.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AA - Filosofie a náboženství

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

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

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č