|
Teaching GuideTerm Faculty of Computer Science |
| Enxeñeiro en Informática |
 Asignaturas |
| Intelixencia Artificial |
| Contidos |
| Datos Identificativos | 2014/15 | |||||||||||||
| Asignatura | Intelixencia Artificial | Código | 614111404 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| 1º e 2º Ciclo | Anual |
Cuarto | Troncal | 9 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| INTRODUCIÓN | HISTORIA E ANTECEDENTES DA INTELIXENCIA ARTIFICIAL PROBLEMÁTICA CONCEPTOS FUNDAMENTAIS |
| RESOLUCIÓN DE PROBLEMAS | ESPAZO DE ESTADOS PROCURA DE SOLUCIÓNS CARACTERÍSTICAS XERAIS DOS PROCESOS DE PROCURA MÉTODOS DE EXPLORACIÓN DO ESPAZO DE ESTADOS |
| REPRESENTACIONS FORMAIS DO COÑECEMENTO | XENERALIDADES SOBRE A REPRESENTACIÓN DO COÑECEMENTO CICLO DE CODIFICACIÓN-DECODIFICACIÓN LÓXICA DE PROPOSICIÓNS E LÓXICA DE PREDICADOS ENXEÑARÍA DO COÑECEMENTO E LÓXICA FORMAL AVALIACIÓN E RESOLUCIÓN EN LÓXICA FORMAL |
| REPRESENTACIONS ESTRUCTURADAS DO COÑOCEMENTO | XENERALIDADES SOBRE MÉTODOS DECLARATIVOS XENERALIDADES SOBRE MÉTODOS PROCEDIMENTALES REDES SEMÁNTICAS MARCOS REGULAS DE PRODUCIÓN PARADIGMA DE ORIENTACIÓN A OBXECTOS ANÁLISE COMPARATIVA DE MÉTODOS ESTRUTURADOS |
| SISTEMAS DE PRODUCCIÓN | SISTEMAS DIRIXIDOS POLOS DATOS SISTEMAS DIRIXIDOS POLA OBXECTIVOS BASE DE COÑECEMENTOS MOTOR DE INFERENCIAS MEMORIA ACTIVA DINÁMICA DOS SISTEMAS DE PRODUCIÓN |
| MODELOS CLÁSICOS DE RAZOAMENTO | INTERPRETACIÓN DIFERENCIAL MODELO CATEGÓRICO DE RAZOAMENTO A CORRECCIÓN BAYESIANA MODELOS PROBABILÍSTICOS |
| MODELO DE FACTORES DE CERTIDUMBRE | MEDIDAS DE CONFIANZA FACTORES DE CERTIDUMBRE COMBINACIÓN DE EVIDENCIAS PROPAGACIÓN DO RAZOAMENTO |
| TEORÍA EVIDENCIAL | MARCO DE DISCERNIMIENTO FUNCIÓN DE ASIGNACIÓN DE VEROSIMILITUD COMBINACIÓN DE EVIDENCIAS CREDIBILIDADE, PLAUSIBILIDAD E INTERVALO DE CONFIANZA CASOS PARTICULARES |
| SISTEMAS DIFUSOS | FUNDAMENTOS DE LÓXICA BORROSA ESTRUTURA ALGEBRAICA DOS CONXUNTOS DIFUSOS OPERACIÓNS CON CONXUNTOS DIFUSOS REPRESENTACIÓN DIFUSA DO COÑECEMENTO RAZOAMENTO DIFUSO |
| INTRODUCCIÓN A ENXEÑARÍA DO COÑECEMENTO | ASPECTOS XERAIS DOS SISTEMAS EXPERTOS ANÁLISES DE VIABILIDADE ORGANIZACIÓN XERAL DUN SISTEMA EXPERTO ADQUISICIÓN DO COÑECEMENTO TÉCNICAS DE ADQUISICIÓN DO COÑECEMENTO VERIFICACIÓN DE SISTEMAS INTELIXENTES VALIDACIÓN DE SISTEMAS INTELIXENTES |
|
