Investigación

Soy doctora en Informática desde 1998 y pertenezco al grupo de investigación AIKE - Inteligencia Artificial e Ingeniería del Conocimiento

Me dedico al estudio de modelos de razonamiento temporal en el ámbito de la IA. En particular, he trabajado en la formalización de lógicas temporales de primer orden, capaces de manipular de forma eficiente restricciones temporales borrosas entre variables. Es decir, la intención ha sido crear un modelo de razonamiento temporal que aúne las ventajas de los modelos algebraicos (eficiencia) con aquellas que poseen los modelos puramente lógicos (expresividad y garantía de consistencia y completitud).

• Inicialmente se definió Fuzzy Temporal Constraint Logic o FTCL, lógica de primer orden con una semántica basada en una extensión de la Lógica Posibilística de D. Dubois y H. Prade y con un principio de resolución capaz de aprovechar las ventajas del modelo de redes de restricciones temporales borrosas o FTCN (Fuzzy Temporal Constraint Networks), porpuesto por R. Marín y S. Barro. Los resultados de este trabajo se publicaron en:
  • M.A. Cárdenas-Viedma, R. Marín and I. Navarrete 2001. “Fuzzy temporal constraint logic: a valid resolution principle”. Fuzzy Sets and Systems 117, 231-250.
  • M.A. Cárdenas-Viedma and R. Marín Morales 2002. “Syntax and semantics for a fuzzy temporal constraint logic”. Annals of Mathematics and Artificial Intelligence 36, 357-380.
• FTCL era una lógica consistente, aunque no completa. Se redefinió su semántica para conseguir que la lógica cumpliera también la propiedad de completitud. De esta forma surgió EFTCL o Extended Fuzzy Temporal Constraint Logic. Este trabajo se publicó en:
  • M.A. Cárdenas-Viedma 2006. “A sound and complete fuzzy temporal constraint logic”. IEEE Trans Syst Man Cybern B Cybern., 36(1):223-8.
• Recientemente se ha definido una lógica diferente, denominada FTCLogic, con la intención de conseguir una sintaxis que integre totalmente al modelo FTCN al tiempo que la simplifica. Por otro lado, se trata de una lógica más operativa y con una semántica distinta, aunque también basada en lógica posibilística. Se ha publicado en:
  • M. A. Cárdenas-Viedma, R. Marín 2018. “FTCLogic: Fuzzy Temporal Constraint Logic”, Fuzzy Set and Systems 363, 84-112.
• FTCLogic permitió definir un lenguaje de programación lógico, denominado PROLogic, al estilo de PROLOG, pero con la capacidad de manejar restricciones temporales borrosas entre variables. Este lenguaje fue implementado por Francisco Manuel Galindo Navarro en Haskell. Hemos dejado la primera versión ejecutable en PROLogic. Por otro lado, hemos publicado un artículo que incluye la descripción del lenguaje, sus fundamentos teóricos, el análisis de complejidad de las diferentes consultas y una evaluación de su aplicación a un ejemplo real basado en la incidencia de Gripe Aviar en:
  • M.A. Cárdenas-Viedma, F.M. Galindo-Navarro 2019. “PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG”, International Journal of Applied Mathematics 32, No. 4, 677-719. Se puede consultar íntegro en http://dx.doi.org/10.12732/ijam.v32i4.10.
• Por otro lado, con la intención de que cualquier usuario no familiarizado con el mundo de la programación (lógica) fuera capaz de aprovechar las ventajas de PROLogic, se definió el DSL visual LeViTe (Lenguaje Visual Temporal). Este lenguaje fue implementado por Domingo Murciano Olivares como trabajo fin de grado, bajo la dirección conjunta del profesor Jesús García Molina y la mía.