Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen

Abstract

ZusammenfassungIn der modernen Hochschullandschaft ist die effiziente Verwaltung von Informationsbeständen ein zentrales Anliegen der Digitalisierung. In diesem Beitrag argumentieren wir, dass der Einsatz symbolischer künstlicher Intelligenz (KI) besonders geeignet ist, um eine konsistente Repräsentation von Studien- und Prüfungsordnungen (StPO) zu erzeugen und effektiv zu nutzen, und demonstrieren dies am Einsatz der formalen Spezifikationssprache SemaLogic. In der Einleitung erläutern wir, auf welche übergreifenden Probleme der Digitalisierung der Hochschullandschaft wir uns konzentrieren, wie unser Ansatz beschaffen ist und welche spezifischen Anwendungsanforderungen bestehen. Im Hauptteil stellen wir unseren Lösungsansatz im Detail vor: SemaLogic ermöglicht eine maschinenlesbare und formalsprachliche Repräsentation von Regelwerken, sodass eine Validierung und dynamische Visualisierung der Strukturen sowie darauf aufbauende Prozesse wie die Studienverlaufsplanung und die Qualitätssicherung während der Curriculumentwicklung möglich werden. Durch seine flexible Anpassung auf der Ebene von Symbolen, Tokens und Syntax rückt SemaLogic die formale Sprache in die Nähe natürlichsprachlicher Eingaben, was den Einsatzbereich erheblich erweitern sollte. Am Ende des Beitrags gehen wir detailliert auf Anwendungsszenarien eines KI-Assistenzsystems für die individuelle Studienverlaufsplanung oder das Qualitätsmanagement und die Unterstützung von Studienreformen ein. Der Beitrag verdeutlicht, dass die Vorteile einer flexiblen, symbolischen Repräsentation von Regelwerken im Lebenszyklus der Hochschulbildung in Datensparsamkeit, Ressourcenschonung und Interoperabilität mit existierenden Campus-Management-Systemen bestehen und sie damit übergreifende Wirkung in der Digitalisierung der Hochschullandschaft hat.