Resumen de Un marco formal para la programación implícita de robots
Jorge Elías Morales V., Jorge A. Villalobos S.
Se presenta una formalización de los conceptos usados para describir los elementos del mundo de operación de un robot. Dichos conceptos pueden ser usados en una presentación formal de un lenguaje implícito de programación, basado en especificación de planes de solución de tareas, en terminos de acciones, las cuales son traducidas en operaciones de robot [8]. Además, se incorpora el concepto de rasgos de ensamblaje (features), como información adicional para facilitar el proceso de traducción de las tareas de ensamble, tal y como está en las propuestas de manejo de rasgos de [7], [2] y [10]
