Ústav teorie informace a automatizace

Predicate graded logics and their applications to computer science

Vedoucí projektu: Carles Noguera, Ph.D.
Oddělení: MTR
Podporováno (ID): GA17-04630S
Poskytovatel: Grantová agentura ČR
Trvání: 2017 - 2019
Publikace na UTIA: list

Abstrakt:

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.
Odpovědnost za obsah: MTR
Poslední změny: 16.05.2017
Ustav teorie informace a automatizace