Proba mixta |
Prueba escrita sobre los contenidos de la asignatura. |
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. |
Solución de problemas |
Resolución de problemas de la asignatura. Este recurso supondrá la partiicipación y colaboración del estudiante. |