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, …more
Abstract:
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

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 Praze
http://www.vse.cz/vskp/eid/19869

Vysoká škola ekonomická v Praze

Master programme / field:
Aplikovaná informatika / Znalostní technologie