Spornost fuzzy logických teorií v odvozovacích systémech – Petr Havlíček
Petr Havlíček
Master's thesis
Spornost fuzzy logických teorií v odvozovacích systémech
Consistency of fuzzy logic theories of inference systems
Abstract:
Tato práce se zabývá zkoumáním spornosti zvláštní omezené třídy fuzzy logických teorií reprezentujících odvozovací systém. Tato třída je v práci vymezena jako teorie obsahující zejména speciální axiomy odpovídající pravidlům v odvozovacím systému a ohodnocené atomy odpovídající datům o případu. Práce využívá funkcionálního přístupu a zabývá se třemi fuzzy logickými kalkuly, a to logikou Gödelovou, …moreAbstract:
This thesis focus on consistency of a specific class of fuzzy logic theories that represent certain inference system. This class of theories is defined as theories containing especially so called special axioms representing rules of modeled inference system and evaluated set of formulas representing case data. Functional approach is used to develop three popular fuzzy calculi: the Gödel logic, Łukasiewicz …more
Language used: Czech
Date on which the thesis was submitted / produced: 3. 6. 2009
Identifier:
http://www.vse.cz/vskp/eid/19869
Thesis defence
- Date of defence: 1. 2. 2010
- Supervisor: Jiří Ivánek
- Reader: Petr Jirků
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Vysoká škola ekonomická v Prazehttp://www.vse.cz/vskp/eid/19869
Vysoká škola ekonomická v Praze
Master programme / field:
Aplikovaná informatika / Znalostní technologie