Reprezentace booleovských funkcí úplné vzhledem k jednotkové propagaci

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 23 (SGA0201900001)

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-19463S

Název projektu anglicky

Boolean Representation Languages Complete for Unit Propagation

Anotace anglicky

This is a basic research project in which we plan to work on problems in the area of knowledge compilation. We consider a particular case of knowledge compilation where the knowledge base is represented by a boolean function, usually in a conjunctive normal form (CNF) formula. We plan to study a compilation of such a formula into another CNF formula which is complete for unit propagation. More precisely, we will consider compilation into the target language of unit refutation complete formulas (URC), the language of propagation complete formulas (PC), and the corresponding variants of encodings with auxiliary variables, namely URC and PC encodings. The goal of this project is to solve theoretical questions related to compilation into URC or PC representation or encoding and develop a compiler for this task. To this end we shall develop and test algorithms and heuristic for automatic compilation. The outputs of this project will be published in journal and conference papers.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Ne všechny cíle byly zcela splněny, ale projekt vedl k zásadním příspěvkům v naplánovaných směrech a jeho vědecký přínos je uspokojivý. S finanční stránkou věci nebyly žádné problémy.

Zahájení řešení

1. 1. 2019

Ukončení řešení

30. 6. 2022

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 4. 2022

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

CEP23-GA0-GA-U

Datum dodání záznamu

26. 6. 2023

Celkové uznané náklady

6 019 tis. Kč

Výše podpory ze státního rozpočtu

4 789 tis. Kč

Ostatní veřejné zdroje financování

1 230 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč