Grao en Enxeñaría Informática |
Asignaturas |
Representación do Coñecemento e Razoamento Automático |
Contidos |
|
|
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 | ||||||||||
|
Temas | Subtemas |
1.Cuestiones Preliminares |
1.1.Representación del Conocimiento 1.2.Razonamiento Automático |
2.Representaciones Formales del Conocimiento | 2.1.Lógica de Proposiciones 2.2.Lógica de Predicados 2.3.Mecanismos de Inferencia 2.4.Razonamiento Lógico |
3.Razonamiento Categórico y Corrección Bayesiana |
3.1.Elementos del Razonamiento Categórico 3.2.Base Lógica Expandida y Base Lógica Reducida 3.3.Razonamiento Diferencial Categórico 3.4.Corrección Bayesiana al Razonamiento Categórico 3.5.Probabilidades Condicionales 3.6.Inconvenientes de la Corrección Bayesiana |
4.Redes de Creencia | 4.1.Introducción a la Teoría de Grafos 4.2.Representación del Conocimiento en Redes de Creencia. 4.3.Inferencia con Redes de Creencia 4.4.Aprendizaje y redes de creencia |
5.Razonamiento Cuasi-Estadístico | 5.1.Factores de Certidumbre 5.2.Combinación de Evidencias 5.3.Propagación de Incertidumbre 5.4.Teoría Evidencial 5.5.Marco de Discernimiento 5.6.Medidas de verosimilitud 5.7.Credibilidad, Plausibilidad y Confianza |
6.Razonamiento Difuso |
6.1.Conjuntos Difusos 6.2.Representación del Conocimiento Difuso 6.3.Inferencia y Razonamiento Difusos 6.4.Control Difuso. |
|