Symbolic and Subsymbolic Algorithmic Techniques for Modern Artificial Intelligence
Program
Studentská grantová soutěž ČVUT
Departments
Investigators
Period
2026 - 2028
Description
The project is aimed at supporting the research of doctoral students at the Department of Applied Mathematics at the Faculty of Information Technology. The topics that the doctoral students are working on include symbolic artificial intelligence techniques based on reasoning in models of the world, but also subsymbolic techniques that synthesize reasoning from training data. Within the project, we would like to connect these two paradigms as much as possible, on the symbolic side to use more available data to create models, and on the subsymbolic side not to rely entirely on machine learning, but also to address the explainability and safety of the proposed techniques.