Download Programacion_Lisp_Y_..

(*)
UNIVERSIDAD MICHOACANA DE SAN NICOLÁS DE HIDALGO
FACULTAD DE INGENIERÍA ELÉCTRICA
DIVISIÓN DE ESTUDIOS DE POSGRADO
PROGRAMACIÓN EN LISP Y PROLOG
No. Hrs. /Semana:
Duración en semanas:
Total de Horas:
Número de Créditos:
4
16
64
8
Conocimientos previos recomendados:
Objetivo: Conocer los dos paradigmas de programación más usados en la Inteligencia Artificial, la
programación funcional (Lisp) y la programación lógica (Prolog).
Programa sintético:
Tema
1.
2.
3.
4.
Introducción
Programación funcional y Lisp
Programación lógica y Prolog
Algunas aplicaciones en Inteligencia Artificial
Total de Horas
Programa desarrollado:
1.
Introducción
1.1. Paradigmas de programación
1.2. Programación simbólica y programación numérica
1.3. Compiladores e intérpretes
1.4. Programación no deterministica
2.
Programación funcional y Lisp
2.1. Datos y funciones
2.2. Listas
2.3. Programación recursiva
2.4. Expresiones Lambda
2.5. EVAL, condicionales y variables
2.6. Listas de propiedades
2.7. Programación aplicativa
2.8. Ejemplos: interpretes, autómatas y gramáticas
3.
Programación lógica y Prolog
3.1. Construcciones básicas
3.2. Programación de Bases de Datos
3.3. Programación recursiva
3.4. Modelo computacional de programas lógicos
3.5. Prolog puro
3.6. Predicados meta-lógicos
3.7. Corte y negación
3.8. Programación de 2o. orden
3.9. Ejemplos: interpretes, autómatas y gramáticas
Duración (hrs.)
10
18
18
18
64
4.
Algunas aplicaciones en Inteligencia Artificial
4.1. Representación del conocimiento
4.2. Búsqueda
4.3. Razonamiento
4.4. Aprendizaje
4.5. Sistemas Expertos
Bibliografía:
[1] David S. Touretzky. COMMON LISP: A Gentle Introduction to Simbolic Computation.
Benjamin/Cummings Publishing Company, Inc. 1990.
[2] Leon Sterling, Ehud Shapiro. The Art of Prolog. MIT Press. 1994.
[3] Rajeev Sangal. Programming Paradigms in Lisp. Mc. Graw Hill. 1991.
[4] Harold Abelson, Gerald Jay Sussman and Julie Sussman. Structure and Interpretation of
Computer Programs. MIT Press. 1985.
[5] Steven L. Tanimoto. The Elements of Artificial Intelligence Using Common LISP. Computer
Science Press. 1990.
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