Predikátové škálované logiky a jejich aplikace v informatice
Cíle projektu
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze výroky, které jsou buď pravdivé, nebo nepravdivé. Výrokové logiky škálovaných pojmů (jako je např. vysoký či bohatá) byly v uplynulých dvou desetiletích důkladně studovány, ale jejich predikátové extenze (zahrnující mj. modality nebo kvantifikátory) jsou stále pouze částečně prozkoumané a jen zřídka aplikované na konkrétní informatické problémy. Hlavním cílem navrženého projektu je rozvinout teorii a aplikace predikátových škálovaných logik. Vybudujeme obecný matematický rámec pro studium těchto logik a budeme aplikovat dosažené výsledky v následujících informatických problémech obsahujících škálované pojmy: v reprezentaci vágních a neurčitých znalostí, problémech splňování s ohodnocenými omezujícími podmínkami a modelování koaličních her.
Klíčová slova
logics for computer sciencenon-classical logicsmany-valued logicsfuzzy logicspredicate logicsuncertaintyvalued constraint satisfaction problemsgame theorymodel theory of weighted structures
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 21 (SGA0201700001)
Hlavní účastníci
Ústav teorie informace a automatizace AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
17-04630S
Alternativní jazyk
Název projektu anglicky
Predicate graded logics and their applications to computer science
Anotace anglicky
Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false. Propositional logics of graded notions (such as tall, rich, etc.) have been deeply studied for over two decades but their predicate extensions (accommodating, among others, modalities and quantifiers) are still only very partially developed and scarcely applied to particular computer science problems. The overall goal of the proposed project is to develop predicate graded logics in two complementary directions: (1) studying logical systems in full generality in order to provide a solid mathematical framework and (2) applying achieved results to three particular problems in computer science which heavily involve graded notions: representation of vague and uncertain knowledge, valued constraint satisfaction problems, and modelling of coalition games.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
BA - Obecná matematika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Termíny řešení
Zahájení řešení
1. 1. 2017
Ukončení řešení
31. 12. 2021
Poslední stav řešení
—
Poslední uvolnění podpory
22. 5. 2019
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
CEP21-GA0-GA-R/13:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
6 926 tis. Kč
Výše podpory ze státního rozpočtu
5 714 tis. Kč
Ostatní veřejné zdroje financování
1 212 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
6 926 tis. Kč
Statní podpora
5 714 tis. Kč
82%
Poskytovatel
Grantová agentura České republiky
CEP
IN - Informatika
Doba řešení
01. 01. 2017 - 31. 12. 2021