Razonamiento Automático

Este campo trabaja con problemas de deducción expresados en algún tipo de Lógica. Actualmente se esta trabajando con lógica clásica, multi-valuadas y de alto orden. El objectivo es encadenar de forma adecuada las inferencias para resolver de forma automática los problemas de deducción. Como los problemas de deducción son complicados de resolver, el análisis y optimización de recursos, principalmente el tiempo, es prioritario.

  • Manejabilidad de formas No Causales
  • Problemas de satisfacción
  • Deducción Automática en Lógicas Multi-valuadas
  • Lógicas de Alto Orden (Problema de Unificación)