Lógica y razonamiento

La actividad de este grupo se centra en la modelización lógica y matemática del razonamiento, con atención especial a la lógica difusa matemática, los modelos de incertidumbre, la lógica para información incompleta y la argumentación computacional, y el diseño de algoritmos eficientes para la resolución de problemas de satisfacción y optimización por métodos basados en SAT, restricciones y metaheurísticas.

Miembro del departamento que colabora en el grupo: Pilar Dellunde (investigación en lógicas y ética para la IA).