|
Guía DocenteCurso Facultade de Informática |
| 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. |
|
