Booleovské techniky v reprezentaci znalostí

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 19 (SGA0201500001)

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

15-15511S

Název projektu anglicky

Boolean techniques in knowledge representation

Anotace anglicky

This is a basic research project in which we plan to work on theoretical problems which belong to the areas of knowledge compression and knowledge compilation in case the knowledge representation is based on Boolean functions. A partial list of concrete open problems we want to concentrate on is specified in the project description. The problem areas of our interest are as follows: 1) Knowledge compression - finding space eficient representations of knowledge bases. Various representations based on Boolean functions may be considered - formulas (of many types, especially conjunctive normal forms), circuits, truth tables, decision diagrams. 2) Knowledge compilation - translating a knowledge base into a representation which is suitable for an efficient answering of various types queries. A number of possible target languages may be considered depending on the type of knowledge and the type of queries, e.g. asking whether a clause is entailed by a given knowledge representation, or whether two knowledge representations are logically equivalent.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

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

Hodnocení poskytovatelem

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

Zhodnocení výsledků projektu

V rámci projektu bylo dosaženo původních výsledků v oblasti reprezentace znalostí, které mohou v informatice nalézt četná uplatnění. Množství publikačních výstupů je spíše skromné; pozitivně lze hodnotit fakt, že dva z nich byly přijaty na špičkovou konferenci v oblasti umělé inteligence. Finanční prostředky byly čerpány v souladu s pravidly.

Zahájení řešení

1. 1. 2015

Ukončení řešení

31. 12. 2017

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

11. 4. 2017

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

CEP18-GA0-GA-U/02:1

Datum dodání záznamu

4. 5. 2018

Celkové uznané náklady

2 430 tis. Kč

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

2 430 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč