PROGRAMACIN LGICA Y FUNCIONAL

Presentacin
Ulises Jurez Martnez, PhD ujuarez71@gmail.com Instituto Tecnolgico de Orizaba Ingeniera en Sistemas Computacionales

HORARIO
Lunes a jueves de 07:00 a 08 :00 horas
Lunes y mircoles Saln 13 Martes y jueves Laboratorio L1

Cubculo 6 de posgrado
Divisin de Estudios de Posgrado e Investigacin Maestra en Sistemas Computacionales

Horario laboral
Lunes a viernes de 07:00 a 15:00 horas

ULISES JUREZ MARTNEZ, PHD

26/01/2014

CONTACTO
Contacto
ujuarez71@gmail.com ujuarez@ito-depi.edu.mx

Pgina personal
http://computacion.cs.cinvestav.mx/~ujuarez/ http://www.aldeacafe.com.mx/

Twitter
ujuarezmartinez

ULISES JUREZ MARTNEZ, PHD

26/01/2014

CONTACTO
Google+
Search for: ulises jurez google+ https://plus.google.com/112665644077345445493

Blogs
http://aspectosmx.blogspot.com/ http://objetosmx.blogspot.com/ http://componentesmx.blogspot.com/ http://tlamantli.blogspot.com/

ULISES JUREZ MARTNEZ, PHD

26/01/2014

OBJETIVO DE LA ASIGNATURA
Conocer los principios lgicos y funcionales de la programacin para

identificarlos y aplicarlos en la resolucin de problemas a travs del diseo de agentes inteligentes

Lenguajes: Haskell y Prolog

ULISES JUREZ MARTNEZ, PHD 26/01/2014

TEMARIO
1)

Conceptos fundamentales (2 semanas)

1. 2. 3. 4. 5.

Estilos de programacin Evaluacin de expresiones Definicin de funciones Disciplina de tipos Tipos de datos

ULISES JUREZ MARTNEZ, PHD

26/01/2014

TEMARIO
2)

Programacin funcional (4 semanas)

1. 2. 3. 4. 5. 6.

El tipo de datos Funciones Intervalos Operadores rboles

Evaluacin 1

Aplicaciones de las listas

ULISES JUREZ MARTNEZ, PHD

26/01/2014

TEMARIO
3)

Evaluacin perezosa (2 semanas)

1. 2.

La estrategia de evaluacin perezosa Tcnicas de programacin funcional perezosa

Evaluacin 2

ULISES JUREZ MARTNEZ, PHD

26/01/2014

TEMARIO
4)

Fundamentos de la programacin lgica (6 semanas)

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

Repaso de la lgica de primer orden Unificacin y resolucin Clusulas de Horn. Resolucin SLD Programacin lgica con clusulas de Horn Semntica de los programas lgicos Representacin clausada del conocimiento Consulta de una base de clusulas Espacios de bsqueda

Evaluacin 3

Programacin lgica con nmeros, listas y rboles Control de bsqueda en programas lgicos Manipulacin de trminos. Predicados metalgicos

Evaluacin 4

ULISES JUREZ MARTNEZ, PHD

26/01/2014

BIBLIOGRAFA
Oficial
1. 2. 3. 4. 5. 6. 7.

NILSSON, N. J. Inteligencia Artificial. Una nueva sntesis. Mc Graw Hill. 2001. POOLE, D., Mackworth, A. y Goebel, R. Computational Intelligence (A Logical Approach). Oxford University Press. 1998. BRATKO, I. Prolog Programming for Artificial Intelligence (2nd ed.). Addison Wesley. 1990. MITCHELL, T. M. Machine Learning. Mc Graw Hill. 1997. FLACH, P. Simply Logical (Intelligent Reasoning by Example). John Wiley. 1994. BIRD, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000. FOKKER, Jeroen. Programacin Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.

ULISES JUREZ MARTNEZ, PHD

26/01/2014

10

BIBLIOGRAFA
Oficial
8. 9.

JULIAN, P., Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007. HOGGER, C. Essentials of Logic Programming. Clarendon Press, Oxford. 1990. Wesley. 1991.

10. BRATKO. Prolog Programming for Artificial Intelligence. Segunda Edicin). Addison 11. STERLING & Shapiro. The art de Prolog. MIT. 1994. 12. LUCAS, P. y Gaag, L.v.d. Principles of Expert Systems. (AddisonWesley. 1991.

ULISES JUREZ MARTNEZ, PHD

26/01/2014

11

REFERENCIAS EN LNEA
Lenguaje de programacin Haskell
http://www.haskell.org/haskellwiki/Haskell

Tutoriales de Haskell
http://www.haskell.org/haskellwiki/Tutorials

Lenguaje de programacin Prolog

http://www.swi-prolog.org/

Tutoriales de Prolog
http://www.swi-prolog.org/pldoc/man?section=quickstart

ULISES JUREZ MARTNEZ, PHD

26/01/2014

12

REFERENCIAS EN LNEA
Programacin lgica
http://expo.itchihuahua.edu.mx/view.php?f=prog_46

Sistema Experto
http://es.wikipedia.org/wiki/Sistema_experto

ULISES JUREZ MARTNEZ, PHD

26/01/2014

13

EVALUACIN
Unidad 1: 28 de febrero
Problemas resueltos (ejercicios, prcticas y/o proyecto) Evaluacin formativa

50% 50% 50% 50%

Unidad 2: 04 de abril
Problemas resueltos (ejercicios, prcticas y/o proyecto) Evaluacin formativa

ULISES JUREZ MARTNEZ, PHD

26/01/2014

14

EVALUACIN
Unidad 3: 23 de mayo
Problemas resueltos (ejercicios, prcticas y/o proyecto) Evaluacin formativa

50% 50% 50% 50%

Unidad 4: 06 de junio
Problemas resueltos (ejercicios, prcticas y/o proyecto) Evaluacin formativa

Mnimo aprobatorio: 70%

Aplica por evaluacin y para el curso

ULISES JUREZ MARTNEZ, PHD

26/01/2014

15

EVALUACIN
Exmenes de regularizacin al final del curso
Aplicable slo si acredita el 40 % de las evaluaciones (2 exmenes) Ejemplo 1:
Calificaciones ordinarias: 50, 70, 78, 60 Promedio = 64.5 CON derecho a regularizacin Puede presentar las cuatro evaluaciones Se SUBSTITUYE la calificacin de regularizacin

Ejemplo 2:
Calificaciones ordinarias: 67, 68, 83, 55 Promedio = 68.25 SIN derecho a regularizacin, REPITE curso

ULISES JUREZ MARTNEZ, PHD

26/01/2014

16

EVALUACIN
Exmenes extraordinarios despus de la regularizacin
Aplicable slo si acredita el 70% de las evaluaciones (ordinarias + regularizaciones) Ejemplo 1:
Calificaciones ordinarias: 50, 70, 78, 60 Calificaciones regularizacin: 70, 72, 78, 33 Promedio = 63.25 CON derecho a extraordinario

Ejemplo 2:
Calificacin ordinaria 50, 70, 78, 60 Calificacin regularizacin 47, 72, 78, 65 Promedio = 65.5 SIN derecho a extraordinario, REPITE curso

ULISES JUREZ MARTNEZ, PHD

26/01/2014

17

SUSPENSIN DE LABORES
Fechas calendarizadas
03 de febrero 17 de marzo 01, 05, 15 de mayo

Fechas por asamblea sindical

04 de febrero

Fechas por asignacin de eventos

Por definir: Actividades de exmenes profesionales y comisiones

ULISES JUREZ MARTNEZ, PHD

26/01/2014

18

REGLAS DEL CURSO

Puntualidad
Tolerancia 5 minutos

Prohibido
Utilizar cualquier dispositivo mvil con fines de entretenimiento Gorras Gafas Audfonos Alimentos ni bebidas, excepto agua debidamente cerrada en botella

ULISES JUREZ MARTNEZ, PHD

26/01/2014

19