Las facultades de Ingeniería (FI) y Ciencias (FC) organizaron el 15th Latin American Workshop on New Methods of Reasoning LANMR 2023, logic, languages, algorithms, new methods of reasoning, celebrado el 16 y 17 de noviembre, con especialistas de diversos campos de la computación (lenguajes de programación, verificación formal, filosofía, algoritmos e inteligencia artificial) que compartieron avances y reflexionaron en torno a los nuevos métodos de razonamiento.
En el auditorio Javier Barros Sierra se realizó el acto inaugural presidido por la doctora Lourdes González Huesca y el doctor Favio Miranda Perea (FC), y por la FI, el maestro Alejandro Velázquez Mena, jefe de la División de Ingeniería Eléctrica; los doctores Miguel Pérez Gaspar y Everardo Bárcenas Patiño, y la doctora Rocío Aldeco Pérez.
El maestro Velázquez Mena dio la bienvenida a la tercera edición del taller modalidad presencial y virtual que se realiza en la UNAM, cuyo objetivo es difundir líneas de investigación en torno a los métodos de razonamiento. La doctora Aldeco Pérez, jefa del Departamento de Computación, agradeció la disposición de ponentes de la UNAM y otras entidades e invitó al alumnado a aprovechar el evento y conocer aplicaciones de la parte teórica de diversas asignaturas de la carrera.
Por su parte, el doctor Bárcenas, profesor de la FI, aseguró que las licenciaturas en Ciencias de la Computación de la FC e Ingeniería en Computación de la FI se complementan, por lo que este taller ofrece la oportunidad de difundir resultados de trabajos del posgrado en el área para fomentar el interés y la colaboración.
En la primera conferencia, Harnessing Fuzzy Logic for Ensuring Consistency in Ambiguous Instructions within IoT, el doctor Pérez Gaspar habló sobre la manipulación de instrucciones y reglas dentro de Iot para ser consistentes; posteriormente, el doctor Bárcenas presentó A Proof Theory of Converse Modalities, enfocado a las estructuras matemáticas, programas y razonamiento automático.
