Diplomarbeit
Diplomarbeit
Titel: An Extension of RATH to Explore And Apply Goguen Categories
Zusammenfassung:
Im Jahre 2002 wurden Goguen-Kategorien zur kategorientheoretischen Behandlung von L-Fuzzy Relationen vorgeschlagen. In dieser Arbeit wird das RATH-System (entwickelt an der Universität der Bundeswehr München) erweitert. Diese Erweiterung ermöglicht die Behandlung von Goguen-Kategorien. Darüber hinaus wird im Kontext von Goguen-Kategorien ein formales Modell für Fuzzy Controller entwickelt. Ausgehend von wohldefinierten Operationen wird gezeigt, dass diese Operationen sich unter gewissen Umständen sehr schön verhalten. Schließlich werden noch Haskell-Module für Verbände, L-Fuzzy Relationen und Fuzzy Controller entwickelt. Letztere können als eigenständiges Paket, d.h. ohne die Verwendung von RATH, eingesetzt werden.
Downloads:
- diplthes.pdf - Die Diplomarbeit
- lr_src..zip - Stand-alone Module für Verbände, und L-Fuzzy Relationen
- full_src.zip - Der gesamte Quellcode zur Einbindung in RATH
- RATH-1.0.tar.gz - RATH Version 1.0
