Boolean techniques in knowledge representation
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 19 (SGA0201500001)
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
15-15511S
Alternative language
Project name in Czech
Booleovské techniky v reprezentaci znalostí
Annotation in Czech
Toto je projekt základního výzkumu, v němž se plánujeme zaměřit na řešení teoretických problémů spadajících do oblastí komprese a kompilace znalostí, a to v případě, kdy reprezentace znalostí je založena na booleovských funkcích. Částečný seznam konkrétních otevřených problémů, na které se chceme zaměřit, je uveden v popisu projektu. V projektu se chceme zaměřit na následující oblasti: 1) Komprese znalostí - hledání prostorově úsporných reprezentací znalostních bází. Uvažujeme různé typy reprezentací založené na booleovských funkcích - formule (mnoha typů, zejména konjunktivní normální formy), obvody, pravdivostní tabulky, rozhodovací diagramy. 2) Kompilace znalostí - překlad znalostní báze do podoby, která je vhodná pro zodpovídání různých typů dotazů. Uvažujeme mnoho typů cílových jazyků překladu v závislosti na typu znalostí a dotazů, můžeme se například ptát, zda je daná klauzule důsledkem dané reprezentace znalostí nebo zda dvě reprezentace jsou logicky ekvivalentní.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project achieved original research results in the area of knowledge representation. The publication output of the project is modest, but two of the published papers were accepted to a world-leading conference in artifical intelligence. Financial resources have been used accordingly.
Solution timeline
Realization period - beginning
Jan 1, 2015
Realization period - end
Dec 31, 2017
Project status
U - Finished project
Latest support payment
Apr 11, 2017
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP18-GA0-GA-U/02:1
Data delivery date
May 4, 2018
Finance
Total approved costs
2,430 thou. CZK
Public financial support
2,430 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK