Heuristic search

点击翻译按钮获取中文摘要

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.