introduccion ia

22
Curso: PROGRAMACION LOGICA Curso: PROGRAMACION LOGICA Ing. Saúl Pérez Vega

Upload: guest0f15a9

Post on 26-Jul-2015

334 views

Category:

Business


0 download

TRANSCRIPT

Curso: PROGRAMACION Curso: PROGRAMACION LOGICALOGICA

Ing. Saúl Pérez Vega

Es una rama de la ciencia de la computación que estudia los fundamentos teóricos y prácticos de sistemas que muestran características inteligentes del ser humano, como: resolución de problemas, comprensión de lenguajes, aprendizaje, razonamiento.

La IA trata de encontrar técnicas para diseñar y programar computadoras que emulen y entiendan nuestras capacidades mentales.

La inteligencia artificial estudia como lograr que las máquinas realicen tareas que, por el momento, son realizadas mejor por los seres humanos.

Áreas de la IA Sistemas Expertos Juegos Lenguaje Natural Robótica Visión Artificial

Los problemas de I.A. 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 diseño y manejo de los datos del problema.

 LISP : List Processing PROLOG : Programing Logic

•Las técnicas de programación convencional se usan para crear sistemas de procesamientos de datos.•Estos sistemas son capaces de recopilar y procesar grandes volúmenes de datos•Para tal fin se utilizan algoritmos que se ejecutan paso a paso, para garantizar que el resultado correcto se alcanzará cuando se ingresen los datos adecuados.•Los programas convencionales son mantenidos por programadores.

Programación ConvencionalProgramación Convencional

• Los sistemas basados en el conocimiento son interactivos• Las tareas realizadas por un sistema experto han sido previamente realizadas por un experto humano.• Los sistemas expertos reciben mantenimiento por ingenieros en conocimiento y expertos.

Ingeniería del ConocimientoIngeniería del Conocimiento

 Son programas que usan conocimientos de una determinada área y procedimientos de inferencia, para solucionar problemas, que son suficientemente difíciles para requerir significativamente experiencia humana en su solución. La tecnología que se ocupa del desarrollo de sistemas expertos es la Ingeniería del Conocimiento. 

Sistemas Expertos basados en el Conocimiento

Representación del Representación del ConocimientoConocimiento Un programa es un conjunto de instrucciones que se suministran al computador para que lea datos, los procese y proporcione resultados. Los datos de entrada y de salida son dados en lenguaje natural, sin embargo los procesos internos del programa usan y producen datos expresados en forma especial llamada representación interna. Una representación interna provee una notación adecuada para designar los objetos y las relaciones entre ellos. 

DatosDatos de de EEntradantrada

Procesos Procesos InternosInternos

DatosDatos de de SalidaSalida

Representación Interna

Representación Interna

Representación del Representación del ConocimientoConocimiento

 Emplea círculos u óvalos para representar a los objetos y arcos rotulados para las relaciones. Ejemplo: Considerar un sistema dado por las siguientes relaciones:

a) Luis es alumnob) Luis teme a los perros c) Perro es un mamífero temed) Un mamífero toma leche. 

TIPO GRAFO O DE RED TIPO GRAFO O DE RED SEMANTICASEMANTICA

Los objetos y las relaciones se representan mediante una colección de datos simples llamamos campos.  (campo1, campo 2, . . . . . . , campo n)

A su vez cada campo puede tener otros camposEjemplo:( Luis (es alumno) (teme perros) )

( Perro (es mamífero) )( Mamífero (toma leche) )

 LISP utiliza este tipo de representación 

TIPO ESTRUCTURATIPO ESTRUCTURA

Cada relación se representa mediante un predicado que puede tomar el valor de Verdadero o Falso, según se cumpla o no para los objetos involucrados.Ejemplo:Es ( Luis, alumno )Teme ( Luis, perro )Es ( perro, mamífero )Toma ( Mamífero, leche )

verbo sustantivos o adjetivo

TIPO PREDICADOTIPO PREDICADO

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. 

EjerciciosEjercicios

Solución Ejercicio: 1Solución Ejercicio: 1

B

C

A

M

Solución:Solución:a)a)Tipo grafo o red semánticaTipo grafo o red semánticab)b)Tipo RegistroTipo Registroc)c)Tipo PredicadoTipo Predicado

2. Si:  a)Si Armando es hijo de Alexander y de María del Pilar, y b)Harry, Jahayra y Katiuska son hijos de Armando.

Representar estas relaciones usando Grafos, Estructura y Predicados

EjerciciosEjercicios

3. Problema de los 9 puntos:  Dado 9 puntos como se indica en la figura

* * ** * ** * *

Trace con un lápiz sin levantarlo, 4 líneas (o segmentos de rectas) que los unan.

Suponga que las líneas pueden extenderse fuera de los puntos.

EjerciciosEjercicios

4. Pedro se dirige a una ciudad A recorriendo un camino que en un cierto punto se bifurca. En este lugar habitan dos personas, una que siempre dice la verdad y otra que siempre miente. Pruebe que si uno de ellos responde afirmativamente a la pregunta:¿O ud. Es veraz y el camino de la izquierda conduce a A, o bien ud. Es mentiroso y el otro camino conduce a A?Entonces es cierto que el camino de la izquierda conduce a A.

EjerciciosEjercicios

5. Dos cajas contienen galletas y chocolates y una tercera ambos productos. Las cajas tienen las etiquetas GALLETAS, CHOCOLATES y MIXTO, pero todas en forma errónea. Al extraer un producto de cada una de ellas se obtuvo un chocolate, una galleta y un chocolate, respectivamente. Determine el contenido de cada caja.

EjerciciosEjercicios