Análisis y Optimización para sistemas de manufactura(Carmen G) EJ24
OBJETIVO: El principal objetivo de este curso es introducir al estudiante al modelado, optimización y simulación y mostrar cómo estos conceptos se aplican al estudio y análisis de sistemas de manufactura para la toma de decisiones. La introducción de modelos de optimización y algoritmos enmarca un amplio rango de cuestiones que se presentan en los sistemas de manufactura.
Los métodos de simulación probabilísticos son también una herramienta poderosa para el estudio, análisis y diseño de sistemas de manufactura. El segundo objetivo es exponer a los estudiantes a un amplio rango de aplicaciones para estos métodos y modelos, e integrar este material con una introducción a la administración de operaciones. El tercer objetivo es mejorar el pensamiento analítico del estudiante y preparar al alumno para el resto de la currícula de la Maestría en Manufactura.
Diseño de Agentes Inteligentes
Descripción del Curso.
El principal objetivo de este curso es mostrar como modelar e implementar Agentes Inteligentes operando en ambientes dinámicos mediante Lógica No Monotónica. El Agente será capaz de resolver problemas no triviales de computación, utilizando el conocimiento que tenga el Agente acerca del mundo y de sí. Como caso de estudio se abordarán problemas de Planificación, Scheduling y Diagnóstico.
Se estudiarán los lenguajes declarativos Prolog y Answer Set Programming (ASP), resaltando las características y diferencias entre la sintaxis, la semántica y el método de solución de ambos lenguajes del lenguaje declarativo Answer Set Programming (ASP). Se estudiará también como modelar e implementar soluciones a problemas combinatorios en ASP y Prolog, destacando las fortalezas y desventajas de estos lenguajes declarativos para resolver este tipo de problemas. Durante el curso se dará también una introducción a la técnica Multi-shot. Con esta técnica, ASP es usado como el motor de resolución y permite enlazar otros elementos de software escritos en diferentes lenguajes de programación tales como Pyhthon, Lua y C. Mediante Multi-shot se puede establecer una interfaz entre el usuario y/o los sensores de un sistema y controlar la ejecución del solver clingo.
