A formal theory of intermediate generalized quantifiers – Mgr. Petra MURINOVÁ
Mgr. Petra MURINOVÁ
Doctoral thesis
A formal theory of intermediate generalized quantifiers
A formal theory of intermediate generalized quantifiers
Abstract:
This thesis studies the formal theory of the, so called, intermediate quantifiers. We introduce Lukasiewicz fuzzy type theory (denoted by LFTT) based on a linearly ordered MV-algebra extended by delta operation. We formally prove validity of all the 105 generalized syllogisms. Finally, we proposed the definitions of contrary, sub-contrary and contradictory in LFTT which are appropriate for description …viacAbstract:
Práce se zabívá studiem formální teorie intermediálních kvantifikátorů. Uvedeme Lukasiewiczovu fuzzy teorii typů (LFTT), která je založena na MV-algebře s deltou. Dokážeme, že všech 105 zobecněných sylogismů jsou formálně dokazatelné v LFTT. V závěru práce navrhneme definice opaku, protikladu a podopaku v LFTT, pomocí nichž ukážeme vztahy mezi zobecněnými intermediálními kvantifikátory.
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 12. 7. 2011
Zverejniť od: 12. 7. 2011
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 12. 2011
- Vedúci: prof. Ing. Vilém Novák, DrSc.
Citační záznam
Jak správně citovat práci
MURINOVÁ, Petra. A formal theory of intermediate generalized quantifiers. Ostrava, 2011. disertační práce (Ph.D.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 12.7.2011
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 12. 7. 2011 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceDoctoral programme / odbor:
Applied Mathematics / Fuzzy Modelling
Práce na příbuzné téma
-
Teorie fuzzy modelů a jejich využití a interpretace pro rozvoj cykloturistiky v Jihomoravském kraji
Pavel Kolisko -
Algoritmy pro inferenční systémy založené na fuzzy teorii typů
Jakub KALOČ -
Fuzzy modely skupinového rozhodování
Kristýna KRÁLOVÁ -
Fuzzy regulátor
Hana Machů -
Využití fuzzy logiky pro studii bezpečnostních hrozeb a rizik fyzické ochrany
Libor Hadáček -
Fuzzy GUHA
Martin Ralbovský