Boolean techniques in knowledge representation
Project goals
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.
Keywords
Knowledge representationknowledge compressionknowledge compilationBoolean functionspropagation completeness
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
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
Basic information
Recognised costs
2 430 CZK thou.
Public support
2 430 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2015 - 31. 12. 2017