Grao en Enxeñaría Informática |
Asignaturas |
Representación del Conocimiento y Razonamiento Automático |
Contenidos |
|
|
Datos Identificativos | 2024/25 | |||||||||||||
Asignatura | Representación del Conocimiento y Razonamiento Automático | Código | 614G01036 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 2º cuatrimestre |
Tercero | Optativa | 6 | ||||||||||
|
Tema | Subtema |
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. |
|