|
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 | 2013/14 | |||||||||||||
| 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 | Se espera participación colaborativa del estudiante. Los temas tratados serán sometidos a discusión con el alumnado. Esta circunstancia podrá ser tenida en cuenta a la hora de evaluar al alumno. Podrá requerirse que el alumno, en cada tema, que el alumno disponga de unos conocimientos básicos. Para ello, toda la información básica estará accesible en Moodle. |
| Proba mixta | Prueba escrita sobre los contenidos de la asignatura. |
| Discusión dirixida | Selección de temas de interés, planteamiento en clase y desarrollo con la tutela del profesor. |
| 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 | Eventualmente, si así lo sugiere el desarrollo de la docencia, podrán proponerse. |
| Solución de problemas | Resolución de problemas de la asignatura. Este recurso supondrá la partiicipación y colaboración del estudiante. |
| Traballos tutelados |
|
