KI-Nachwuchswissenschaftlerinnen Mit der Bekanntmachung „Förderung von KI-Nachwuchswissenschaftlerinnen“ vom 19. Juni 2019 wird das Ziel verfolgt, den Anteil qualifizierter Frauen in Führungspositionen der deutschen KI-Forschung zu steigern und den Einfluss von Wissenschaftlerinnen auf das Themengebiet nachhaltig zu stärken. Die Erforschung von KI-Fragestellungen zu neuartigen und innovativen Themen durch Nachwuchsgruppen, die von Frauen geleitet werden, steht im Fokus. Nachwuchswissenschaftlerinnen aus den Fachbereichen Informatik, Mathematik, Physik, Linguistik, Neuro- und Kognitionswissenschaften, Psychologie oder angrenzender Fachgebiete sowie aus KI bezogenen Spezialisierungen in Anwendungsgebieten werden gefördert, um die Forschung zum Thema KI in Deutschland weiter voranzubringen und um die verantwortungsvolle Beteiligung von herausragend qualifizierten Frauen im Wissenschaftssystem weiter zu erhöhen. Mit der Förderung der Nachwuchsgruppen soll den Wissenschaftlerinnen die Möglichkeit gegeben werden, eigenständige Forschung zu betreiben, ihr wissenschaftliches Profil zu stärken und ihre Sichtbarkeit zu erhöhen. Programmierung zur Behebung von Suchproblemen Ein zentrales traditionelles Forschungsfeld der KI ist die effiziente Suche nach Lösungen komplexer Probleme, welche eine Reihe formal spezifizierter Anforderungen (so genannter „Constraints“) erfüllen. Einen sehr vielversprechenden, in Pilotprojekten bereits praktisch vielfach bewährten Ansatz, zur generischen Modellierung und Lösung von komplexen Problemen, stellt das Answer Set Programming (ASP) dar. ASP ist ein aus der Logikprogrammierung hervorgegangenes Verfahren zur Wissensrepräsentation und Wissensverarbeitung. Durch die kontinuierliche Weiterentwicklung in den letzten Jahren können heute kombinatorischer Suchprobleme effizient durch ASP gelöst werden. Dabei kann es je nach Umfang des zu lösenden Problems sehr rasch zu einer „kombinatorischen Explosion“ der Menge von Lösungen kommen. Während moderne ASP Verfahren problemlos mehrere Millionen von Lösungen in kurzer Zeit berechnen können, stellt dies den Anwender vor ein neues Problem: Wie soll der enorme Lösungsraum gehandhabt und zugänglich gemacht werden? Typischerweise werden die „Answer Sets“ in beliebiger Reihenfolge ausgegeben. Jedoch sind viele dieser Lösungen sehr ähnlich. In der Praxis sind hingegen oft nur Lösungen von Interesse, die sich hinreichend voneinander unterscheiden, die besondere Eigenschaften aufweisen oder die einer gegebenen Menge von Lösungen ähnlich sind. Solche Features werden allerdings bis jetzt noch nicht von ASP Solvern unterstützt.