Information and Communication Technology 2019ICT19-065

Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI


Principal Investigator:
Institution:
Co-Principal Investigator(s):
Stefan Woltran (Vienna University of Technology)
Status:
Laufend (01.03.2020 – 31.03.2025)
GrantID:
10.47379/ICT19065
Fördersumme:
€ 566.900

An vielen Schlüsselstellen der Informations- und Kommunikationstechnik werden neue und immer mächtigere Algorithmen benötigt, um den weiteren technologischen Fortschritt zu gewährleisten. Dies gilt besonders im Bereich der künstlichen Intelligenz, wo sich viele nicht handhabbare Berechnungsprobleme ergeben, wie zum Beispiel beim Optimieren von Entscheidungen unter der Berücksichtigung von Einschränkungen, beim automatisierten probabilistischen Schließen, und bei der Überprüfung der Sicherheit von Algorithmen und Protokollen. Dieses Forschungsprojekt beschäftigt sich damit, für solche Probleme neue Lösungsalgorithmen zu entwickeln und sowohl theoretisch als auch empirisch zu bewerten. Der verfolge Ansatz baut auf der Einsicht auf, dass Problemeingaben meistens nicht zufällig sind, sondern das Resultat von Prozessen, und deshalb gewisse strukturelle Eigenschaften aufweisen. Diese Eigenschaften gilt es auszunutzen, um die Probleme effizient zu lösen.

 
 
Wissenschaftliche Disziplinen: Theoretical computer science (50%) | Artificial intelligence (50%)

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind technisch notwendig, während andere uns helfen, diese Website zu verbessern oder zusätzliche Funktionalitäten zur Verfügung zu stellen. Weitere Informationen