Radio UNAM Podcast:Ingeniería en marcha

Serie: Ingeniería en marcha

Audio: 26 Ingenieria Marcha Sistemas Inteligentes M060824

Ficha técnica
Descripción	Divulgación de las actividades académicas, de investigación, culturales y deportivas de la Facultad de Ingeniería
Invitados	Dr. Everardo Barcenas Patiño, Profesor de la FI Boris Schoemann, Charly Medina, Lucía Oliver e Ivanna Montalban
Institución productora	Radio UNAM
Institución coproductora	Facultad de Ingeniería de la UNAM
Género radiofónico	Revista informativa
Resumen	Los sistemas de cómputo de la actualidad requieren considerar una gran variedad de variables contextuales, las cuales alimentan un módulo de inferencia, el cual permite tomar decisiones y ejecutar determinadas acciones, de acuerdo al propósito del sistema. Por ejemplo un sistema de navegación para automóviles, el sistema debe considerar variables de ubicación geográfica, temporales y de tráfico para poder determinar cual es la mejor ruta a seguir para determinado destino. Otra instancia de este tipo de sistemas son los IoT (internet de las cosas), como los de las llamadas casas inteligentes. Estos sistemas están equipados con una multitud de sensores como de humedad, temperatura, contaminación. También consideran una variedad de actuadores, como un aire acondicionado, luces, alarmas, etc. Estos sistemas, por ejemplo, pueden encender el aire acondicionado de una casa inteligente a partir de ciertos valores de temperatura y humedad. Debido a la complejidad de este tipo de sistemas inteligentes, errores ya sea de diseño o implementación pueden causar que el sistema no funcione correctamente. Por ejemplo, si no se considera en la etapa de diseño de un sistema de casa inteligente que un sensor de temperatura puede fallar (por defectos de fabricación, por ejemplo), esto puede causar que el aire acondicionado se encienda en frío aún a temperaturas bajas. Este tipo de errores en sistemas críticos, como un sistema de navegación, pueden causar incluso la pérdida de vidas humanas. Por otro lado, los métodos formales son una familia de técnicas, principalmente matemáticas, para la especificación y verificación de sistemas, ya sean de software o hardware. La especificación de un sistema consiste en el modelado abstracto del sistema, en términos de un lenguaje formal, como pueden ser una lógica, un cálculo o un álgebra. La verificación consiste en la determinación, por ejemplo a través de una prueba matemática, si el modelo abstracto del sistema funciona correctamente. En otras palabras, los métodos formales permiten garantizar el correcto funcionamiento de los sistemas. En este proyecto se propone el estudio de métodos formales en el contexto de los sistemas inteligentes. Se consideran dos vertientes para este estudio. Por un lado, se pretenden estudiar fragmentos y/o extensiones de lógicas modales, descriptivas, paraconsistentes y de separación como lenguajes de especificación formal. También se considera el desarrollo e implementación de algoritmos de verificación basados en estas lógicas. En la segunda vertiente, se propone el estudio de herramientas de verificación maduras, tales como razonadores de lógicas descriptivas y verificadores de modelos de lógicas temporales, en el contexto de verificación de sistemas inteligentes. Algunos de los sistemas de nuestro interés comprenden los basados en cadenas de bloques (blockchain) y del internet de las cosas (IoT). El pueblo de Mier es asediado por enfrentamientos entre diversos grupos de narcotráfico y el Ejército intenta desalojar a los últimos habitantes que se han habituado a la situación y continúan con sus vidas como si nada sucediera. Una noche, llega un visitante inesperado, cuya presencia augura un cambio radical en la situación y pone a los habitantes en una encrucijada que definirá sus destinos.
Producción	Pedro Mateos Pérez
Contenido	comentarios Dr. Everardo Barcenas Patiño Cortinilla: Ingeniería en Marcha Pedro Mateos efemerides Pedro Mateos comentarios Boris Schoemann (vía telefónica), Charly Medina, Lucía Oliver, Ivanna Montalban.
Conductores	Jorge Solano Gálvez , Sandra Corona Loya
Duración	00:59:25