CLASE 1

Facultad de Ingeniera de Sistemas

Programacin Lgica

Ing. Sal Prez Vega

Ing. Sal Prez Vega

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

Asignaturas tericos-prcticos de aula y/o laboratorio. El promedio Final ser:

Donde:

EP 2 EF PP PF 4

EP= Examen Parcial EF= Examen Final PP= Promedio de Prcticas

Ing. Sal Prez Vega

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

Ing. Sal Prez Vega

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.

Ing. Sal Prez Vega

Que es inteligencia?

Ing. Sal Prez Vega

Ing. Sal Prez Vega

Inteligencia es la capacidad para resolver problemas nuevos

Ing. Sal Prez Vega

Memoria de elefante

Ing. Sal Prez Vega

Tipos de Inteligencia
Verbal Lingstica Lgico Numrica Espacial Fsica o Kinestsica Intrapersonal o Emocional Interpersonal Natural o Ambiental Musical

Ing. Sal Prez Vega

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

Ing. Sal Prez Vega

Representacin del Conocimiento

Ing. Sal Prez Vega

1. Tipo Grafo o Red Semntica

Emplea crculos u valos para representar a los objetos y arcos rotulados para las relaciones.
Considerar un sistema dado por las siguientes relaciones:

a) Luis es alumno b) Luis le gusta teme a los perros c) Perro es un mamfero d) Un mamfero toma leche.

Ing. Sal Prez Vega

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.

Ing. Sal Prez Vega

Solucin # 1
B C A M

Ing. Sal Prez Vega

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

Ing. Sal Prez Vega

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

Ing. Sal Prez Vega

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.

Ing. Sal Prez Vega

Programacin Lgica vs Funcional

Los problemas de IA se escriben en lenguajes especiales como LISP o PROLOG, porque ofrecen recursos adecuados para representar y procesar datos de sistemas de inteligencia artificial, se pueden utilizar otros lenguajes convencionales como C++, Pascal, Visual Basic, etc, pero estos exigen mayor esfuerzo en el diseo y manejo de los datos del problema. LISP List Processing PROLOG Programing Logic
Ing. Sal Prez Vega

Ing. Sal Prez Vega

sperez@utp.edu.pe

Ing. Sal Prez Vega