Qualifikationsziele:
• Kenntnis der grundlegenden Techniken, Heuristiken und Algorithmen auf dem Gebiet der Künstlichen Intelligenz, sowohl für symbolische als auch für Mustererkennungsprobleme.
• Kenntnis von Methoden und Verfahren der fachdidaktischen Reduktion (Umsetzen in Unterrichtselemente wie Aufgabenstellungen, Beispiele, Veranschaulichung und Vereinfachung).
Inhalt:
Suchverfahren für die Lösung kombinatorischer Aufgaben, Prädikatenlogik und ihre Mechanisierung, Resolution und Theorembeweise, Wissensbasierte- und Expertensysteme, Diffuse Logik, Mensch-Maschinen-Schnittstellen, Mustererkennung insbesondere für Handschrift und für gesprochene Sprache.