|
Guía DocenteCurso Facultade de Informática |
| Grao en Enxeñaría Informática |
 Asignaturas |
| Representación do Coñecemento e Razoamento Automático |
| Metodoloxías |
|
|
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Representación do Coñecemento e Razoamento Automático | Código | 614G01036 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 2º cuadrimestre |
Terceiro | Obrigatoria | 6 | ||||||||||
|
||||||||||||||
| Metodoloxías | Descrición |
| Sesión maxistral | |
| Proba mixta | |
| Discusión dirixida | |
| Prácticas de laboratorio | As probas prácticas consistirán no desenrolo no laboratorio de exercicios de Representación e Razoamento utilizando ferramentas software de uso público tales como probadores de lóxica proposicional (SAT), lóxica de primer orde (probadores de teoremas), programación lóxica declarativa e razoamento probabilístico. O curso contará con 3 probas prácticas: P1 - Razoamento en Lóxica Clásica; P2 - Resolución de Problemas en Answer Set Programming; P3 - Razoamento Probabilístico. |
| Obradoiro | |
| Solución de problemas | |
| Traballos tutelados |
|
