Temas Subtemas
1. Introducción á Representación do Coñecemento Razoamento de Accións e Cambio. Resolución Declarativa de Problemas. Razoamento Automático. Tolerancia á Elaboración. Frame Problem. Razoamento non Monótono.
2. Razoamento Proposicional Cálculo Proposicional. Razoamento Proposicional. Satisfactibilidade. Forma normal conxuntiva. Razoamento proposicional baseado en regras. Programas Lóxicos positivos. Hipótese de mundo pechado. Negación por defecto. Programa reduto e Modelos Estables.
3. Razoamento Relacional Bases de datos dedutivas. Answer Set Programming. Grounding e Safety. Metodoloxía ASP. Funcións agregadas e optimización.
4. Razoamento Temporal Accións e cambio en ASP. Simulación, postdicción, planificación e diagnóstico. Temporal Answer Set Programming.
5. Razoamento Categórico e Corrección Bayesiana Elementos do Razoamento Categórico. Base Lóxica Expandida e Base Lóxica Reducida. Razoamento Diferencial Categórico. Corrección Bayesiana ao Razoamento Categórico. Probabilidades Condicionais. Inconvenientes da Corrección Bayesiana
6. Redes de Crenza Introdución á Teoría de Grafos. Representación do Coñecemento en Redes de Crenza. Inferencia con Redes de Crenza. Aprendizaxe e redes de crenza
7. Razoamento Cuasi-Estatístico Factores de Certidume. Combinación de Evidencias. Propagación de Incerteza. Teoría Evidencial. Marco de Discernimento. Medidas de verosimilitude. Credibilidade, Plausibilidad e Confianza
8. Razoamento Difuso Conxuntos Difusos. Representación do Coñecemento Difuso. Inferencia e Razoamento Difusos. Control Difuso.