Offerings for Bachelor and Master theses (in German)
Die folgende Liste stellt einige ausgew?hlte Themenbereiche aus dem Gebiet Smart Environments vor. Sollten Sie innerhalb dieses Gebietes eine Studienarbeit durchführen wollen, finden aber ihr Wunschthema nicht auf der Liste, dann nehmen Sie bitte unbedingt 188bet亚洲体育备用_188体育平台-投注*官网 auf, um ein für beide Seiten interessantes Thema finden zu k?nnen. Die den Themen zugeordneten Tabellen sollen einen groben Anhaltspunkt geben, welche Kompetenzen für ein Thema besonders relevant sind.
Grunds?tzlich finden sich immer spannende Aufgaben für alle, die
- die Software SparQ durch bessere Algorithmen und bessere Programmierung voranbringen
- an der Schnittstelle zwischen Hard- und Software arbeiten m?gen, insbesondere im Bereich Serviceroboter
- sich für wissensbasierte Systeme, intelligente Agenten und Interaktion mit diesen interessieren
Es findet im folgenden keine Unterteilung in Bachelor- und Masterarbeit bzw. Thema für ein Lehrprojekt statt, da jedes Thema individuell angepasst werden kann.
Erkennen benannter geographischer Objekte in Texten
In der Nachbildung von Textverstehen müssen Eigennamen von St?dten, Flüssen oder Pl?tzen zuverl?ssig erkannt werden und in Verbindung mit einem Datensatz gebracht werden (z.B. OpenStreetMap). Ziel dieser Arbeit w?re eine Verbindung zwischen Komponenten der Sprachverarbeitung und geographischen Datenbanken herzustellen und zu untersuchen, inwieweit eine automatische Zuordnung erfolgen kann.
Hardware | |
---|---|
Systemzauberei | ++ |
Algorithmik und Programmierung | ++ |
Mathematik und Logik | + |
Intrinsische Referenzsysteme erkennen – Wo ist vor dem Rathaus?
Einige Objekte definieren ein eigenes r?umliches Bezugsystem, genannt intrinsisches Referenzsystem: hinter dem Steuer bezeichnet zum Beispiel den Fahrersitz im Auto, obwohl aus der typischen Blickweise der Fahrerin oder des Fahrers sich hinter dem Steuer das Armaturenbrett befindet. Ziel dieser Arbeit soll sein, anhand frei verfügbarer Information einen Klassifikator zu entwickeln oder zu trainieren, der für geographische Objekte bestimmt, ob diese einen derartigen Referenzrahmen definieren und wie dieser orientiert ist.
Hardware | |
---|---|
Systemzauberei | ++ |
Algorithmik und Programmierung | ++ |
Mathematik und Logik | + |
Stadt, Land, Fluss – Semantische Integration r?umlicher Datenquellen
In einem Forschungsprojekt wollen wir Ortsbeschreibungen (etwa Gaustadt grenzt nordwestlich an Bamberg) automatisiert interpretieren. Um Datenquellen mit r?umlicher Information wie etwa OpenStreetMap oder Wikipedia in Algorithmen gemeinsam nutzen zu k?nnen, müssen die Konzepte (etwa Stadt, Land, Fluss) aufeinander abgebildet werden k?nnen. Ziel dieser Arbeit ist, die in Datenquellen vorhandenen Konzepte durch Abbildung von Ontologien zu integrieren und eine einheitliche Schnittstelle zu entwickeln. Eine Herausforderung dabei ist die Handhabung von nicht deckungsgleichen Konzepten. Beispielsweise benennt Stadt umgangssprachlich eine gr??ere Siedlung, schlie?t aber unter Umst?nden eingemeindete Randbezirke aus, auch wenn diese (Gaustadt im Beispielsatz oben) Teil eines Verwaltungsbezirkes mit Stadtrecht sind.
Hardware | |
---|---|
Systemzauberei | ++ |
Programmierung und Algorithmik | +++ |
Mathematik und Logik |
Analyse algebraischer Eigenschaften qualitativer Kalküle
In letzter Zeit wurden einige neue qualitative Kalküle vorgeschlagen, die noch nicht vollst?ndig untersucht sind. Kalküle umfassen dabei eine Menge an symbolischen Relationen zur Beschreibung von r?umlichem oder zeitlichem Wissen sowie Operationen zum Herleiten neuer Information. Durch Bereitstellung der neuen Kalküle in unserer Inferenzmaschine SparQ lassen sich die wichtigen Eigenschaften untersuchen. Dies ist notwendig um zu bestimmen, welche Algorithmen für Inferenz anwendbar sind.
Hardware | |
---|---|
Systemzauberei | + |
Algorithmik und Programmierung | + |
Mathematik und Logik | +++ |
Kalkülspezifische Optimierung constraint-basierter Inferenz
Verschiedene qualitative Kalküle erlauben spezielle Optimierung in der symbolischen Inferenz auf Basis von Constraints. Durch Anpassung unserer Inferenzmaschine SparQ an die jeweiligen Besonderheiten l?sst sich somit eine h?here Effizienz erreichen. Im Falle einiger neu untersuchten Kalküle ist so überhaupt erst eine korrekte Inferenz m?glich.
Hardware | |
---|---|
Systemzauberei | + |
Algorithmik und Programmierung | ++ |
Mathematik und Logik | ++ |
Effiziente Inferenzalgoritmen
Es soll untersucht werden, in wie weit aktuelle Suchverfahren aus dem Bereich der künstlichen Intelligenz eine Effizienzsteigerung von symbolischem qualitativen Schlussfolgern erlauben. Das ultimative Ziel soll sein, effizient mit gro?en Mengen qualitativer Information umgehen zu k?nnen.
Hardware | |
---|---|
Systemzauberei | + |
Algorithmik und Programmierung | +++ |
Mathematik und Logik | + |
Sprache in der Mensch-Roboter-Interaktion
Situierte Systeme wie mobile Roboter sollen mit Menschen unter Verwendung von natürlicher Sprache interagieren k?nnen. Dazu ben?tigen Sie die F?higkeit, intuitive beschreibende Ausdrücke (z.B. "die Tasse links vom Laptop") generieren zu k?nnen. Im Rahmen eines Kooperationsprojektes sollen dazu verschiedene Modelle für beschreibende Ausdrücke und Referenzrahmen untersucht werden. Dazu soll eine visuelle Objekterkennung entwickelt werden, die gem?? spezifizierter Modelle das Zutreffen einer Beschreibung beurteilt.
Hardware | |
---|---|
Systemzauberei | ++ |
Algorithmik und Programmierung | ++ |
Mathematik und Logik | + |
Automatische Generierung von Wegbeschreibungen
Für einen Informationskiosk für Besucher von ?ffentlichen Geb?uden und Gel?nden (z.B. ERBA-Campus) soll ein Verfahren entwickelt werden, dass natürlichsprachliche Routeninstruktionen generieren kann. Im Unterschied zu inkrementellen Systemen wie z.B. aus dem Auto bekannte Navis muss die Beschreibung vor Antritt der Reise komplett übermittelt werden. Deshalb muss darauf geachtet werden, dass die Beschreibung gut zu memorieren und m?glichst eindeutig ist.
Hardware | |
---|---|
Systemzauberei | + |
Algorithmik und Programmierung | ++ |
Mathematik und Logik | ++ |
Roboterarm für komplexe Manipulationsaufgaben
Für einen Roboterarm mit 6 Freiheitsgraden soll eine Motorsteuerung entwickelt werden, die geschmeidige Bewegungen erlaubt. Auf dieser Basis soll im Rahmen eines Forschungsprojektes Interaktion von Mensch und Roboter untersucht werden. Eine Anbindung des Systems an das Robot Operating System (ROS) ist ebenfalls wünschenswert.
Hardware | ++ |
---|---|
Systemzauberei | + |
Algorithmik und Programmierung | ++ |
Mathematik und Logik |
SparQ als ROS-Paket
Qualitative Formalismen und Inferenzmethoden wie sie durch unsere Inferenzmaschine SparQ bereitgestellt werden sind zunehmend relevant für die Robotik. Aus diesem Grund soll eine Anbindung von SparQ an das Robot Operating System (ROS) stattfinden.
Hardware | |
---|---|
Systemzauberei | +++ |
Algorithmik und Programmierung | ++ |
Mathematik und Logik |