Un marco formal para la programación implícita de robots

• Autores: Jorge Elías Morales V., Jorge A. Villalobos S.
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 820-828
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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]