INSTITUTO POLITÉCNICO NACIONAL SECRETARÍA ACADÉMICA DIRECCIÓN DE EDUCACION SUPERIOR PROGRAMA SINTÉTICO

Transcripción

1 CARRERA: Ingeniería en Computación. PROGRAMA SINTÉTICO ASIGNATURA: Programación Lógica SEMESTRE: Octavo OBJETIVO GENERAL: El alumno aplicará los fundamentos del paradigma de la programación lógica en el desarrollo de sistemas inteligentes basados en un lenguaje de programación lógica. CONTENIDO SINTÉTICO: I. Introducción II. Representación del Conocimiento III. Programación Lógica. IV. Empleo de Lógica Formal para Ingeniería. V. Aplicación para Inteligencia Artificial METODOLOGÍA: Preparación y discusión de los temas por parte de los alumnos. Resolución de problemas bajo la supervisión del profesor. Trabajo en equipo. Empleo de la programación de computadoras y ejercicios en el laboratorio de cómputo con presentaciones en Power Point. EVALUACIÓN Y ACREDITACIÓN: Participación en actividades de clase y laboratorio, presentación de trabajos extra clase, aplicación de tres exámenes departamentales durante el semestre. La calificación final será el promedio de las evaluaciones anteriores 60% exámenes departamentales, 30% prácticas de laboratorio y 10% de participaciones y tareas. BIBLIOGRAFÍA: 1. L. Sterling, E. Shapiro.The Art of Prolog, Editorial MIT Press, 2ª Edición pp. 2. I. Bratko. Prolog Programming for Artificial Intelligence, Addison-Wesley, 2ª Edición pp, pp, pp. 3. Clocksin, W.F. ; Mellish, C.S. Programación en Prolog, Gustavo Gili, pp 4. Hopcroft, John E. and Ullman Jefrey D.Introducción a la Teoría de Autómatas, Lenguajes y Computación, Edit. Addison-Wesley, U.S.A, Edic pp, pp 5. Genessereth and Nilsson. Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers pp.

2 ESCUELA: Escuela Superior de Ingeniería Mecánica y Eléctrica Unidad culhuacan. CARRERA: Ingeniería en Computación. COORDINACIÓN: Academia de Computación. DEPARTAMENTO: Ingeniería en Computación ASIGNATURA: Programación Lógica SEMESTRE: Octavo CLAVE: CLA098 CRÉDITOS: 7.5 VIGENTE: 2006 TIPO DE ASIGNATURA: Teórico-Práctica MODALIDAD: Escolarizada Optativa III TIEMPOS ASIGNADOS HORAS/SEMANA/TEORÍA: HORAS/SEMANA/PRÁCTICA: HORAS/SEMESTRE/TEORÍA: 54.0 HORAS/SEMESTRE/PRÁCTICA: 27.0 HORAS/TOTALES: 81.0 PROGRAMA ELABORADO O ACTUALIZADO POR: Academia de Computación de ESIME Culhuacan REVISADO POR: Subdirección Académica de ESIME Culhuacan APROBADO POR: Consejo Técnico Consultivo Escolar de ESIME Culhuacan. Ing. Ernesto Mercado Escutia AUTORIZADO POR: Comisión de Planes y Programas de estudio del Consejo General Consultivo del IPN

3 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 2 DE 9 FUNDAMENTACIÓN DE LA ASIGNATURA La programación de computadoras es fundamental y básica en las áreas de computación. El conocimiento acerca de lenguajes de programación lógica permitirá al profesional de la carrera de Ingeniería en Computación comprender paradigmas y estructuras de conocimientos actuales y orientados a la aplicación de inteligencia artificial empleados con mayor énfasis en la tecnología de simulación de tareas y razonamiento humano que mejoren la calidad de vida. Los Fundamentos de Programación, la Programación Orientada a Objetos, Teoría de Autómatas, Compiladores y la Ingeniería de Software son antecedentes de esta asignatura cuyos conceptos y herramientas serán aplicables consecuentemente a Proyectos de Titulación en áreas de programación e inteligencia artificial. OBJETIVO DE LA ASIGNATURA El alumno aplicará los fundamentos del paradigma de la programación lógica en el desarrollo de sistemas inteligentes basados en un lenguaje de programación lógica.

4 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 3 DE 9 UNIDAD I NOMBRE: Introducción OBJETIVOS PARTICULARES DE LA UNIDAD El alumno explicará los fundamentos de la programación lógica, analizando sus ventajas y desventajas en comparación con otros paradigmas de programación. TEMA T E M A S HORAS T P EC CLAVE BIBLIOGRÁFICA 1.1 Los diferentes paradigmas de Programación. 1B, 6B, 2C,4C El paradigma lógico. Reglas Propiedades Prolog como herramienta de programación lógica Elementos Estructura Entorno 7.5 ESTRATEGIA DIDÁCTICA Preparación de los temas por parte del alumno antes de la clase bajo la guía del profesor. Desarrollo de trabajos extra clase y prácticas de laboratorio. Desarrollo de ejemplos de cada tema por parte del profesor y los alumnos. La evaluación se hará de manera diagnóstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades I y II: Participación de las actividades en clase y tareas extraclase10%, Pruebas objetivas (Examen Departamental) 60% y Prácticas de laboratorio 30%.

5 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 4 DE 9 UNIDAD II NOMBRE: Representación del Conocimiento OBJETIVOS PARTICULARES DE LA UNIDAD El alumno representará por reglas y hechos el conocimiento diario de algún tópico para una computadora. TEMA 2.1 T E M A S El conocimiento y las computadoras. HORAS T P EC 9.0 CLAVE BIBLIOGRÁFICA 1B, 6B,2C,5C 2.2 Representaciones comunes no lógicas. 2.3 Predicados como elementos de representación de conocimiento Lógica matemática. Lógica proposicional Lógica de primer orden El universo de Herbrand ESTRATEGIA DIDÁCTICA Búsqueda de conceptos por parte del alumno. Desarrollo en clase de ejemplos de cada tema por parte del profesor y de los alumnos. Formación de grupos para la solución de ejercicios coordinados por el profesor. Realización de tareas y trabajos extra clase. Realización de prácticas de laboratorio con la supervisión del profesor. La evaluación se hará de manera diagnóstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades I y II: Participación de las actividades en clase y tareas extractase 10%, Pruebas objetivas (Examen Departamental) 60% y Prácticas de laboratorio 30%.

6 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 5 DE 9 UNIDAD III NOMBRE: Programación Lógica OBJETIVOS PARTICULARES DE LA UNIDAD El alumno utilizará los fundamentos del lenguaje Prolog como herramienta para el desarrollo de la programación lógica. TEMA T E M A S Prolog básico predicados y hechos Predicados y reglas HORAS T P EC 12.0 CLAVE BIBLIOGRÁFICA 1B, 3B, 6B, 5C Estructura de un programa en Prolog Predicados aritméticos Predicados de entrada/salida Otros predicados extra-lógicos Prolog avanzado Recursividad en predicados Recursividad y backtracking Listas en Prolog Listas y recursividad ESTRATEGIA DIDÁCTICA Preparación por parte de los alumnos, de los temas antes de la clase bajo la guía del profesor. Desarrollo en clase de las definiciones formales y ejemplos de cada tema por parte del profesor y de los alumnos. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Realización de prácticas de laboratorio. La evaluación se hará de manera formativa, de seguimiento y sumativa, considerando los siguientes aspectos para la unidad III: Participación de las actividades en clase y tareas extractase 10%, Pruebas objetivas (Examen departamental) 60% y Prácticas de laboratorio 30%.

7 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 6 DE 9 UNIDAD IV NOMBRE: Empleo de Lógica Formal para Ingeniería OBJETIVOS PARTICULARES DE LA UNIDAD El alumno empleará la relación entre los elementos del lenguaje lógico y el lenguaje natural diario, utilizado para denotar ideas, para demostrar cómo es posible expresar sistemática y matemáticamente las ideas y procesos de inferencia natural. TEMA 4.1 T E M A S Hechos como predicados lógicos HORAS T P EC CLAVE BIBLIOGRÁFICA 1B, 3B, 6B, 4C Reglas como predicados lógicos Reglas recursivas e inferencia ESTRATEGIA DIDÁCTICA Desarrollo de trabajos extra clase de cada tema por parte del alumno. Realización de prácticas de laboratorio por parte del alumno bajo la guía y supervisión del profesor. Preparación por parte de los alumnos de los temas antes de la clase bajo la guía del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. La evaluación se hará de manera formativa, de seguimiento y sumativa, considerando los siguientes aspectos: Participación de las actividades en clase y tareas extractase 10%, Pruebas objetivas.(examen Departamental) 60% y Practicas de laboratorio 30%.

8 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 7 DE 9 UNIDAD V NOMBRE: Aplicación para Inteligencia Artificial OBJETIVOS PARTICULARES DE LA UNIDAD El alumno desarrollará sistemas inteligentes con aplicaciones de la vida profesional. TEMA 5.1 T E M A S Aplicaciones de Prolog en la inteligencia artificial HORAS T P EC CLAVE BIBLIOGRÁFICA 1B, 6B, 2C,4C 5.2 Sistemas expertos en Prolog Búsqueda en Prolog Búsqueda ciega Búsqueda heurística 5.4 Programación lógica con restricciones ESTRATEGIA DIDÁCTICA 9.0 Desarrollo de trabajos extra clase por parte del alumno. Preparación de los temas por parte de los alumnos bajo la guía del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Uso de recursos audiovisuales por parte del profesor y alumno. Realización de prácticas de laboratorio por parte del alumno. La evaluación se hará de manera formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades IV, V y VI: Participación de las actividades en clase y tareas extraclase 10%, Pruebas objetivas(examen departamental) 60% y Practicas de laboratorio 30%.

9 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 8 DE 9 RELACIÓN DE PRÁCTICAS PRACT. NOMBRE DE LA PRÁCTICA UNIDAD DURACIÓN LUGAR DE REALIZACIÓN 1 2 Introducción Representación I II Todas las prácticas se llevaran a cabo en el Laboratorio de Computación. 3 Prolog base III 4 Prolog Avanzado III 5 Predicados para ingenieria IV 6 Inteligencia Artificial V 27.0

10 ASIGNATURA: Programación Lógica CLAVE: CLA098 HOJA: 9 DE 9 PERÍODO UNIDAD I, II III IV, V 10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prácticas de laboratorio 10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prácticas de laboratorio 10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prácticas de laboratorio CLAVE B C BIBLIOGRAFÍA 1 X L. Sterling, E. Shapiro.The Art of Prolog, Editorial MIT Press, 2ª Edición p X I. Bratko. Prolog Programming for Artificial Intelligence, Addison-Wesley, 2ª Edición p.10-34, , X Clocksin, W.F. ; Mellish, C.S. Programación en Prolog, Gustavo Gili, p X X Hopcroft, John E. and Ullman Jefrey D.Introducción a la Teoría de Autómatas, Lenguajes y Computación, Edit. Addison-Wesley, U.S.A, Edic p91-233, p Genessereth and Nilsson. Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers p X Berk, A. Prolog Programación y Aplicaciones en Inteligencia Artificial, Anaya Multimedia p1-223.

11 PERFIL DOCENTE POR ASIGNATURA 1. DATOS GENERALES ESCUELA: Escuela Superior de Ingeniería Mecánica y Eléctrica Unidad Culhuacan CARRERA: Ingeniería en Computación, SEMESTRE Octavo ÁREA: BÁSICAS C. INGENIERÍA D. INGENIERÍA C. SOC. y HUM. ACADEMIA: Computación ASIGNATURA: Programación Lógica ESPECIALIDAD Y NIVEL ACADÉMICO REQUERIDO: Ingeniería o Maestría 2. OBJETIVOS DE LA ASIGNATURA: El alumno aplicará los fundamentos del paradigma de la programación lógica en el desarrollo de sistemas inteligentes basados en un lenguaje de programación lógica. 3. PERFIL DOCENTE: CONOCIMIENTOS EXPERIENCIA PROFESIONAL HABILIDADES ACTITUDES Experiencia en programación de alto nivel, conocimientos teóricos de Inteligencia Artificial, Programación Lógica, Programación y Estructuras de Datos. Haber Impartido clase en Nivel Superior. Formación pedagógica. Programación en algún lenguaje de computación. Dominio de la asignatura. Manejo de grupos. Comunicación (Transmisión del conocimiento). Capacidades de análisis, síntesis y lógica propocicional. Motivación al alumno. Manejo de materiales didácticos. Tener vocación por la docencia. Honestidad. Ejercicio de la crítica fundamentada. Respeto (buena relación maestro-alumno). Tolerancia. Ética. Espíritu de colaboración. Superación docente y profesional. ELABORÓ REVISÓ AUTORIZÓ M. en C. Moises Salinas Rosales Ing. Rubén Juárez Barrientos Ing. Ernesto Mercado Escutia Presidente de la Academia Subdirector Académico Director de Computación FECHA: 2006