El objetivo del grupo es el de hacer investigación, desarrollo e innovación en modelos formales y herramientas para el apoyo de los procesos cognitivos de los usuarios de sistemas de información; los temas principales en los que se desarrollan actividades son:
– Razonamiento bajo incertidumbre
– Manejo de inconsistencia
– Razonamiento con preferencias
– Lenguajes ontológicos para la Web Semántica
– Revisión de creencias
– Ciber-seguridad
– Integración de información
– Sistemas híbridos que combinan aprendizaje automático con modelos basados en lógica
– Bases de conocimiento social
Los análisis de tratabilidad computacional (teóricos y prácticos) conducen una parte importante del I+D+i en todos estos temas.

Expositor: Dr. Gerardo I. Simari