FACULTAD DE INGENIERIA DE SISTEMAS, CMPUTO Y TELECOMUNICACIONES

Introduccin a los sistemas basados en el conocimiento

Ing. Carmen Rosa Pea Enciso

cpenciso@uigv.edu.pe

Introduccin a los sistemas basados en el conocimiento

Agenda:
Introduccin Inteligencia Artificial: definicin, evolucin y reas de aplicacin Sistemas inteligentes: definicin, atributos, caractersticas y diferencias Conocimiento: definicin, formas de representacin

Ing. Carmen Rosa Pea Enciso

Introduccin
La Inteligencia Artificial (IA) nace a mediados del siglo XX, con el fin de construir mquinas que pudieran pensar como el ser humano o emularle en alguna capacidad que denotara cierta inteligencia. Siendo el hombre homo sapiens (hombre sabio) es capaz de trascender a habilidades mentales tanto en su vida cotidiana como en su propio sentido de identidad. La IA se enfoca a crear y comprender entidades inteligentes, representar el conocimiento sobre un dominio muy concreto y razonar con l, las que son interesantes y tiles, generando productos de trascendencia y sorprendentes.
Ing. Carmen Rosa Pea Enciso

Introduccin
La IA desarrolla principios, mtodos, herramientas aplicables a la utilizacin del conocimiento humano en materias concretas para construir sistemas inteligentes capaces de percibir, razonar, comprender y producir un lenguaje natural utilizando procesos de aprendizaje. La IA formalmente se inicia en 1956, en la actualidad abarca desde reas de propsito general (percepcin y razonamiento lgico) hasta tareas especficas (ajedrez, demostracin de teoremas matemticos, diagnstico de enfermedades, etc.) y aplicaciones en diferentes entornos industriales.

Ing. Carmen Rosa Pea Enciso

Introduccin a los sistemas basados en el conocimiento

Agenda:
Introduccin Inteligencia Artificial: definicin, evolucin y reas de aplicacin Sistemas inteligentes: definicin, atributos, caractersticas y diferencias Conocimiento: definicin, formas de representacin

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: definicin

La Inteligencia Artificial es el estudio de las facultades mentales a travs del uso de modelos computacionales. Este trmino data de los aos 50 del siglo XX y se debe a un grupo de cientficos que estudiaron el cerebro humano como modelo natural, integrando la ciberntica y las computadoras (McCarthy, Minsky, Newell, Simon).

http://wwwformal.stanford.edu/jmc/

http://www.computerhis tory.org/fellowawards/h all/bios/Marvin,Minsky/

http://www.nap.e du/html/biomems /anewell.html

www.biografiasyvidas. com/biografia/s/simon _herbert.htm

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: definicin

La IA es una rama de la ciencia de la computacin que estudia los fundamentos tericos y prcticos del diseo de sistemas de computacin inteligentes, esto es, sistemas que, exhiben caractersticas inteligentes del ser humano. Para el estudio de situaciones catalogadas de inteligentes, la IA se desarrolla en conjunto con otras disciplinas: Filosofa Matemticas Psicologa Lingsticas Ciencias de la Computacin Ingeniera Medicina Economa, fsica, qumica, etc.
Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: definicin

La IA es el estudio de los sistemas de computacin que permiten realizar actividades consideradas inteligentes por el ser humano Patrick Winston, 1994
http://www.csail.mit.edu/user/804

La IA es el estudio de cmo hacer que los computadores realicen tareas en que, en el momento las personas son mejores. Elaine Rich, 1988
https://www.cs.utexas.edu/faculty/rich Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: definicin

Definiciones de IA de acuerdo a dos dimensiones principales: las que aparecen en la parte superior se refieren a procesos mentales y al razonamiento, en tanto que las de la parte inferior aluden a la conducta. Sistemas que piensan como humanos Sistemas que piensan racionalmente

Sistemas que actan como humanos

Sistemas que actan racionalmente

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: definicin

Las definiciones de la izquierda miden la condicin deseable en funcin de eficiencia humana, mientras que las de la derecha lo hacen de conformidad con un concepto de inteligencia ideal, denominado racionalidad. Se considera que un sistema es racional si hace lo correcto.
La interesante tarea de lograr que las computadoras piensenmquinas con mente, en su amplio sentido literal (Haugeland, 1985) [La automatizacin de] actividades que vinculamos con procesos de pensamiento humano, actividades tales como toma de decisiones, resolucin de problemas, aprendizaje (Bellman, 1978) El arte de crear mquinas con capacidad de realizar funciones que realizadas por personas requieren de inteligencia(Kurzwell, 1990) El estudio de cmo lograr que las computadoras realicen tareas que, por el momento, los humanos hacen mejor (Rich y Knight, 1991) El estudio de las facultades mentales mediante el uso de modelos computacionales (Charniak y McDermott, 1985) El estudio de los clculos que permiten percibir, razonar y actuar (Winston, 1992)

Un campo de estudio que se enfoca a la explicacin y emulacin de la conducta inteligente en funcin de procesos computacionales (Schalkoff, 1990) La rama de la ciencia de la computacin que se ocupa de la automatizacin de la conducta inteligente (Luger y Stubblefield, 1993)

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: evolucin

Las semillas se dio dos aos despus de la instalacin de la primera computadora comercial de la General Electric. En 1952 Ashby propona construir dispositivos que actuasen como amplificadores de la inteligencia humana. El 31 de Agosto de 1955, Marvin Minsky, John McCarthy, Nathan Rochester y Claude Shannon propusieron la celebracin de una reunin de dos meses de duracin, que tuvo lugar en el Dartmouth College durante el verano de 1956.
http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html
Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: evolucin

Su principal objetivo era discutir:la conjetura de que todos los aspectos del aprendizaje o de cualquier otra caracterstica de la inteligencia pueden, en principio, ser descritos de modo tan preciso que se pueda construir una mquina capaz de simularlos? El tema pareca tan novedoso que acuaron un nuevo trmino para l: Inteligencia Artificial.

Ese mismo ao se anunci la creacin del primer programa de computadora con IA llamado Logic Theorist, para demostrar teoremas de clculo, con capacidad limitada.

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: evolucin

Desarrollo histrico segn Jackson [1]
1950-1965: PERIODO CLSICO Gestacin [McColluck y Pitts, Shannon, Turing] Inicio - reunin de Darmouth College en 1956 [ Minsky, McCarthy] Redes neuronales, robtica (Shakey) Bsqueda en un espacio de estados, Heursticas, LISP Resolvedor general de problemas (GPS) [Newell, Simon] Juegos, prueba de teoremas Limitaciones de pura bsqueda, explosin combinatoria. PERIODO ROMNTICO

1965-1975:

Representacin general del conocimiento Redes semnticas [Quillian] Prototipos (frames) [Minsky] Perceptron [Minsky y Papert] Lgica [Kowalski] Mundo de bloques (SHDRLU) [Winograd] Compresin de lenguaje, visin, robtica. Dificultades de representacin general, problemas de juguete

[1] Gonzalo Pajares Martinsanz y Matilde Santos Peas. Inteligencia Artificial e Ingeniera del Conocimiento

Inteligencia Artificial: evolucin

Desarrollo histrico segn Jackson [1]
1975-HOY: PERIODO MODERNO

Inteligencia especfica vs. general Representacin explcita del conocimiento especfico del dominio. Sistemas expertos o basados en conocimiento. Regreso de redes neuronales [Hopfield, Rumelhart, Hinton], algoritmos genticos [Holland, Goldberg], Reconocimiento de voz (HMM), incertidumbre (RB, Lgica difusa), planeacin, aprendizaje. Aplicaciones reales (medicina, finanzas, ingeniera, exploracin, etc.). Limitaciones: conocimiento superficial

[1] Gonzalo Pajares Martinsanz y Matilde Santos Peas. Inteligencia Artificial e Ingeniera del Conocimiento

Inteligencia Artificial: evolucin

Desarrollo histrico segn Russell y Norving [2]
1943-1956: GESTACIN McCullock y Pitts (43), Hebb (49), Shannon (50) Turing (53), Minsky y Edmonds (51). Darmouth College (56), McCarthy, Newell y Simon The Logic Theorist GRANDES EXPECTATIVAS

1952-1969:

Samuel - Checkers (52), McCarthy (58): Planificacin temporal, Programas con sentido comn. Minsky y McCarthy en MIT moldearon mucho del rea. (63) McCarthy se fue a Stanford SRI, Shakey, etc. Minsky, Evans, Student, Waltz, Winston, Winograd. Trabajo en RN: Hebb, Widrow, Rosenblatt DOSIS DE REALIDAD

1966-1976:

Simon predeca que en 10 aos se tendra una mquina inteligente. Predicciones similares en traduccin automtica y ajedrez. Teora de NP-completitud. Experimentos en machine evolution (ahora algoritmos genticos) (Friedberg, 58). Minsky y Papert: Perceptrones (69); el mismo ao se descubri backpropagation (Bryson y Ho)

[2] Gonzalo Pajares Martinsanz y Matilde Santos Peas. Inteligencia Artificial e Ingeniera del Conocimiento

Inteligencia Artificial: evolucin

Desarrollo histrico segn Russell y Norving [2]
1969-1979: SISTEMAS BASADOS EN CONOCIMIENTO Dendral , Mycin , HPP, Prospector, Winograd SHDRLU, Shank (no hay sintxis), frames, Prolog, Planner IA como industria (1980-1988): R1/XCON, proyecto de la quinta generacin, shells y mquinas de Lisp...

1986-HOY:

VUELTA A LAS REDES NEURONALES

Hopfield, Rumelhart y Hinton y descenso de los Sistemas Expertos

1987-HOY:

LOGROS RECIENTES

Cambio gradual hacia reas aplicadas (cierto grado de madurez y estabilidad); reconocimiento de voz (HMM), incertidumbre (Bayes), planeacin (Tweak), robtica, aprendizaje, etc.

[2] Gonzalo Pajares Martinsanz y Matilde Santos Peas. Inteligencia Artificial e Ingeniera del Conocimiento

Inteligencia Artificial: reas de aplicacin

Inteligencia Artificial

Aplicaciones de la ciencia cognoscitiva Sistemas expertos Sistemas de aprendizaje Lgica difusa Algortmos genticos Redes neurorales Agentes inteligentes

Aplicaciones de la robtica

Aplicaciones de las interfaces naturales Lenguajes naturales Reconocimiento del lenguaje Interfaces sensoriales mltiples Realidad virtual

Percepcin visual Perceptible al tacto Agilidad mental Capacidad locomotriz Navegacin

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: reas de aplicacin

En 1962 Carl Adam Petri public su tesis doctoral en la que por primera vez se formulaba una teora general para sistemas discretos paralelos. Las redes de Petri son una generalizacin de la teora de autmatas, y utilizan mtodos grficos para Redes de Petri representar sistemas como condiciones y eventos. Un modelo de red de Petri formula las propiedades de un sistema en el lenguaje de la lgica aunque tambin utiliza la representacin algebraica. Campo pionero de la IA. En Sistema experto es bsicamente un conjunto de programas informticos que aplica el proceso del razonamiento humano al conocimiento de un experto en la solucin de tipos especficos de problemas. Son sistemas basados en reglas de produccin u otros procesos de razonamiento. Algunas de sus caractersticas son: la heurstica, el tratamiento simblico, la toma de decisiones, la memoria, la prediccin y la inferencia.

Sistemas Expertos

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: reas de aplicacin

La lgica fuzzy o borrosa, una forma matemtica de representar la imprecisin inherente al lenguaje natural, introducida por Lofti A. Zadeh en 1965. Es una generalizacin de la lgica clsica : las variables toman valores lingsticos de verdad. La pertenencia a los conjuntos borrosos es gradual. Implementa la forma de razonar propia del sentido comn. En la dcada de los 80 se empez a considerar este paradigma computacional conexionista cuya estructura emula el proceso biolgico del aprendizaje humano. Son sistemas compuestos por muchos elementos de procesamiento (neuronas) que operan en paralelo, cuya funcin es determinada por la estructura de la red, las conexiones y el procesamiento local realizado por los elementos computacionales o nodos. Las redes neuronales pueden aprender de datos de entrenamiento, y en realidad son aproximaciones de funciones matemticas.

Lgica Fuzzy

Redes Neuronales

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: reas de aplicacin

Inspirada en el mundo biolgico, desarrolla programas usando analogas con procesos biolgicos tales como la evolucin y la seleccin natural. Se aplica satisfactoriamente, sobre todo, a problemas de optimizacin , programacin automtica y aprendizaje de mquinas. Dentro de ella se encuentra los Algoritmos Genticos y el sistema computacional inmunizado, basado en la operacin de un sistema biolgico inmune. En algoritmo gentico es esencialmente un procedimiento de bsqueda y optimizacin modelado segn los mecanismos genticos de seleccin natural de los seres vivos. Surgieron del estudio de los autmatas celulares llevado a cabo por Holland en 1975. Su funcionamiento bsico es evolucionar a partir de una poblacin que representa las soluciones candidatas (individuos) para un determinado problema, intentando producir nuevas generaciones de soluciones mejores de las anteriores, evaluadas por una funcin de ajuste. Se utilizan en problemas complejos de optimizacin por su paralelismo implcito y su habilidad para mantener mltiples soluciones concurrentemente.
Ing. Carmen Rosa Pea Enciso

Computacin Evolutiva

Algoritmos Genticos

Inteligencia Artificial: reas de aplicacin

Aplica los principios evolutivos de los AG para hacer evolucionar programas informticos. La programacin gentica conduce predominio de los programas ms aptos para la solucin de un problema dado. La poblacin son programas, donde cada nueva generacin se obtiene por la reproduccin de los programas que funcionan mejor, con un pequeo factor de mutaciones aleatorias. Es un conjunto de tcnicas utilizadas para examinar y determinar relaciones altamente complejas entre datos que han sido inicialmente clasificados al azar. Una caracterstica de este tipo de datos es que una pequea variacin en las condiciones iniciales puede dar lugar a cambios drsticos en los resultados muy rpidamente. El supuesto fundamental de la teora del caos es que la unidad individual no importa; lo que importa son las simetras recursivas entre los diferentes niveles del sistema.

Programacin Gentica

Teora del Caos

Ing. Carmen Rosa Pea Enciso

Inteligencia Artificial: reas de aplicacin

Ing. Carmen Rosa Pea Enciso

Introduccin a los sistemas basados en el conocimiento

Agenda:
Introduccin Inteligencia Artificial: definicin, evolucin y reas de aplicacin Sistemas inteligentes: definicin, atributos, caractersticas y diferencias Conocimiento: definicin, formas de representacin

Ing. Carmen Rosa Pea Enciso

Atributos de comportamiento inteligente

La IA est tratando de reproducir estas capacidades en los sistemas computacionales: Pensar y razonar. Utilizar la razn para solucionar problemas. Aprender y comprender con base en la experiencia. Adquirir y aplicar conocimiento. Mostrar creatividad e imaginacin. Abordar situaciones complejas y complicadas. Responder con rapidez y xito a nuevas situaciones Reconocer la importancia relativa de los elementos en una situacin. Manejar informacin ambigua, incompleta o errnea.
Ing. Carmen Rosa Pea Enciso

Caractersticas Inteligentes:

Resolucin de problemas
Comprensin de lenguaje natural

Aprendizaje
Razonamiento

Percepcin (visin y habla)

Ing. Carmen Rosa Pea Enciso

Computador inteligente:
El computador inteligente es aquel que responde a la pregunta mismo que la respuesta no tenga sido almacenada. Esto es, con los hechos que fueron almacenados y con un "conocimiento" que fue tambin almacenado, el deduce una respuesta que no estaba almacenada en su memoria.

El computador inteligente es aquel que usa IA

Ing. Carmen Rosa Pea Enciso

Computador inteligente:
Ejemplo: Hecho 1: Mirna es hija de Sonia. Hecho 2: Santiago es hijo de Sonia. Conocimiento 1: hermano o hermana es aquel que es hijo del mismo padre o madre Pregunta: Mirna es hermana de Santiago? SI.

Respuesta del Computador:

Ing. Carmen Rosa Pea Enciso

Visin por computadora: definicin y reas

Es la tarea de procesar una informacin, de comprender una escena a partir de las imgenes por ella proyectada. Esta aplicacin puede ser dividida en tres reas: (i) Procesamiento de Seales ( Imgenes )
Transformar una imagen. Ejemplo: fotografa de una parte de la tierra por satlites, en una u otra imagen que tenga ciertas propiedades deseadas, saber donde existe plantacin de caf y si sufri helada.

(ii) Clasificacin de seales

Son hechas en categoras pr-determinadas.

(iii) Entendimiento de seales

Dada una imagen, se construye un programa de entendimiento de imgenes que contiene una descripcin, no solo de la propia imagen, mas tambin de la escena que ella retrata.
Ing. Carmen Rosa Pea Enciso

Sistemas inteligentes: diferencias

Sistemas Inteligentes Procesamiento simblico (conocimiento) Estructura de control del programa independiente del dominio del conocimiento (variando el conocimiento no cambia el programa) Fcil de modificar y actualizar Respuestas satisfactorias son aceptadas

Sistemas de Procesamiento de Datos Procesamiento numrico (datos) Estructura de control e informaciones integrados (cambiando la informacin cambia el programa) Difcil de modificar Slo se admite la mejor solucin posible

Ing. Carmen Rosa Pea Enciso

Lenguaje Natural: definicin

Estudio y desarrollo de interactuar con el computador con un lenguaje natural. La comunicacin es hecha en lenguaje computacional, que tiene sintaxis y semntica rgidas y limitadas, mas fciles de ser usadas por la mquina. Ejemplos: Delphi, Visualbasic, C, LISP, CLIPS, PYTHON. Para que el computador entienda el Lenguaje Natural (hablado y escrito) es necesario colocar en su interior "conocimientos" del tipo: estructura de las sentencias (gramtica); significado de las palabras (diccionario sintctico); morfologa de las palabras; reglas de conversacin, etc.
Ing. Carmen Rosa Pea Enciso

Lenguaje Natural: caractersticas

Sus estructuras de datos deben reflejar de una manera natural y conveniente, ciertas caractersticas de los elementos que el programador de IA ve en el problema. En sus estructuras de control estos lenguajes deben tener caractersticas de multiprocesamiento y "demo" (es un proceso normalmente suspenso, a la espera de un hecho, y que es activado automticamente en la ocurrencia de este). En el aspecto de ambiente de programacin, los lenguajes de IA deben ser bastante interactivas, tener un buen editor (se puede crear un programa rpidamente) y finalmente tener facilidades interactivas de depuracin (aciertos en el programa).
Ing. Carmen Rosa Pea Enciso

Introduccin a los sistemas basados en el conocimiento

Agenda:
Introduccin Inteligencia Artificial: definicin, evolucin y reas de aplicacin Sistemas inteligentes: definicin, atributos, caractersticas y diferencias Conocimiento: definicin, formas de representacin

Ing. Carmen Rosa Pea Enciso

Conocimiento: formas de representacin

Son mtodos usados para "modelar" en forma eficiente los conocimientos de especialistas en alguna rea del saber, de forma que pueda ser usado por el usuario de un sistema inteligente. El conocimiento puede ser considerado como una entidad simblica -> Procesamiento simblico: Red Semntica o Grafo Registro Predicado Red de inferencias Otros

Ing. Carmen Rosa Pea Enciso

Red Semntica o Red de proposiciones

Forma de conocimiento declarativo porque establecen hechos. La estructura de la red se muestra grficamente en trminos de nodos y los arcos como vnculos o bordes. Los vnculos se utilizan para expresar relaciones entre objetos. Los nodos representan objetos fsicos, conceptos o situaciones.

Ing. Carmen Rosa Pea Enciso

Red Semntica o Red de proposiciones

Ejemplo - Juan es hijo de Ral y Susy - Juan estudia Ing. de Sistemas
Es hijo
Es hijo
Ral

Juan

Susy

Estudia

Ing. de Sistemas

Ing. Carmen Rosa Pea Enciso

Registro
Los objetos y relaciones se representan mediante una coleccin de datos simples llamados campos o tomos. Un campo o tomo puede ser una coleccin de campos.
Ejemplo - Juan es hijo de Ral y Susy - Juan estudia Ing. de Sistemas (Juan (es hijo de Ral) (es hijo de Susy) (estudia Ing. de Sistemas))
Ing. Carmen Rosa Pea Enciso

Predicado
Cada relacin se representa como un predicado o funcin de valores lgicos y con argumentos los objetos: Relacin (objeto1, objeto2,...,) Esta funcin asume valor verdadero o falso, segn se verifique o no para los objetos involucrados.
Ejemplo - Juan es hijo de Ral y Susy - Juan estudia Ing. de Sistemas Hijo (Juan, Susy) Hijo (Juan, Ral) Estudia (Juan, Ing. de Sistemas) Hijo (Juan, Mara)

Verdadero Verdadero Verdadero Falso

Ing. Carmen Rosa Pea Enciso

Red de Inferencias
alerta evacuacin

R10 R12
R11 lluvia cambio

R9

R8 R7 nivel

R4 R16 R17 R18 R6 R5

R14 R3 estacin R2 R13

R15

R1

previsin

precipitaciones

mes

altura

Ing. Carmen Rosa Pea Enciso

Ejemplos
La siguiente figura es una Red Semntica? Qu representa?
San Francisco
Chicago Nueva York

Indianpolis

Los Angeles Houston

Ing. Carmen Rosa Pea Enciso

La siguiente figura es una Red Semntica? Qu muestran los vnculos? Qu se puede inferir entre Juana y Pedro? Construya los hechos. Represente el conocimiento como Registro y predicado.

hermana de Pedro Ana David

Juana

esposa de esposo de

esposa de
esposo de

madre de
Rosa

padre de

madre de

padre de Toms

esposa de esposo de madre de Mara

Ing. Carmen Rosa Pea Enciso

padre de

un_tipo_de : relaciona nodos genricos con nodos genricos. es_un : relaciona un caso o un individuo con una clase genrica

Aeronave

Red semntica mediante guiones

un_ tipo_de

un_ tipo_de

un_ tipo_de

redonda

tiene forma

globo

Manejo a propulsin
un_ tipo_de

Jet

un_ tipo_de

un_ tipo_de Elipsoidal

un_ tipo_de

un_ tipo_de

un_ tipo_de tiene forma dirigible Especial DC-9

Concorde

DC-3
es_un Espritu de San Luis

es_un
Dirigible Goodyear
Ing. Carmen Rosa Pea Enciso

es_un

Fuerza Area 1

Red Semntica aplicado a Sistemas de Comunicacin

Ing. Carmen Rosa Pea Enciso

Red Semntica: Inteligencia artificial, dimensiones de la IA, aplicaciones de IA, sistemas inteligentes segn sectores

Ing. Carmen Rosa Pea Enciso

Red Semntica: compra de computadora

Ing. Carmen Rosa Pea Enciso

Red Semntica aplicado a Tecnologas de Comunicacin

Ing. Carmen Rosa Pea Enciso

Red de inferencia asociado a reglas

R1: ABCH R2: DEA

A

Y B C

R3: FB
R4: GJC R5: KLD
D

Ing. Carmen Rosa Pea Enciso

Conjunto de reglas que puede producir ms de una conclusin final

Ing. Carmen Rosa Pea Enciso

Red Semntica aplicado a los medios de transmisin

Ing. Carmen Rosa Pea Enciso

Tarea N 1 (individual)

Construya una red semntica que muestre el conocimiento de Data Centers como definicin, uso, caractersticas, tipos, componentes, equipamiento, marcas, modelos, servicios que brinda, proveedores, niveles, etc. Debe utilizar guiones: un_tipo_de, es_un, as como vnculos que muestren dicho conocimiento.

Ing. Carmen Rosa Pea Enciso