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:

home