05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6

Browse

Publication Type: search.filters.UBSTyp.HabilitationStart date: 2021

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    ItemOpen Access
    Circuit complexity of group theoretic problems
    (2021) Weiß, Armin; Diekert, Volker (Prof. Dr. rer. nat.)
    In dieser kumulativen Habilitationsschrift werden sechs Arbeiten zum Thema "Schaltkreiskomplexität von Gruppentheoretischen Problemen" zusammengefasst. An vorderster Stelle steht hierbei das Wortproblem: Gegeben ein Wort über den Erzeugern einer Gruppe, ist die Frage, ob das Wort das Einselement der Gruppe darstellt. Daneben werden noch weitere Probleme, wie das Konjugationsproblem, das Power-Wortproblem (wie das Wortproblem, aber die Eingabe wird in komprimierter Form gegeben) und das Lösen von Gleichungen betrachtet. Die meisten der hier zusammengefassten Arbeiten betrachten die genannten Probleme für spezielle Klassen von Gruppen und klassifizieren deren Komplexität mit Methoden der Schaltkreiskomplexität. Eine Ausnahme bildet die letzte Arbeit zum Thema Gleichungen: hier liegt der Zusammenhang zur Schaltkreiskomplexität darin, dass sich das Erfüllbarkeitsproblem für Gleichungen in endlichen auslösbaren Gruppen ähnlich verhält wie das Erfüllbarkeitsproblem für CC^0 Schaltkreise.
  • Thumbnail Image
    ItemOpen Access
    Engineering AI planning systems
    (2024) Georgievski, Ilche; Aiello, Marco (Prof. Dr.)
    Planning and acting adaptively in complex environments is fundamental to human intelligence. We navigate such complexity by simulating, evaluating, and selecting among possible courses of action using internal models of the world. The field of AI planning seeks to computationally reproduce this form of intelligent behavior. This habilitation thesis presents research on engineering AI planning systems that can effectively address complex, real-world problems, with the broader objective of enabling users to design, develop, and operate such systems. The thesis offers and advocates for a holistic approach to AI planning, one that integrates algorithmic, knowledge, and systems engineering to support the entire lifecycle of planning technology, from conceptualisation to deployment. By bridging foundational research with real-world application, it strives to widen the academic dialogue around AI planning and to establish a pathway toward making AI planning technology a practical tool for innovation. The habilitation thesis is cumulative and accompanied by an executive summary synthesising insights from sixteen publications. The executive summary begins by outlining the research context, key challenges, and research approach employed. It then turns to the published contributions, with particular focus on systems engineering and knowledge engineering, including methodological and artefactual advancements. These contributions are supported by applied research in the domain of smart energy systems. The summary concludes by reflecting on the implications of the work and offering directions for future work.
  • Thumbnail Image
    ItemOpen Access
    Datenanalysen für industrielle Anwendungsfälle : Datencharakteristika und Nutzung von Domänenwissen
    (2025) Reimann, Peter; Mitschang, Bernhard (Prof. Dr.-Ing. habil.)
    Der inhaltliche Schwerpunkt der vorliegenden Arbeit liegt im Bereich des Datenmanagements sowie der Datenanalyse für industrielle Anwendungsfälle aus dem produzierenden Gewerbe. Die in solchen industriellen Anwendungsfällen verfügbaren Daten weisen komplexe Charakteristika auf, die gängige Verfahren zum Datenmanagement und zur Datenanalyse vor Herausforderungen stellen. Beispiele für solche Datencharakteristika sind, dass häufig nur sehr wenige Daten zur Verfügung stehen oder dass die hohe Produktvielfalt in Unternehmen zu einer höheren Anzahl und Komplexität der in den Daten auftretenden Muster führen kann. In dieser Arbeit werden die häufigsten domänenspezifischen und komplexen Datencharakteristika vorgestellt und kategorisiert. Zudem wird aufgezeigt, dass diese Datencharakteristika, wenn sie nicht adäquat adressiert werden, zu mäßigen Analyseergebnissen führen, z.B. zu einer geringen Vorhersagegenauigkeit in einer Klassifikation. Als weiterer Schwerpunkt wird in dieser Arbeit der Stand der Wissenschaft hinsichtlich grundlegender Ansätze zur Nutzung von formal repräsentiertem Domänenwissen in die drei Schritte Datenakquise, Datenvorbereitung und Datenanalyse von Datenanalyseprozessen untersucht. Es wird diskutiert, inwieweit diese Ansätze die komplexen Datencharakteristika industrieller Anwendungsfälle adressieren können, um somit die Qualität von Analyseergebnissen zu erhöhen. Betrachtete Wissensrepräsentationsformen sind Fallbasen, Regelbasen, Glossare, semantische Netze wie Ontologien oder Wissensgraphen, probabilistische Graphen sowie mathematische Simulationsmodelle. Die untersuchten Ansätze schließen u.a. Ansätze zur Nutzung einer Regelbasis, semantischer Netze oder Simulationsmodelle zum Feature-Engineering, zur Festlegung der Labels in Daten oder für weitere Schritte der Datenakquise, Datenvorbereitung oder der Datenanalyse ein. Die Diskussionen werden mit Evaluationsergebnissen auf Basis realer industrieller Anwendungsfälle und Daten untermauert.