Algoritmus generující operace ve vícehodnotové logice
Algorithm to Generate Operations in Many-Valued Logic
Type of document
bakalářská prácebachelor thesis
Author
Kozák Jan
Supervisor
Petrík Milan
Opponent
Navara Mirko
Field of study
Informatika a počítačové vědyStudy program
Otevřená informatikaInstitutions assigning rank
katedra kybernetikyDefended
2017-06-19Rights
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item recordAbstract
Monoidy s lineárním uspořádáním (zkráceně tomonoidy) jsou matematickou strukturou, která může mimo jiné popisovat sémantiku konečných fuzzy logik. Cílem této práce je implementovat v jazyce C/C++ algoritmus popsaný Milanem Petríkem a Thomasem Vetterleinem v~článcích "Rees coextensions of finite, negative tomonoids" a "Algorithm for generating finite totally ordered monoids", jenž k libovolnému tomonoidu vygeneruje všechna jeho jednoprvková rozšíření, tzv. reesovské koextenze, která jsou opět tomonoidy. Tímto způsobem je v principu možné vygenerovat všechny reprezentace konečných fuzzy logik, nicméně časová náročnost algoritmu je exponenciální v závislosti na počtu prvků tomonoidu. Práce se tedy také zabývá možnostmi paralelizace procesu a vhodným způsobem ukládání vygenerovaných výsledků. Cílovou platformou implementace je operační systém Linux. Totally ordered monoids (abbreviated as tomonoids) are mathematical structures which can be utilized - among other - to describe semanthics of finite-valued fuzzy logics. Main goal of the thesis is an implementation of the algorithm described by Milan Petrík and Thomas Vetterlein in articles ''Rees coextensions of finite, negative tomonoids'' and ''Algorithm for generating finite totally ordered monoids'' in C/C++. The algorithm generates one-element extensions (called Rees coextensions) to a given tomonoid which are, in turn, tomonoids as well. Using this approach it is possible - in principle - to create all the representations of finite-valued fuzzy logics, however the time complexity of the algorithm is exponential in respect to the cardinality of tomonoid. Due to this fact the thesis also considers parallelization of the algorithm and an appropriate method of storing the generated results. The target implementation platform is the Linux operating system.
Collections
- Bakalářské práce - 13133 [777]