Simulación Lógica


El objetivo es explorar el uso de la lógica y de la matemática en general como lenguaje de simulación de sistemas. De esta manera, formalizaciones que son de uso común en diversas ciencias podrían convertirse en herramientas de simulación y en asistentes para el trabajo científico. Una expresión alternativa es el uso de la lógica para modelado de sistemas o procesos de alta complejidad, como en bioinformática. En ese contexto, antes que simular, los ejercicios de inducción y aprendizaje automático de los modelos son un objetivo de interés científico.

* ¿Qué proyectos se realizaron en el pasado en el CESIMO sobre esta línea ?
El proyecto Galatea incorpora elementos de simulación lógica al permitir el modelado de sus agentes en lógica. Un proyecto de maestría (de Luis Astorga) sentó las bases para un desarrollo aplicado a la lingüística computacional. Y un proyecto Doctoral: Programación Lógica, Inductiva y Progresiva de Modelos Genómicos de José Hérmes López Prato, se dedica a la exploración de los modelos obtenidos por minería de datos. También existe un proyecto para la creación de un tutor automático para la matemática, hecho en matemática: nux.ula.ve/mathematica/ github.com/ULAnux/mathematica&