Conceptos bsicos e Historia

Ing. Katya Faggioni Colombo

Qu es la I.A.?
Sistemas que piensan como humanos
El nuevo y excitante esfuerzo de hacer que los computadores piensen mquinas con mentes, en el ms amplio sentido literal . (Haugeland, 1985) La automatizacin de actividades que vinculamos con procesos de pensamiento humano, actividades como la toma de decisiones, resolucin de problemas, aprendizaje (Bellman, 1978)

Sistemas que piensan racionalmente*

El estudio de las facultades mentales mediante el uso de modelos computacionales (Charniak y McDermott, 1985) El estudio de los clculos que hacen posible percibir, razonar y actuar . (Winston, 1992)

Sistemas que actan como humanos

El arte de desarrollar mquinas con capacidad para realizar funciones que cuando son realizadas por personas requieren de inteligencia . (Kurzweil, 1990) El estudio de cmo lograr que los computadores realicen tareas que, por el momento, los humanos hacen mejor (Rich y Knight, 1991)

Sistemas que actan racionalmente

La Inteligencia Computacional es el estudio del diseo de agentes inteligentes . (Poole et al., 1998)

IA est relacionada con conductas inteligentes en artefactos . (Nilsson, 1998)

*Un sistema es racional si hace lo correcto , en funcin de su conocimiento

Enfoques de la I.A.
y Comportamiento humano: enfoque de la Prueba de Turing y Pensar como humano: el enfoque del modelo cognitivo y Pensamiento racional: el enfoque de las leyes del pensamiento y Actuar de forma racional: el enfoque del agente racional

Comportamiento Humano: el enfoque de la Prueba de Turing

y Propuesta por Alan Turing

(1950) y Diseada para proporcionar una definicin operacional y satisfactoria de inteligencia y Prueba basada en la incapacidad de diferenciar entre entidades inteligentes indiscutibles y seres humanos

Comportamiento Humano: el enfoque de la Prueba de Turing

El computador debera poseer las siguientes capacidades para pasar la prueba bsica: 1) Procesamiento de lenguaje natural 2) Representacin del conocimiento 3) Razonamiento automtico 4) Aprendizaje automtico La Prueba Global de Turing incluye adems: 5) Visin computacional 6) Robtica
http://www.jabberwacky.com/chat-george http://www.turinghub.com/ http://alice.pandorabots.com/

Pensar como un humano: el enfoque del modelo cognitivo

y Se requieren mecanismos

para determinar cmo piensan los humanos, penetrando en las mentes humanas: introspeccin y experimentos psicolgicos y Una vez que se cuente con una teora precisa sobre cmo trabaja la mente, se lo podr plasmar en el computador

Pensar como un humano: el enfoque del modelo cognitivo

En el campo interdisciplinario de la ciencia cognitiva convergen modelos computacionales de IA y tcnicas experimentales de psicologa intentando elaborar teoras precisas y verificables sobre el funcionamiento de la mente humana

Pensamiento racional: el enfoque de las leyes del pensamiento

y Aristteles codific la manera

correcta de pensar a travs de los silogismos LGICA

y Se desarrollaron programas

(1965) que inicialmente resolvan cualquier problema resoluble en notacin logista.

Actuar de forma racional: el enfoque del agente racional

y Agente = razona y Un agente racional es aquel

que acta con la intencin de alcanzar el mejor resultado o, cuando hay incertidumbre, el mejor resultado esperado

Actuar de forma racional: el enfoque del agente racional

Es necesario contar con la capacidad para representar el conocimiento y razonar basndonos en l, porque ello permitir alcanzar decisiones correctas en una amplia gama de situaciones.

Fundamentos de la I.A.
y Filosofa y Matemticas y Economa y Neurociencia y Psicologa y Ingeniera Computacional y Teora de control y ciberntica y Lingstica

Fundamentos de la I.A.
y Filosofa Los filsofos (desde el ao 400 A.C.) Filosofa:

facilitaron el poder imaginar la I.A. al concebir la idea de que la mente es de alguna manera como una mquina que funciona a partir del conocimiento codificado en un lenguaje interno, y al considerar que el pensamiento serva para seleccionar la accin a llevar a cabo.
y Lingstica Lingstica:

Los lingistas demostraron que el uso del lenguaje se ajusta a ese modelo.

Fundamentos de la I.A.
y Matemticas Las matemticas proporcionaron Matemticas:

las herramientas para manipular tanto las aseveraciones de certeza lgicas, como las inciertas de tipo probabilista. Asimismo, prepararon el terreno para un entendimiento de lo que es el clculo y el razonamiento con algoritmos.
y Economa Economa:

Los Economistas formalizaron el problema de la toma de decisiones para maximizar los resultados esperados.

Fundamentos de la I.A.
y Ingeniera Computacional Computacional:

Los informticos proporcionaron los artefactos que hicieron posible la aplicacin de la I.A.. Los programas de IA tienden a ser extensos y no podran funcionar sin los grandes avances en velocidad y memoria aportados por la industria informtica. que los humanos y los animales podan considerarse como mquinas de procesamiento de informacin.

y Psicologa Los Psiclogos adoptaron la idea de Psicologa:

Fundamentos de la I.A.
y Teora de control y ciberntica: La teora de ciberntica

control se centra en el diseo de dispositivos que actan de forma ptima con base en la retroalimentacin que reciben del entorno en el que estn inmersos. Inicialmente las herramientas matemticas de la teora de control eran bastante diferentes a las tcnicas que utilizaba la IA, pero ambos campos se estn acercando.

Fundamentos de la I.A.
y Neurociencia Neurociencia:

La neurociencia consiste en el estudio del sistema neurolgico, y en especial del cerebro. Las neuronas y las sinapsis del cerebro estn activas simultneamente, mientras que las computadoras actuales tienen una o como mucho varias UCP. Por tanto, incluso sabiendo que un computador es un milln de veces ms rpido en cuanto a su velocidad de intercambio, el cerebro acaba siendo 100.000 veces ms rpido en lo que hace.

Etapas en la historia de la I.A.

1. 2. 3. 4. 5. 6. 7. 8.

Gnesis de la inteligencia artificial Nacimiento de la Inteligencia Artificial Entusiasmo inicial, grandes esperanzas Una dosis de realidad Sistemas basados en el conocimiento: clave del poder? La IA se convierte en una industria Regreso de las redes neuronales IA se convierte en una ciencia

Gnesis de la I.A. (1943 1955)

y Warren McCulloch y Walter Pitts (1943): 1er trabajo de I.A. ; consista en un modelo constituido por neuronas artificiales (estmulos), a travs de 3 fuentes: y Conocimientos sobre fisiologa bsica y funcionamiento de las neuronas en el cerebro y Anlisis formal de la lgica proposicional de Russell y Whitehead y Teora de la computacin de Turing y Donald Hebb (1949): Regla de actualizacin para modificar las intensidades de las conexiones entre neuronas

Gnesis de la I.A. (1943 1955)

y Marvin Minsky y Dean Edmonds (Princeton, 1951):

Construyeron el 1er computador a partir de una red neuronal denominada SNARC* y Alan Turing (1950): Artculo Computing Machinery and Intelligence sobre una visin de la I.A.:
y Prueba de Turing y Aprendizaje automtico y Algoritmos genticos y Aprendizaje por refuerzo

Nacimiento de la I.A. (1956)

y John McCarthy (Dartmouth College):

Para aumentar el inters de los investig. americanos en las nuevas teoras, organiz un taller de 2 meses con 10 asistentes.
y Allen Newell y Herbert Simon (Carnegie Tech):

Prog. de razonamiento denominado Terico Lgico (TL), fue capaz de pensar de manera no numrica y Nombre propuesto por McCarthy para este campo:

INTELIGENCIA ARTIFICIAL

Entusiasmo inicial, grandes esperanzas (1952 - 1969)

y John McCarthy: Mira mam, ahora sin manos! y Newell y Simon: SRGP fue el 1er programa que

incorpor el enfoque pensar como un ser humano , lo que conllev (1976) a la hiptesis sistema de smbolos fsicos : estructura de datos compuestas por smbolos y Arthur Samuel (1952): Programa para juego de damas amateur TV en Feb 1956 y John McCarthy (MIT, 1958):
y Cre el lenguaje LISP; y Artculo

Programs with common sense : programa hipottico llamado generador de consejos considerado como el 1er sistema de I.A. completo

Entusiasmo inicial, grandes esperanzas (1952 - 1969)

y John McCarthy (Stanford, 1963): Cre el laboratorio

de Inteligencia Artificial. y Micromundos (1964-1969) : consisti en elegir un Nro. de problemas limitados cuya solucin pareci requerir inteligencia. Ejms:
y SAINT: problemas de integracin de clculo y ANALOGY: problemas de analoga geomtrica y STUDENT: problemas de lgebra y SHRDLU: El mundo de los bloques

Entusiasmo inicial, grandes esperanzas (1952 - 1969)

Una dosis de realidad (1966 - 1973)

y Herbert Simon (1957): Famoso comentario sobre el

futuro previsible y Problemas:

y traduccin automtica; y programas contaban con poco o ningn conocimiento de la

materia objeto de estudio

y Informe (1966): No se ha logrado obtener ninguna

traduccin de textos cientficos generales ni se prev obtener ninguna en un futuro inmediato .

Sistemas basados en el conocimiento: clave del poder? (1969 1979)

y 1ra dcada de IA: centrado en el desarrollo de

mecanismos de bsqueda de propsito general; razonamiento bsico para encontrar soluciones completas: mtodos dbiles y Programa DENDRAL (Stanford, 1969): 1er sistema de conocimiento intenso (sistema experto), que consistia en inferir una estructura molecular a partir de un espectrmetro de masas. y Programa MYCIN: sistema que diagnostica infecciones sanguneas, con 450 reglas aprox.

Sistemas basados en el conocimiento: clave del poder? (1969 1979)

y Comprensin del lenguaje natural: Problemas: y Representacin de situaciones estereotipo y Descripcin de la organizacin de la memoria humana y Comprensin de planes y objetivos y PROLOG: lenguaje basado en la lgica en Europa y PLANNER: lenguaje basado en la lgica en EEUU y Marcos: (Minsky, 1975): enfoque estructurado

La I.A. se convierte en una industria (1980 actualidad)

(McDermott, 1982): 1er sistema experto comercial exitoso; elaboracin de pedidos de nuevos sistemas informticos. y Quinta generacin (Japn, 1981): Plan de 10 aos para construir computadoras inteligentes utilizando Prolog. y Microelectronics and Computer Technology Corporation (USA): competitividad nacional en I.A. y El invierno de la I.A.
y R1

Regreso de las redes neuronales (1986 actualmente)

reinvent el algoritmo de aprendizaje de retroalimentacin en el campo de la informtica y de la psicologa. y Estos modelos de IA fueron llamados conexionistas y Tendencia actual: las aproximaciones conexionistas y simblicas son complementarias y no competidoras
y Se

I.A. se convierte en una ciencia (1987 actualmente)

y Predomina desarrollo sobre teoras ya existentes que

proponer teoras nuevas y La IA forma parte del mbito de los mtodos cientficos. Para que se acepten, las hiptesis se deben someter a rigurosos experimentos empricos, y los resultados deben analizarse estadsticamente para identificar su relevancia. y Un modelo de la tendencia actual es el campo del reconocimiento del habla. y Sistemas de I.A. han llegado a ser comunes en aplicaciones desarrolladas para la Web, Ejm: chatbot