CHALLENGE 1
Integration Knowledge, Reasoning and Learning
Bridging the gap between symbolic AI and sub-symbolic AI
Revisit knowledge representation and reasoning methods in the context of massive data and increased computational power
Our challenges
- Planning: generalising solutions to different problems and domains.
- Creation of hybrid optimisation solvers with learning capabilities for large-scale problems.
- Improving conditional, causal, probabilistic, uncertainty, and imprecision reasoning systems.
Our activites
- Formalisms for modelling problems.
- Modelling of academic and real problems.
- Problem-solving with generic methods.
- Development of solvers.
Groups and centers that form it
Instituto de Investigación en Inteligencia Artificial
Instituto de Ciencias Matemáticas
Instituto de Robótica e Informática Industrial