0_presentación

PROGRAMACIÓN LÓGICA Y FUNCIONAL Presentación

Ulises Juárez Martínez, PhD [email protected] Instituto Tecnológico de Orizaba Ingeniería en Sistemas Computacionales

HORARIO

Lunes a jueves de 07:00 a 08 :00 horas Lunes y miércoles – Salón 13

Martes y jueves – Laboratorio L1

Cubículo 6 de posgrado División de Estudios de Posgrado e Investigación

Maestría en Sistemas Computacionales

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

26 /01 /2014 UL ISES JUÁREZ MARTÍNEZ, PHD 2

CONTACTO

Contacto [email protected]

[email protected]

Página personal http://computacion.cs.cinvestav.mx/~ujuarez/

http://www.aldeacafe.com.mx/

Twitter ujuarezmartinez


CONTACTO

Google+ Search for: ulises juárez google+

https://plus.google.com/112665644077345445493

Blogs http://aspectosmx.blogspot.com/

http://objetosmx.blogspot.com/

http://componentesmx.blogspot.com/

http://tlamantli.blogspot.com/


OBJETIVO DE LA ASIGNATURA

Conocer los principios lógicos y funcionales de la programación para identificarlos y aplicarlos en la resolución de problemas a través del diseño de agentes inteligentes

Lenguajes: Haskell y Prolog


TEMARIO

1) Conceptos fundamentales (2 semanas) 1. Estilos de programación

2. Evaluación de expresiones

3. Definición de funciones

4. Disciplina de tipos

5. Tipos de datos


TEMARIO

2) Programación funcional (4 semanas) 1. El tipo de datos

2. Funciones

3. Intervalos

4. Operadores

5. Aplicaciones de las listas

6. Árboles


Evaluación 1

TEMARIO

3) Evaluación perezosa (2 semanas) 1. La estrategia de evaluación perezosa

2. Técnicas de programación funcional perezosa


Evaluación 2

TEMARIO

4) Fundamentos de la programación lógica (6 semanas) 1. Repaso de la lógica de primer orden

2. Unificación y resolución

3. Cláusulas de Horn. Resolución SLD

4. Programación lógica con cláusulas de Horn

5. Semántica de los programas lógicos

6. Representación clausada del conocimiento

7. Consulta de una base de cláusulas

8. Espacios de búsqueda

9. Programación lógica con números, listas y árboles

10. Control de búsqueda en programas lógicos

11. Manipulación de términos. Predicados metalógicos


Evaluación 3

Evaluación 4

BIBLIOGRAFÍA

Oficial 1. NILSSON, N. J. Inteligencia Artificial. Una nueva síntesis. Mc Graw Hill. 2001.

2. POOLE, D., Mackworth, A. y Goebel, R. Computational Intelligence (A Logical Approach). Oxford University Press. 1998.

3. BRATKO, I. Prolog Programming for Artificial Intelligence (2nd ed.). Addison Wesley. 1990.

4. MITCHELL, T. M. Machine Learning. Mc Graw Hill. 1997.

5. FLACH, P. Simply Logical (Intelligent Reasoning by Example). John Wiley. 1994.

6. BIRD, Richard. Introducción a la Programación Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.

7. FOKKER, Jeroen. Programación Funcional. Universidad de Utrecht, Departamento de Informática. 1995.


BIBLIOGRAFÍA

Oficial 8. JULIAN, P., Alpuente, M. Programación Lógica. Teoría y Práctica. Pearson Prentice

Hall. 2007.

9. HOGGER, C. Essentials of Logic Programming. Clarendon Press, Oxford. 1990.

10. BRATKO. Prolog Programming for Artificial Intelligence. Segunda Edición). Addison Wesley. 1991.

11. STERLING & Shapiro. The art de Prolog. MIT. 1994.

12. LUCAS, P. y Gaag, L.v.d. Principles of Expert Systems. (Addison–Wesley. 1991.


REFERENCIAS EN LÍNEA

Lenguaje de programación Haskell http://www.haskell.org/haskellwiki/Haskell

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

Lenguaje de programación Prolog http://www.swi-prolog.org/

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


REFERENCIAS EN LÍNEA

Programación lógica http://expo.itchihuahua.edu.mx/view.php?f=prog_46

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


EVALUACIÓN

Unidad 1: 28 de febrero Problemas resueltos (ejercicios, prácticas y/o proyecto) 50%

Evaluación formativa 50%

Unidad 2: 04 de abril Problemas resueltos (ejercicios, prácticas y/o proyecto) 50%



EVALUACIÓN

Unidad 3: 23 de mayo Problemas resueltos (ejercicios, prácticas y/o proyecto) 50%


Unidad 4: 06 de junio Problemas resueltos (ejercicios, prácticas y/o proyecto) 50%


Mínimo aprobatorio: 70% Aplica por evaluación y para el curso


EVALUACIÓN

Exámenes de regularización al final del curso Aplicable sólo si acredita el 40 % de las evaluaciones (2 exámenes)

Ejemplo 1:

Calificaciones ordinarias: 50, 70, 78, 60

Promedio = 64.5

CON derecho a regularización

Puede presentar las cuatro evaluaciones

Se SUBSTITUYE la calificación de regularización

Ejemplo 2:


Promedio = 68.25

SIN derecho a regularización, REPITE curso


EVALUACIÓN

Exámenes extraordinarios después de la regularización Aplicable sólo si acredita el 70% de las evaluaciones (ordinarias + regularizaciones)

Ejemplo 1:


Calificaciones regularización: 70, 72, 78, 33

Promedio = 63.25

CON derecho a extraordinario

Ejemplo 2:

Calificación ordinaria 50, 70, 78, 60

Calificación regularización 47, 72, 78, 65

Promedio = 65.5

SIN derecho a extraordinario, REPITE curso


SUSPENSIÓN DE LABORES

Fechas calendarizadas 03 de febrero

17 de marzo

01, 05, 15 de mayo

Fechas por asamblea sindical 04 de febrero

Fechas por asignación de eventos Por definir: Actividades de exámenes profesionales y comisiones


REGLAS DEL CURSO

Puntualidad Tolerancia 5 minutos

Prohibido Utilizar cualquier dispositivo móvil con fines de entretenimiento

Gorras

Gafas

Audífonos

Alimentos ni bebidas, excepto agua debidamente cerrada en botella


0_presentación

Documents