Lògica i raonament

L'activitat d'aquest grup se centra en la modelització lògica i matemàtica del raonament, amb atenció especial a la lògica difusa matemàtica, els models d'incertesa, la lògica per a informació incompleta i l'argumentació computacional, i el disseny d'algorismes eficients per a la resolució de problemes de satisfacció i optimització per mètodes basats en SAT, restriccions i metaheurístiques.

Membre del departament que hi col·labora: Pilar Dellunde (recerca en lògiques i ètica per a la IA).