Programación Lógica: Estructura de Tareas y Conductas Robóticas
Posgrado en Ciencia e Ingeniería de la Computación
Universidad Nacional Autónoma de México
Información del Curso
Horario:
Lunes y miércoles de 11:30 a 13:00.
Profesor:
- Dr. Luis Pineda
- Departamento de Ciencias de la Computación
- IIMAS, UNAM
- Tel: 55-5622-3618
- Asesoría previa cita
Ayudante:
- M. en C. Arturo Rodríguez García
- Posgrado en Ciencia e Ingeniería de la Computación
- UNAM
- Asesoría previa cita
Calendario
| Clase | Título | Lecturas |
|---|---|---|
| Ene 26 | Presentación del curso | |
| Ene 28, Feb 4 | Concepto y estructura funcional de un robot de servicio | 1 |
| Feb 9, 11 | Actividad práctica: Propuesta de una librería de conductas para las pruebas de RoboCup@Home 2015 | 1, 2 |
| Feb 16 | Conductas robóticas en el robot Golem-II+ | 1, 2 |
| Feb 18, 23 | SitLog: un lenguaje para la programación de tareas de robots de servicio | 3 |
| Feb 25 | Ejemplos de conductas robóticas en SitLog: la conducta find | 3 |
| Feb 25 | El robot Golem-II+ Sesión práctica | 4 |
| Mar 2 | Ejemplos de conductas robóticas en SitLog: la conducta ask. | 3 |
| Mar 4 | Actividad práctica: Hola Mundo en Golem-II+ | 4 |
| Mar 9 | Representación del conocimiento en un robot de servicio | 5, 6 |
| Mar 11 | Actividad práctica: Status de error y protocolos de recuperación | |
| Mar 18 | Razonamiento no monotónico y una representación del conocimiento con defaults y excepciones | 7 |
| Mar 23 | Actividad práctica: Uso de la base de conocimiento de Golem-II+ | |
| Mar 25, Abr 6 | Diagnóstico, Toma de Decisiones y Planeación | 8 |
| Abr 8, 12 | Especificación de escenarios para una tarea robótica | |
| Abr 20, 22 | Estados, procesos y eventos | |
| Abr 27, 29, May 4 | Propuestas de proyectos finales | |
| May 6, 11, 13, 18, 20 | Implementación del proyecto final en el robot Golem-II+. Revisión de propuestas, avances y resultados. |
Lecturas
- Concept and Functional Structure of a Service Robot. Luis Pineda, Arturo Rodríguez, Gibran Fuentes, Caleb Rascón e Ivan V. Meza, International Journal of Advanced Robotic Systems, 2014. Liga
- Robocup@Home 2015: Rules & Regulations. Loy van Beek, Kai Chen, Dirk Holz, Mauricio Matamoros, Caleb Rascon, Maja Rudinac, Javier Ruiz des Solar, Komei Sugiura, and Sven Wachsmuth. 2015. Liga
- SitLog: A Programming Language for Service Robots Tasks. Luis A. Pineda, Lisset Salinas, Ivan V. Meza, Caleb Rascón and Gibran Fuentes. International Journal of Advanced Robotic Systems, 2013. Liga
- The Golem Team, RoboCup@Home 2013. Luis A. Pineda, Ivan V. Meza, Gibrán Fuentes, Caleb Rascón, Mario Peña, Hernando Ortega, Mauricio Reyes Castillo, Lisset Salinas, Joel Duran, Arturo Rodríguez-García y Varinia Estrada. Proceedings of RoboCup 2013, 2013. Liga
- A Fundamental Tradeoff in Knowledge Representation. and Reasoning. Hector J. Levesque y Ronald J. Brachman. Proc. CSCSI-84, 141-152, 1984. Liga
- Prologue to "Reflection and Semantics in a Procedural Language". Brian C. Smith. Ph.D. Dissertation and Tech. Report MIT/LCS/TR-272, MIT, 1982.
- A Logic of Default Reasoning. Raymond Reiter. Artificial Intelligence, volumen 13, 81-132, 1980. Liga
- Artificial Inteligence a Modern Approach, Stuart Rusell y Peter Norvig, Segunda Edición, Prentice-Hall. Liga