aboutsummaryrefslogtreecommitdiff
path: root/si/n1.lyx
blob: f61ebc93b2d3b8fa4850b541011430ed46767422 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
#LyX 2.3 created this file. For more info see http://www.lyx.org/
\lyxformat 544
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass book
\use_default_options true
\maintain_unincluded_children false
\language spanish
\language_package default
\inputencoding auto
\fontencoding global
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 1
\use_package mathdots 1
\use_package mathtools 1
\use_package mhchem 1
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 1
\use_minted 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style french
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header

\begin_body

\begin_layout Standard
La 
\series bold
inteligencia
\series default
 es la capacidad de entender, comprender, conocer, resolver problemas, etc.
 La 
\series bold
inteligencia artificial
\series default
 (IA) es un área reciente de la ciencia y la ingeniería que busca recrear
 procesos y operaciones que requieren inteligencia.
 Se buscan sistemas que:
\end_layout

\begin_layout Enumerate

\series bold
Actúan como humanos
\series default
.
 Esto involucra procesamiento del lenguaje natural, representación del conocimie
nto, razonamiento, aprendizaje, adaptación al entorno, etc.
 El 
\series bold
test de Turing
\series default
 consiste en que una persona se comunica por telegrama con otra persona
 y una máquina, sin saber quién es cada cual, y si no consigue adivinar
 cuál es la máquina, esta pasa el test y se considera inteligente.
 Pasar el test no es el objetivo primordial.
\end_layout

\begin_layout Enumerate

\series bold
Piensan como humanos
\series default
.
 Se buscan teorías sobre el funcionamiento de la mente para establecer modelos
 computacionales a partir de estas.
\end_layout

\begin_layout Enumerate

\series bold
Piensan racionalmente
\series default
.
 Se basan en la lógica formal, si bien es muy difícil formalizar el conocimiento
 del mundo real y hay mucha diferencia entre la capacidad de la lógica y
 su realización práctica.
\end_layout

\begin_layout Enumerate

\series bold
Actúan racionalmente
\series default
.
 Un 
\series bold
agente racional
\series default
 percibe su entorno y aplica su conocimiento racional para actuar y conseguir
 unos objetivos.
 No se enfoca en el modelo humano, y usa fuentes de conocimiento adicionales
 a la lógica.
\end_layout

\begin_layout Standard
La IA se basa en áreas de las matemáticas como la lógica, la probabilidad
 y la complejidad computacional, así como en la informática, la psicología,
 la biología, la filosofía, etc.
\end_layout

\begin_layout Standard
La posibilidad de IA plantea problemas filosóficos como el de la 
\series bold
habitación china
\series default
.
 En esta hay una habitación con alguien dentro que no habla chino pero dispone
 de un diccionario, y que se comunica en chino con alguien de fuera de la
 habitación, y se plantea si la habitación en su conjunto sabe chino.
 El problema general es si la inteligencia es o no una propiedad emergente
 de los elementos que la producen.
\end_layout

\begin_layout Section
Historia
\end_layout

\begin_layout Standard
En 1943, McCulloch y Pitts crean un primer modelo de neuronas, y en 1949
 Hebb diseña una regla de actualización de las intensidades de las conexiones
 para el aprendizaje.
\end_layout

\begin_layout Standard
Posteriormente Alan Turing, en 
\emph on
\lang english
Computing Machinery and Intelligence
\emph default
\lang spanish
, formula la prueba de Turing y plantea la posibilidad de máquinas pensantes,
 y Minksy y Edmons crean SNARC, que simula una red neuronal de 40 neuronas.
 Hay una etapa de entusiasmo inicial.
 En 1952, Arthur Samuel crea un programa que juega a las damas y aprende
 del contrario, y en 1956, John McCarthy y Marvin Minsky organizan una conferenc
ia en el 
\lang english
Dartmouth College
\lang spanish
 en Hanover a la que acuden Samuel, Allen Newell y Herbert Simon, y en la
 que se da el nombre de inteligencia artificial.
\end_layout

\begin_layout Standard
Se crea 
\series bold
GPS
\series default
 (
\emph on
\lang english
General Problem Solver
\emph default
\lang spanish
), basándose en las demostraciones humanas, y 
\lang english
Rosenblat
\lang spanish
 crea un 
\series bold
perceptrón
\series default
, que reconoce objetos sencillos.
 McCarthy crea el lenguaje Lisp para computación simbólica.
 Se idean métodos de exploración heurísticos y sistemas planificadores como
 STRIPS, con aplicaciones en integración simbólica y un mundo de bloques.
\end_layout

\begin_layout Standard
Muchos mecanismos sencillos fallaban ante problemas reales o tenían complejidad
 exponencial, los mecanismos generales no eran practicables y la capacidad
 de los perceptrones era escasa, llevando a una crisis en la IA.
 Entonces en los 70 se crean sistemas basados en conocimiento del dominio
 del problema como Dendral o el lenguaje de programación lógica Prolog.
 Quillian contribuye al concepto de redes semánticas.
 En 1974, Minsky propone el uso de marcos.
 Se crea la programación orientada a objetos.
 Se crean sistemas expertos como Mycin.
\end_layout

\begin_layout Standard
Con la quinta generación de ordenadores llegan máquinas de arquitectura
 dedicada a redes neuronales y software para el desarrollo de IA.
 Se fundamentan modelos de IA, se construyen agentes completos como Soar
 y surge la IA distribuida con sistemas multiagente.
\end_layout

\begin_layout Standard
El éxito de sistemas expertos como R1 y Xcon lleva a su uso comercial, suponiend
o un gran ahorro en las empresas que los usan.
 La industria crece rápido.
 Como la búsqueda de inteligencia es algo muy general, esta e descompone
 en habilidades parcialmente autónomas y accesibles al estudio experimental.
 Se desarrollan nuevas herramientas computacionales, conceptuales y formales,
 buscando un soporte teórico.
 Se implementan aproximaciones de los métodos usados por humanos para resolver
 problemas descritos de forma imprecisa o incompleta, combinando modelos
 simbólicos, de aprendizaje, híbridos, etc.
 en función de los datos disponibles.
\end_layout

\begin_layout Section
Actualidad
\end_layout

\begin_layout Standard
Muchas empresas están haciendo pruebas con vehículos autónomos.
 El proyecto SyNAPSE (
\emph on
\lang english
Systems of Neuromorphic Adaptive Plastic Scalable Electronics
\emph default
\lang spanish
) de IBM y DARPA creó un chip con 256 neuronas digitales, que recuerdan
 actividades recientes, y 262144 sinapsis programables y 65536 de aprendizaje,
 que recuerdan las neuronas a las que se asocian.
 Tuvo resultados en laberintos y reconocimiento de patrones.
\end_layout

\begin_layout Standard
El proyecto 
\lang english
WATSON
\lang spanish
 de IBM entiende preguntas en cualquier idioma, busca respuestas en su base
 de datos y elige la más plausible en menos de 3 segundos con un enfoque
 multialgorítmico, capaz de aprendizaje por observación de respuestas.
 Ganó contra campeones humanos en el concurso televisivo 
\begin_inset Quotes cld
\end_inset


\lang english
Jeopardy
\lang spanish
!
\begin_inset Quotes crd
\end_inset

.
\end_layout

\begin_layout Standard
La IA se usa para recomendar música, películas, libros, noticias, sitios
 web; filtrar 
\emph on
\lang english
spam
\emph default
\lang spanish
; ayudar a detectar fraude; buscar rutas en GPS; reconocer el habla, la
 escritura, dibujos, imágenes; así como en domótica, conducción, navegación,
 sillas de ruedas, asistentes personales, traductores, aspiradoras, exploración
 del espacio, guías de museos, deportes, diagnósticos médicos, diseño de
 fármacos, cirugía, inversiones financieras, películas, literatura, pintura,
 etc.
\end_layout

\end_body
\end_document