¿Qué es la Inteligencia Artificial?

1/22
•“The exciting new effort to make
computers think . . . machines
with minds, in the full and literal
sense” (Haugeland, 1985)
•“[The automation of] activities
that we associate with human
thinking, activities such as
decision­making, problem solving,
learning” (Bellman, 1978)
•“The branch of computer science
that is concerned with the
automation of intelligent
behavior” (Luger and Stubblefield,
1993)
•“The study of mental faculties
through the use of computational
models” (Charniak and McDermott,
1985)
•“The study of the computations
that make it possible to perceive,
reason, and act” (Winston, 1992)
•“The study of how to make
computers do things at which, at
the moment, people are better”
(Rich and Knight, 1991)
2/22

•“A field of study that seeks to
explain and emulate intelligent
behavior in terms of computational
processes” (Schalkoff, 1990)
•“IA es la atribuida a las máquinas
capaces de hacer operaciones
propias de seres inteligentes”
(DRAE, 1992)
•“The art of creating machines
that perform functions that
require intelligence when
performed by people”
(Kurzweil, 1990)
•“Conjunto de técnicas de
programación de ordenadores,
que mediante algoritmos
específicos, intentan encontrar
la solución más adecuada a un
problema complejo”
3/22
 IA débil
“Inteligencia sólo externa”

¿Es
¿Esreproducible
reproduciblela
laconducta
conductainteligente
inteligente??

IA fuerte
“Máquina inteligente
Mente consciente”

4/22
¿Cómo se sabrá que se ha conseguido
una máquina inteligente?

Test de Turing

5/22
Críticas al Test de Turing :

IA fuerte:
Habitación + sujeto +
instrucciones =
conciencia.

6/22
 1678. Leibniz: Característica universal
1847. Boole: El álgebra de la lógica
1869. Jevons: Máquina lógica
1879. Frege: Cálculo de predicados
BASE LÓGICA

1899. Hilbert: Formalismo

1910. Whitehead y Russell: Logicismo
1931. Gödel: Incompletitud
1931. Tarski: Concepto de verdad
1936. Church: Indecidibilidad
1936. Turing: Máquina universal
1943. Post: Reglas de producción
1954. Markov: Algoritmo de control de reglas

7/22
 1270. Raimundo Lulio: Ars Magna
PRIMEROS AUTÓMATAS

1637. Descartes: Discurso del método

1641: Pascal: Sumadora mecánica
1672: Leibniz: Multiplicadora mecánica
1832. Babbage: Máquina diferencial
1842: Babbage: Máquina analítica
1869. Jevons: Máquina lógica
1890. Hollerith: Tabuladora
1912. Torres Quevedo: Máquina de ajedrez
1936. Turing: Máquina universal
1941. Zuse: Computadora programable de
propósito general

8/22
 1943. Bletchey Park: Colossus (descifradora
PRIMEROS AUTÓMATAS

de códigos)
1945. Eckert y Mauchley: ENIAC
1945. Von Neuman: Almacenaiento de
programas
1948. U. Manchester: Mark I ejecuta su
primer programa
1949. Eckert y Mauchley: BINAC (máquina con
programa almacenado).
1951. Eckert y Mauchley: UNIVAC
(computadora comercializada)

9/22
 ¿DE DÓNDE VIENE LA I.A.?
LÓGICA AUTÓMATAS

HEURÍSTICA CIBERNÉTICA
1945: POLYA 1948: WIENER

PROGRAMA JUEGO DE LA
AJEDREZ IMITACIÓN
1950: SHANNON 1950: TURING

DEMOSTRADOR CONFERENCIA DE
ARITMÉTICO DARMOUTH
1954: M. DAVIS 1956: NACIMIENTO

10/22
1956:  Conferencia de Darmouth: Nacimiento de la I.A.
 Newell y Simon: Teórico Lógico (TL).
 Proyecto GAT de traducción automática.

1957:  Newell, Shaw y Simon: General Problem Solver (GPS).

1958:  McCarthy: Lenguaje LISP.

1959:  Gelernter: Geometry Theorem Prover (GTP).

 Rosenblatt: Perceptrón.
 Samuel: Programa de damas.

11/22
1961:  Slagle: SAINT (Symbolic Automatic INTegrator).

1963:  Evans: ANALOGY.

 Quillian: Redes semánticas.

1964:  Bobrow:STUDENT.

1965:  DENTRAL.
 Robinson: Principio de resolución.
 Weizenbaum: ELIZA.

1968:  Moses: MACSYMA.

1969:  Green: Sistemas de planificación y respuesta de preguntas.

 Minsky y Papert: “Perceptrons”.

12/22
1970:  Winograd: SHRDLU.

1971:  Colby: PARRY.

 Fikes y Nilsson: STRIPS.
 Huffman: Visión.
 Hewitt: PLANNER.

1972:  Kowalski: Programación lógica.

1973:  Colmerauer y Roussel: PROLOG.

 Woods: LUNAR.

13/22
1974:  Shortliffe: MYCIN.

1975:  Minsky: Frames.

1976:  PROSPECTOR.
 Lenat: AM.

1977:  Schank y Abelson: Guiones.

1978:  McDermott: R1 / XCON.

1979:  Quinlan: ID3.

14/22
1981:  Proyecto 5ª generación.

1982:  Hopfield: Redes Neuronales.

 PROSPECTOR.

1984:  Lenat: Proyecto CYC.

1985:  NASA: CLIPS.

1988:  Wolfram: MATHEMATICA.

 Stoutemeyer y Rich: DERIVE.

15/22
1991: Heckerman: Sistema de diagnóstico de medicina interna.

1992:  Schwuttke: MARVEL.

1993:  Pomerlau 93: NAVLAB.

1994:  Zue: PEGASUS.

 Koller: Sistema de visión del tráfico.

1997:  IBM: DEEP BLUE.

2001:  SISTEMAS BASADOS EN EL CONOCIMIENTO.

16/22
 Clasificación de los campos de la I.A.
• Programación automática: Verificación y síntesis.
• Razonamiento automático.
• Representación del conocimiento.
• Metodología de la programación en I.A.
• Aprendizaje.
• Procesamiento del lenguaje natural.
• Resolución de problemas, métodos de control y
búsquedas.
• Robótica.
• Interpretación de imágenes y visión artificial.
• Inteligencia artificial distribuida.

17/22
Campos relacionados
Campos relacionados con
con la
la I.A:
I.A:

Ciencia
Informática
Cognitiva

I.A.

Matemáticas

18/22
Tareas formales:
Tareas formales:

Juegos, damas, ajedrez...

Matemáticas: cálculo simbólico,

demostración de teoremas.

Computación, verificación de
programas, aprendizaje automático

19/22
Tareas de
Tareas de expertos:
expertos:

Ingeniería: diseño, detección de fallos,

planificación de manufacturación.

Análisis científico

Diagnóstico y tratamiento médico

Análisis financiero

20/22