|
|
Algebraické aspekty fuzzy logiky
Víta, Martin ; Hájek, Petr (vedoucí práce) ; Kučera, Luděk (oponent)
V této práci studujeme filtry na algebrách fuzzy logik jejich možná využití. Zobecňujeme pojmy implikativního/pozitivního implikativního/ fantastického filtru na BL-algebrách zavedením pojmu R-S-filtru na algebrách implikativních logik. Zformulujeme a dokážeme některé vlastnosti R-S-filtrů a následně ukážeme souvislost charakterizace R-S-filtru s alternativní axiomatizací dané logiky. Dále popíšeme způsoby, jak lze pomocí R-S-filtrů ekvivalentně charakterizovat konkrétní algebry implikativních logik. Ukážeme, že výsledky publikované v článcích [1] a [3] jsou jednoduché důsledky těchto zobecnění. Dalším tématem této práce jsou uniformní prostory a uniformní topologie nad algebrami implikativních logik. Zde filtry slouží k vytvoření tzv. Leibnitzovských kongruencí. Množina těchto kongruencí na dané algebře je (sub)bází uniformity, kterou následně zkoumáme. V této části ukazujeme, že výsledky uvedené v článcích [2] a [4] se dají snadno zobecnit pro libovolné implikativní logiky.
|
|
|
Vektorová reprezentace výzkumných projektů
Mikuláš, Pavel ; Vidová Hladká, Barbora (vedoucí práce) ; Víta, Martin (oponent)
V této práci se zabýváme počítačovým zpracováním dat o výzkumných projektech financovaných ze státního rozpočtu. Porovnáme různé metody převedení nestrukturova- ných textových dat do vektorových reprezentací a pokusíme se v datech nalézt různé struktury. Velký důraz bude kladen na měření podobnosti a shlukování projektů. Práce je experimentální a měla by sloužit jako ukázka postupu zpracování velkého množství objektů reálného světa pomocí metod statistiky a strojového učení. 1
|
|
|
Algebraické aspekty fuzzy logiky
Víta, Martin ; Kučera, Luděk (oponent) ; Hájek, Petr (vedoucí práce)
V této práci studujeme filtry na algebrách fuzzy logik jejich možná využití. Zobecňujeme pojmy implikativního/pozitivního implikativního/ fantastického filtru na BL-algebrách zavedením pojmu R-S-filtru na algebrách implikativních logik. Zformulujeme a dokážeme některé vlastnosti R-S-filtrů a následně ukážeme souvislost charakterizace R-S-filtru s alternativní axiomatizací dané logiky. Dále popíšeme způsoby, jak lze pomocí R-S-filtrů ekvivalentně charakterizovat konkrétní algebry implikativních logik. Ukážeme, že výsledky publikované v článcích [1] a [3] jsou jednoduché důsledky těchto zobecnění. Dalším tématem této práce jsou uniformní prostory a uniformní topologie nad algebrami implikativních logik. Zde filtry slouží k vytvoření tzv. Leibnitzovských kongruencí. Množina těchto kongruencí na dané algebře je (sub)bází uniformity, kterou následně zkoumáme. V této části ukazujeme, že výsledky uvedené v článcích [2] a [4] se dají snadno zobecnit pro libovolné implikativní logiky.
|
|
| |
|
|
NCMPL 2011 Abstracts
Cintula, Petr ; Ju, S. ; Víta, Martin
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
|
host ::
RSS.