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. Zoom Room: https://eur05.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffernuni-hagen.zoom.us%2Fj%2F62388524887%3Fpwd%3DWmJRRUpDZWZ4WlJoeFlGQTBESWplQT09&data=05%7C02%7Csteffi.bluemel%40fernuni-hagen.de%7C42fe776c1f324ba6b7aa08dc223844de%7Cc2bba033db424b299adb6ac379499ef7%7C1%7C0%7C638422872265614676%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=X%2F4UFs7fFH%2BIDLw7SsgOOqv3FUyNoCPE7k9B7YFDaGE%3D&reserved=0<https://fernuni-hagen.zoom.us/j/62388524887?pwd=WmJRRUpDZWZ4WlJoeFlGQTBESWplQT09> --- Current Scheduled Talks ---- * 13th February, Armin Sdorra, MSc defense * 14th February, Ute Schmid, invited speaker * 20th February, Jonathan Walther, BSc proposal * 3rd March, Julian Sander, BSc proposal * 13th March, Marcel Traser, MSc proposal * 20th March, Jean-Guy Mailly, invited speaker 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<mailto: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<mailto:steffi.bluemel@fernuni-hagen.de>