Professional Documents
Culture Documents
Programacin Lgica
OBJETIVOS GENERALES El alumno al trmino del curso est capacitado para aplicar los conocimientos sobre la programacin lgica y funcional aplicada con herramientas de software de programacin.
OBJETIVOS ESPECIFICOS Fundamentacin terica de la Programacin lgica y funcional Aplicacin de programacin lgica con el lenguaje de programacin PROLOG. Aplicacin de programacin funcional con el lenguaje de programacin LISP.
Ing. Sal Prez Vega
Donde:
EP 2 EF PP PF 4
The Art of Prolog, Leon Sterling & Ehud Shapiro, MIT Press Programming in Prolog, Clocksin & Mellish, SpringerVerlag "Logic, Programming and Prolog", Ulf Nilsson and Jan Maluszynski , Segunda Edicin, Noviembre 2000. Prolog Programing For Artificial Inteligence. IVAN BRATKO. Language Tutorial Prolog. Broendby Denmark. Lisp, WINSTON, P.H. y HORN, B.K.P. X. Addison-Wesley Lisp, HENRY, PATRICK; HORN , Tercera Edicin, Ed. McGraw Hill
Introduccin IA reas de la IA
Sistemas Expertos Representacin del Conocimiento Programacin Lgica vs Programacin Funcional Fundamentos de la Programacin Lgica
Ing. Sal Prez Vega
Introduccin a IA
Es una rama de la ciencia de la computacin que estudia los fundamentos tericos y prcticos de sistemas que muestran caractersticas inteligentes del ser humano, como: resolucin de problemas, comprensin de lenguajes, aprendizaje, razonamiento.
La IA trata de encontrar tcnicas para disear y programar computadoras que emulen y entiendan nuestras capacidades mentales.
Ing. Sal Prez Vega
Introduccin a IA
La inteligencia artificial estudia como lograr que las mquinas realicen tareas que, por el momento, son realizadas mejor por los seres humanos.
Que es inteligencia?
Memoria de elefante
Tipos de Inteligencia
Verbal Lingstica Lgico Numrica Espacial Fsica o Kinestsica Intrapersonal o Emocional Interpersonal Natural o Ambiental Musical
reas de la IA
Sistemas Expertos Juegos Robtica Visin Artificial Prueba de teoremas y matemticas simblica Autoaprendizaje Lenguaje Natural
Ing. Sal Prez Vega
Sistemas Expertos
a) Luis es alumno b) Luis le gusta teme a los perros c) Perro es un mamfero d) Un mamfero toma leche.
2. Tipo Estructura
Los objetos y las relaciones se representan mediante una coleccin de datos simples llamamos campos. (campo1, campo 2, . . . . . . , campo n) A su vez cada campo puede tener otros campos
Ejemplo: ( Luis (es alumno) (teme perros) ) ( Perro (es mamfero) ) ( Mamfero (toma leche) )
LISP
Ing. Sal Prez Vega
3. Tipo Predicado
Cada relacin se representa mediante un predicado que puede tomar el valor de Verdadero o Falso, segn se cumpla o no para los objetos involucrados. Ejemplo: Es ( Luis, alumno ) Teme ( Luis, perro ) Es ( perro, mamfero ) Toma ( Mamfero, leche )
Verbo Sustantivo
PROLOG
Ing. Sal Prez Vega
Ejercicio # 1
1. Se define un sistema por las reglas: a) A, B y C son bloques. b) M es una mesa. c) A esta encima de M, C encima de A y B encima de C. d) A es de color Azul, B es Blanco y C es Rojo.
Solucin # 1
B C A M
Ejercicio # 2
Dada las siguientes relaciones a) Si Daniel, Betsy y Sandra son hijos de Gustavo y Marlene y b) Luis, Rosa y Patricia son hijos de Daniel. c) Kelly y Mayra son hijas de Betsy d) Kelly, Mayra, Luis, Rosa y Patricia son Nietos de Gustavo y Marlene. Representar estas relaciones usando Grafos, Estructura y Predicados
Ejercicio # 3
Las tres ranas de la derecha tienen que quedar en la izquierda y viceversa. Estas ranas quieren cruzar el charco, el problema es que tres de ellas quieren ir en un sentido y las otras en el sentido contrario, as que no habiendo forma de ponerlas de acuerdo, te corresponde ayudarles. Reglas: Slo cabe una rana en cada piedra. Si la rana est mirando a la derecha, la rana slo ir hacia la derecha, lo mismo para la izquierda. Salta mximo de piedra a piedra o sobre otra rana si la piedra siguiente est vacia. Si te atascas, termina el juego y vuelve a empezar.
Ing. Sal Prez Vega
La rana saltarina
Ejercicio # 4
Tres misioneros se perdieron explorando una jungla. Separados de sus compaeros, sin alimento y sin radio, slo saban que para llegar a su destino deban cruzar un ro que les bloqueaba el paso, preguntndose que podan hacer. De repente, aparecieron tres canbales llevando un bote, pues tambin ellos queran cruzar el ro. Ya anteriormente se haban encontrado grupos de misioneros y canbales, y cada uno respetaba a los otros, pero sin confiar en ellos. Los canbales se lo coman a los misioneros cuando los superaban en nmero en cualquiera de las dos orillas.
sperez@utp.edu.pe