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. |