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 |