Download Propagacion_De_Restr.. - Posgrado FIE

Document related concepts

Problema de satisfacción de restricciones wikipedia , lookup

Inteligencia artificial wikipedia , lookup

Algoritmo de propagación de creencias wikipedia , lookup

Transcript
(*)
UNIVERSIDAD MICHOACANA DE SAN NICOLÁS DE HIDALGO
FACULTAD DE INGENIERÍA ELÉCTRICA
DIVISIÓN DE ESTUDIOS DE POSGRADO
PROPAGACIÓN DE RESTRICCIONES
No. Hrs. /Semana:
Duración en semanas:
Total de Horas:
Número de Créditos:
4
16
64
8
Conocimientos previos recomendados: Introducción a Inteligencia Artificial, Lenguajes Lisp, C, y
Java.
Objetivo: Al final del curso, el estudiante conocerá las diferentes técnicas de inteligencia artificial y su
aplicación en el desarrollo de sistemas de Inteligencia Artificial.
Programa sintético:
Tema
1.
2.
3.
4.
5.
Introducción
Propagación de Restricciones
Satisfacción de restricciones
ATMS
Aplicación de Propagación de Restricciones
Total de Horas
Programa desarrollado:
1.
Introducción
1.1. Inteligencia Artificial
1.2. Búsqueda
1.3. Propagación de Restricciones
2.
Propagación de Restricciones
2.1. Definición de CSP
2.2. Teoría e Gráficos
2.3. Conceptos Generales de CSP
2.4. Reducción de Problemas
2.5. Estrategias de búsqueda para solución de CSPs
3.
Satisfacción de restricciones
3.1. Definición de CSP
3.2. Características de la solución
3.3. Conceptos fundamentales
3.4. Algoritmos de solución
3.5. Sistemas CSP
4.
ATMS
4.1. Definición
4.2. Razonamiento bajo inconsistencias
Duración (hrs.)
12
13
13
13
13
64
4.3. Búsqueda
4.4. Arquitectura de un sistema ATMS
4.5. Razonamiento no monotónico
4.6. Aplicaciones
5.
Aplicación de Propagación de Restricciones
5.1. Hybrid Representation Constraint Propagation (HRCP)
5.2. Simulación Cualitativa (QSIM)
5.3. Análisis Cualitativo de Circuitos (QPA)
Bibliografía:
[1] Avron Barr and Edward Feigenbaum. Enciclopedia of Artificial Intelligence. William Kaufman,
Inc. 1981.
[2] Matt Ginsberg. Essentials of Artificial Intelligence. Morgan Kauffman. 1993.
[3] Benjamin Kuipers. Qualitative Reasoning: Modeling and Simulation with Incomplete
Knowledge. MIT Press. 1994.
[4] Stuart J. Russel and Peter Norvig. Artificial Intelligence. A Modern Approach. Prentice Hal.,
1995.
[5] Edward Tsang. Foundations of Constraint Satisfaction. Academic Press Limited. 1996.
[6] Artículos de ATM.
Metodología de enseñanza-aprendizaje:
Revisión de conceptos, análisis y solución de problemas en clase
Lectura de material fuera de clase
Ejercicios fuera de clase (tareas)
Investigación documental
Elaboración de reportes técnicos o proyectos
X
X
X
X
X
Metodología de evaluación:
Asistencia
Tareas
Elaboración de reportes técnicos o proyectos
Exámenes
Programa propuesto por:
Fecha de aprobación:
X
X
X
X
Related documents