|
Guía DocenteCurso Facultade de Informática |
| Enxeñeiro en Informática |
 Asignaturas |
| Intelixencia Artificial |
| Contidos |
| Datos Identificativos | 2012/13 | |||||||||||||
| 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 |
| INTRODUCCIÓN | HISTORIA Y ANTECEDENTES DE LA INTELIGENCIA ARTIFICIAL PROBLEMÁTICA CONCEPTOS FUNDAMENTALES |
| RESOLUCIÓN DE PROBLEMAS | ESPACIO DE ESTADOS BÚSQUEDA DE SOLUCIONES CARACTERÍSTICAS GENERALES DE LOS PROCESOS DE BÚSQUEDA MÉTODOS DE EXPLORACIÓN DEL ESPACIO DE ESTADOS |
| REPRESENTACIONES FORMALES DEL CONOCIMIENTO | GENERALIDADES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CICLO DE CODIFICACIÓN-DECODIFICACIÓN LÓGICA DE PROPOSICIONES Y LÓGICA DE PREDICADOS INGENIERÍA DEL CONOCIMIENTO Y LÓGICA FORMAL EVALUACIÓN Y RESOLUCIÓN EN LÓGICA FORMAL INTRODUCCIÓN A OTRAS LÓGICAS |
| REPRESENTACIONES ESTRUCTURADAS DEL CONOCIMIENTO | GENERALIDADES SOBRE MÉTODOS DECLARATIVOS GENERALIDADES SOBRE MÉTODOS PROCEDIMENTALES REDES SEMÁNTICAS MARCOS REGLAS DE PRODUCCIÓN PARADIGMA DE ORIENTACIÓN A OBJETOS ANÁLISIS COMPARATIVO DE MÉTODOS ESTRUCTURADOS |
| SISTEMAS DE PRODUCCIÓN | SISTEMAS DIRIGIDOS POR LOS DATOS SISTEMAS DIRIGIDOS POR LOS OBJETIVOS BASE DE CONOCIMIENTOS MOTOR DE INFERENCIAS MEMORIA ACTIVA DINÁMICA DE LOS SISTEMAS DE PRODUCCIÓN |
| MODELOS CLÁSICOS DE RAZONAMIENTO | INTERPRETACIÓN DIFERENCIAL MODELO CATEGÓRICO DE RAZONAMIENTO LA CORRECCIÓN BAYESIANA MODELOS PROBABILÍSTICOS |
| MODELO DE FACTORES DE CERTIDUMBRE | MEDIDAS DE CONFIANZA FACTORES DE CERTIDUMBRE COMBINACIÓN DE EVIDENCIAS PROPAGACIÓN DEL RAZONAMIENTO |
| TEORÍA EVIDENCIAL | MARCO DE DISCERNIMIENTO FUNCIÓN DE ASIGNACIÓN DE VEROSIMILITUD COMBINACIÓN DE EVIDENCIAS CREDIBILIDAD, PLAUSIBILIDAD E INTERVALO DE CONFIANZA CASOS PARTICULARES |
| SISTEMAS DIFUSOS | FUNDAMENTOS DE LÓGICA BORROSA ESTRUCTURA ALGEBRAICA DE LOS CONJUNTOS DIFUSOS OPERACIONES CON CONJUNTOS DIFUSOS REPRESENTACIÓN DIFUSA DEL CONOCIMIENTO RAZONAMIENTO DIFUSO |
| INTRODUCCIÓN A LA INGENIERÍA DEL CONOCIMIENTO | ASPECTOS GENERALES DE LOS SISTEMAS EXPERTOS ANÁLISIS DE VIABILIDAD ORGANIZACIÓN GENERAL DE UN SISTEMA EXPERTO ADQUISICIÓN DEL CONOCIMIENTO TÉCNICAS DE ADQUISICIÓN DEL CONOCIMIENTO VERIFICACIÓN DE SISTEMAS INTELIGENTES VALIDACIÓN DE SISTEMAS INTELIGENTES |
|
