Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Subjects |
Knowledge Representation and Automatic Reasoning |
Contents |
|
|
Identifying Data | 2017/18 | |||||||||||||
Subject | Knowledge Representation and Automatic Reasoning | Code | 614G01036 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 2nd four-month period |
Third | Optativa | 6 | ||||||||||
|
Topic | Sub-topic |
1.Cuestiones Preliminares |
1.1.Representación do Coñecemento 1.2.Razoamento Automático |
2.Representaciones Formales del Conocimiento | 2.1. Representación e Razoamento Proposicional 2.2. Representación e Razoamento Relacional 2.3. Cálculo de Predicados |
3.Razonamiento Categórico y Corrección Bayesiana |
3.1.Elementos do Razoamento Categórico 3.2.Base Lóxica Expandida e Base Lóxica Reducida 3.3.Razoamento Diferencial Categórico 3.4.Corrección Bayesiana ao Razoamento Categórico 3.5.Probabilidades Condicionais 3.6.Inconvenientes da Corrección Bayesiana |
4.Redes de Creencia | 4.1.Introdución á Teoría de Grafos 4.2.Representación do Coñecemento en Redes de Crenza. 4.3.Inferencia con Redes de Crenza 4.4.Aprendizaxe e redes de crenza |
5.Razonamiento Cuasi-Estadístico | 5.1.Factores de Certidumbre 5.2.Combinación de Evidencias 5.3.Propagación de Incerteza 5.4.Teoría Evidencial 5.5.Marco de Discernimiento 5.6.Medidas de verosimilitud 5.7.Credibilidade, Plausibilidad e Confianza |
6.Razonamiento Difuso |
6.1.Conxuntos Difusos 6.2.Representación do Coñecemento Difuso 6.3.Inferencia e Razoamento Difusos 6.4.Control Difuso. |
|