Aktionsplan Informatik: Heuristische Suche

• Antragsteller: Professor Dr. Stefan Edelkamp
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2003 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5401158

Die grundlegende Erforschung heuristischer Suchverfahren zur Exploration extrem großer, mitunter unendlicher, sowohl propositionaler als auch numerischer Zustandsräume, steht derzeit in keinem Vergleich zu den erzielten Anfangserfolgen und dem zu erwarteten industriellen Nutzen in den Bereichen des Handlungs- bzw. des Routenplanens, der Robotik, des automatischen Beweisens, der Software- sowie der Hardwareverifikation. Im Rahmen des Aktionsprogramms Informatik der Deutschen Forschungsgemeinschaft ist die in dem Bereich notwendige inhaltliche Flexibilität in Form einer lehrstuhl- und letztendlich hochschulübergreifenden Zusammenarbeit in den Bereichen Algorithmik, Künstliche Intelligenz (KI) und Verifikation am besten zu verwirklichen.

• DFG-Verfahren: Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)