Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI (Research Project)
Funding organization: Vienna Science and Technology Fund (WWTF)
Call: Information and Communication Technologies (ICT- 19)
Project number: ICT19-065 (Reveal-AI)
Stefan Szeider (PI)
Stefan Woltran (co-PI)
At the core of several critical areas of AI and reasoning are hard-to-solve computational problems, such as the processing of constraints, carrying out sound reasoning tasks, and the verification of the correctness of procedures and protocols. All these problems are in general intractable and pose a challenge to algorithm design, even more as today’s applications demand more extensive problem inputs be solved. This requires new and more robust algorithms to facilitate further progress in technological innovation. Fortunately, typical problem inputs tend to contain some form of hidden structure, as the problem data is usually the product of a process. This research project is about revealing this hidden structure and utilizing it for an efficient solution.