Dear all,
Armin Sdorra
will deliver the next Oberseminar (13th February,10:00, via Zoom):
Title: „Analyse eines Inkonsistenzmaßes auf minimalen 3-wertigen Modellen“
Abstract: Ein Inkonsistenzmaß ist eine Funktion, die einer Menge aussagenlogischer Formeln eine nichtnegative Zahl
zuweist, die den Grad der Inkonsistenz dieser Formelmenge angibt. Solch ein Inkonsistenzmaß kann beispielsweise dazu genutzt werden, um Fehler in einer logischen Wissensbasis zu analysieren und Reparaturempfehlungen oder Empfehlungen zur Anwendbarkeit zu geben.
In der Literatur sind bereits eine Reihe von konkreten Ansätzen zur Inkonsistenzmessung untersucht. Viele der Maße beurteilen Inkonsistenz anhand minimaler inkonsistenter Teilmengen der Wissensbasen. Es gibt jedoch wenige Ansätze, die Inkonsistenzen messen,
die auf Konflikten zwischen einzelnen Aussagen basieren. Wir wählen deshalb einen neuen Ansatz, der auf einer 3-wertigen Logik basiert. Es ist eine Variante zum Contension Maß. Neben den klassischen Wahrheitswerten \emph{true} und \emph{false}, wird \emph{both}
als dritter Wahrheitswert zugelassen. Den neuen Ansatz untersuchen wir auf Eigenschaften, Ausdrucksstärke und Komplexität.
Prof. Dr. Ute Schmid
(invited by Prof. Dr. Matthias Thimm)
will deliver the Oberseminar (14th February,10:00, via Zoom):
Title:
„Lernen mit, über und trotz KI“
Abstract: KI-Systeme finden in immer mehr Lebensbereichen Anwendung und sind spätestens seit ChatGPT auch im Bildungsbereich angekommen. Zum einen können KI-Tools individuelles Lernen unterstützen, zum anderen auch bei Unterrichtsvorbereitung, bei Korrekturen und beim Unterrichtsmanagement unterstützen. Unter dem Begriff "Intelligente Tutorsysteme" (ITS) wird KI-gestütztes Lernen bereits seit den 1980er Jahren erforscht und auch im Unterricht zum Einsatz gebracht. Klassische, wissensbasierte Methoden wurden über die Zeit durch Methoden des maschinellen Lernens ergänzt und inzwischen auch mit generativen Ansätzen kombiniert. KI-gestütztes Lernen kann -- richtig um- und eingesetzt -- Lernprozesse sinnvoll unterstützen. Im Vortrag gehe ich zunächst auf allgemeine Anforderungen an KI Systeme im Bildungsbereich ein und gebe dann Beispiele für verschiedene ITSs. Zudem präsentiere ich erste Arbeiten aus dem Projekt pAIrProg zum Einsatz von Codegeneratoren im Kontext des Informatikstudiums.
**We cordially ask the attendees to turn on their cameras and turn off their microphones during the presentation.
---
Current Scheduled Talks ----
If you do not wish to receive messages from this mailing list anymore, please let me know by simply responding „unsubscribe“ to this mail (steffi.bluemel@fernuni-hagen.de).
Best regards,
Steffi Blümel
- Sekretariat -
----------------------------------------------------
FernUniversität in Hagen
Fakultät Mathematik und Informatik /
Lehrgebiet Künstliche Intelligenz
Universitätsstraße 1
58097 Hagen
Fon: + 49 23 31 - 9 87 40 06
E-Mail:
steffi.bluemel@fernuni-hagen.de