Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí
Název práce v češtině: | Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí |
---|---|
Název v anglickém jazyce: | Non-standard representations of Boolean functions for knowledge compilation |
Klíčová slova: | Booleovské funkce|Jazyky pro reprezentaci znalostí|Kompilace znalostí |
Klíčová slova anglicky: | Boolean functions|Knowledge representation languages|Knowledge compilation |
Akademický rok vypsání: | 2023/2024 |
Typ práce: | diplomová práce |
Jazyk práce: | |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | prof. RNDr. Ondřej Čepek, Ph.D. |
Řešitel: | Jelena Glišić - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 14.11.2023 |
Datum zadání: | 20.11.2023 |
Datum potvrzení stud. oddělením: | 20.11.2023 |
Datum odevzdání elektronické podoby: | 30.04.2024 |
Oponenti: | RNDr. Petr Kučera, Ph.D. |
Zásady pro vypracování |
The student will read the recommended papers and other related literature as needed and will try to include the nearest neighbor representation languages into the knowledge compilation map. In particular the student will try to establish the complexity of (some of) standard queries and transformations and establish succinctness relations to some of the known knowledge representation languages. |
Seznam odborné literatury |
[1] Adnan Darwiche and Pierre Marquis. A knowledge compilation map. J.Artif. Intell. Res., 17:229–264, 2002.
[2] Péter Hajnal, Zhihao Liu, and Gyorgy Turán. Nearest neighbor representations of boolean functions. Inf. Comput., 285(Part B):104879, 2022. [3] Ondřej Čepek and Miloš Chromý. Properties of Switch-List Representations of Boolean Functions. J.Artif. Intell. Res., 69:501-529, 2020. |