Está en la página 1de 4

SLABO WI13 PROGRAMACIN LGICA

2015-2
1. DATOS GENERALES
Facultad:
Carrera:

Ingeniera de Sistemas y Electrnica.


Ingeniera de Sistemas e Informtica.
Ingeniera de Software.
Ingeniera de Redes y Comunicaciones.

Coordinador:
Requisitos:

Hernn Robalino Gmez.


Para la Carrera de Ingeniera de Sistemas e Informtica
Ninguno
Para la Carrera de Software
W02I Estructuras y Algoritmos de Procesamiento de Datos II
Para la Carrera de Redes y comunicaciones
W0I5 Software de Comunicaciones

Nmero de crditos:

04.

2. FUNDAMENTACIN
El curso presenta un panorama de proveer conocimientos necesarios y desarrollar
habilidades para el adecuado uso de los lenguajes orientados a inteligencia artificial hasta
la actualidad, brindando al estudiante los conocimientos bsicos para permitirle
desarrollar sus habilidades intelectuales y cognoscitivas relacionadas con el desarrollo de
sistemas expertos, importantes para su formacin de ingeniero de sistemas e informtica,
ingeniero de software e ingeniero de redes y comunicaciones.
3. SUMILLA
El curso es de naturaleza terico-prctico y presenta conceptos elementales utilizados
durante el quehacer diario del de ingeniero de sistemas e informtica, ingeniero de
software e ingeniero de redes y comunicaciones, de la misma manera se ve conceptos
bsicos relacionados con listas, programacin recursiva, reevaluacin y corte, Archivos de
entrada y salida, predicados predefinidos. As mismo la importancia de la construccin de
sistemas expertos, uso de interfaz grfica de usuario, aspectos generales de la
programacin funcional, fundamentos de lisp.
4. LOGROS DE APRENDIZAJE
Al final del curso:
a) El alumno identifica y desarrolla sistemas expertos usando un lenguaje de
programacin declarativa o funcional.
b) El alumno podr identificar un experto humano que permitir el desarrollo de la base
de conocimientos.
5. CONTENIDOS
Introduccin a inteligencia artificial. Fundamentos de la
programacin lgica. Construccin de reglas. Expresiones
aritmticas. Programacin recursiva.
1

Semanas 1, 2, 3, 4 y 5

Programacin de listas. Cadenas. Sistemas expertos.


Visual prolog usando la interfaz grfica de usuario y
controles. Programacin funcional lisp.

Semana 6, 7, 8 , 9 y 10
Semanas 11, 12, 13 y 14

6. METODOLOGA
Metodologa activa. Trabajo individual y en equipo. Aprendizaje basado en problemas.
Desarrollo de proyectos de investigacin. Estrategias de lectura. Las sesiones de clases
sern complementadas con apoyo de recursos digitales subidos en la plataforma
virtual.
7. SISTEMA DE EVALUACIN
El promedio final del curso ser:

0.2PC1 + 0.2PC2 + 0.2PC3 + 0.4EF

Nota:

PC1, PC2 y PC3 son Prcticas Calificadas


Individuales.
EF es Examen Final.

Slo se podr rezagar el Examen Final.


El examen rezagado incluye los contenidos de todo el curso.
No se elimina ninguna prctica calificada.
La nota mnima aprobatoria es 12 (doce).

8. FUENTES DE INFORMACIN
Bibliografa base:
Krzysztof R.: Logic Programming to Prolog, Apt.
Bratko Ivan: Prolog programming for artificial Intelligence, 2001.
Bibliografa complementaria:
Jorge Guerra: Ponce Cruz: Inteligencia artificial con aplicaciones a la ingeniera,
1era Ed. Buenos Aires: Alfaomega 2010.
9. CRONOGRAMA DE ACTIVIDADES
Semana
Contenidos o temas
Introduccin a inteligencia artificial.
reas de la inteligencia artificial.
Semana 1
Representacin del conocimiento.
Programacin lgica versus programacin
funcional.
Fundamentos de la programacin lgica
Clusulas de horn.
Calculo de predicados.
Introduccin al visual prolog.
Semana 2
Secciones del prolog: domains, predicates,
clauses, goal.
Aridad de un predicado.
Operadores lgicos: and, or.
Construccin de reglas.
Semana 3
Objetivos simples y compuestos.
2

Actividad
El alumno adquiere
conceptos de
inteligencia artificial.

Ejercicios sobre
predicados.

Elaboracin de reglas.

Semana 4

Semana 5

Semana 6

Semana 7

Semana 8

Semana 9

Semana 10

Semana 11

Semana 12

Semana 13

Semana 14

Variables e instanciacin. Operadores de


relacin. Operador not. Construccin de reglas.
Variables annimas.
Expresiones aritmticas
Operadores aritmticos. Funciones matemtica.
Predicado fail. Predicado cut.
Programacin recursiva.
Regla repetitiva.
Regla recursiva.
Listas.
Definicin. Operaciones con listas: buscar,
insertar, eliminar, ordenar. Predicado findall
Cadenas.
Funciones que manejan cadenas: concat,
str_len, substring, frontchar, fronttoken.
Upper_lower.
Sistemas Expertos I:
Introduccin. Componentes. Ingeniera del
conocimiento. Visual prolog. Manejo de
archivos usando predicados: assertz, ra,
consult.
Sistemas expertos II:
Mecanismo e inferencia: basado en reglas y en
probabilidades. Sistemas expertos con motor
de inferencia basado en reglas. Manejo de
archivos usando predicados: db_create,
db_delete, db_open, db_close.
Sistemas expertos III:
Sistemas expertos usando base de
conocimiento.
Motor de inferencia probabilstico.
Construccin de un sistema experto.
Interfaz grfica de usuario y uso de
controles.

Programacin lisp.
Programacin simblica funcional. Calculo
lambda. Notacin: prefija, infija, postfija.
Operaciones bsicas.
Estructuras: tomo, listas. Variables,
asignaciones. Funciones bsica. Operadores
lgicos y de relacin. Funciones matemtica.
Listas y funciones de listas.
Iteracin y recursin.

Semana 15

Examen Final

Uso de operadores.
Prctica Calificada 1

Ejercicios sobre
recursividad.
Ejercicios sobre listas.

Manejos de funciones.

Aprender el entorno de
visual prolog.
Prctica Calificada 2

Ejercicios sobre manejo


de archivos.

Ejercicios con base de


conocimientos.

Casos sobre grficas de


usuario.
Elaborar programas en
lisp.
Prctica Calificada 3

Aplicar funciones
bsicas y matemticas
Exposicin y discusin.

10. FECHA DE ACTUALIZACIN: 19/02/2015.