Systémy morfismů nad Gödelovou fuzzy logikou
Systémy morfismů nad Gödelovou fuzzy logikou
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/70888Identifikátory
SIS: 110409
Kolekce
- Kvalifikační práce [22841]
Autor
Vedoucí práce
Oponent práce
Haniková, Zuzana
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
17. 9. 2014
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Angličtina
Známka
Velmi dobře
Klíčová slova (česky)
Systémy morfismů, Fuzzy kategorie, Fuzzy množiny, Fuzzy relace, Gödelova fuzzy logikaKlíčová slova (anglicky)
Systems of morphisms, Fuzzy categories, Fuzzy sets, Fuzzy relations, Gödel fuzzy logicV práci jsou zavedeny některé velice základní pojmy teorie kategorií budované nad prvořádovou Gödelovou fuzzy logikou (s ostrou rovností a delta operá- torem). Fuzzy varianta klasického pojmu kategorie je uvážena. Následně je defi- nováno a prozkoumáno několik systémů morfismů volně vycházejících z ostrých kategorií Rel a Set. Všechny uvažované systémy tudíž obsahují fuzzy množiny jako objekty a různé druhy binárních fuzzy relací jako morfismy. Náš přístup je logicky-založené stupňované zobecnění ostrých (klasických) kategoriálně-teore- tických přístupů k fuzzy množinám, které byly iniciovány Goguenem. 1
This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1
Citace dokumentu
Metadata
Zobrazit celý záznamSouvisející záznamy
Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.
-
Fuzzy logika v matematickém modelu stability měřického bodu =Fuzzy logic in the mathematical model of survey point stability
Hánek, Pavel (2009)Možná aplikace matematického modelu využívajícího fuzzy logiku pro hodnocení kvality určovaného bodu a vyřčení výroku o jeho stabilitě. Pomocí tohoto matematického modelu lze měřické body a jejich posuny začlenit do většího ... -
Multikriteriálne rozhodovanie pomocou fuzzy množín v prostredí GIS a jeho využitie v archeologickej predikcii =Multicriteria Decision Making Using Fuzzy Sets in GIS Environment and Its Application in the Archaeological Prediction
Ďuračiová, Renata; Lieskovský, Tibor; Kročková, Kristína; Sabo, Miroslav (2011) -
Formalizace relace odvoditelnosti pro výrokové fuzzy logiky
Výsledek obhajoby: OBHÁJENORévay, Petr (Univerzita Karlova, Filozofická fakulta, 2016)Datum obhajoby: 1. 2. 2016Tato bakalářská práce předkládá formalizaci relace odvoditelnosti fuzzy logiky BL v prostředí matematického asistenta Isabelle/HOL a počítačově ověřené důkazy některých teorémů a meta-teorémů této logiky. Zároveň poskytuje ...