Se analizarán avances en Lógica, Lenguaje, Algoritmos y nuevos métodos de Razonamiento

La Facultad de Ciencias Físico Matemáticas de la BUAP será sede del Sexto Taller Latinoamericano sobre Lógica, Lenguaje, Algoritmos y Nuevos Métodos de Razonamiento (LANMR), donde los asistentes podrán  discutir temas en áreas formales de la informática, intercambiar  ideas,  facilitar la interacción, así como presentar trabajos innovadores teóricos y aplicaciones originales.

La Doctora Claudia Zepeda Cortés, Profesora Investigadora de la Facultad de Ciencias de la Computación, afirmó que este evento no tiene costo y está dirigido a investigadores y estudiantes de áreas afines, así como público interesado.

Los temas a abordar serán: Lógica de programación y el razonamiento no monotónico; Algoritmos aplicados a la lógica; Respuesta conjunto de programación; Representación del conocimiento; Creencia de representación; Lógica paraconsistente y Técnicas de deducción, entre otros.

Los especialistas invitados presentarán ponencias sobre investigaciones en áreas relacionadas con la lógica y la computación. Tal es el caso de Torsten Shaub, investigador del Institut für Informatik Universität Potsdam, de  Alemania, quien se destaca por su trabajo en bases teóricas para la aplicación práctica de los métodos de razonamiento a partir de información incompleta o inconsistente.

La integrante del Comité Directivo del evento indicó que algunos temas son de divulgación y otros son muy especializados, “por lo que los asistentes requerirán conocimientos básicos en el área”.

Zepeda Cortés explicó que igualmente “los alumnos presentarán las investigaciones que realizan las que podrán recibir comentarios de otros estudiantes y académicos”.

Se hará una selección de las ponencias que se presenten en el Sexto Taller Latinoamericano sobre Lógica, Lenguaje, Algoritmos y Nuevos Métodos de Razonamiento, los que serán publicados en un número especial que editará  Fundamenta Informaticae, que es una revista internacional de información sobre los fundamentos matemáticos de la informática.

Este evento organizado por la BUAP, UDLAP y UAM-Ixtapalapa se efectuará los días 4 y 5 de noviembre en el auditorio de la Facultad de Ciencias Físico Matemáticas de la Máxima Casa de Estudios de Puebla.