Inicio > Áreas de I+D+I

Lógica Computacional e Inteligencia Artificial

• Líneas tecnológicas:
• Aplicación de métodos formales a la verificación automática de sistemas inteligentes (sistemas expertos, bases de conocimiento, sistemas de razonamiento y sistemas de aprendizaje automático), sistemas industriales críticos, protocolos de seguridad y componentes de software.
• Aprendizaje automático mediante programación lógica inductiva y análisis formal de conceptos.
• Herramientas para la edición y gestión de tutores inteligentes en la Web.
• Director del equipo de trabajo: José Antonio Alonso Jiménez
• Más información: jalonso@us.es