matematicas
DESCRIPTION
inteligencia matematicoTRANSCRIPT
![Page 1: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/1.jpg)
“¿Por qué hacemos Inteligencia Artificial?”“Artificial Mathematicians?”Mechanizing ProofDonald MacKenzie
![Page 2: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/2.jpg)
Jacques Vaucanson 1738
El Pato Defecante
![Page 3: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/3.jpg)
![Page 4: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/4.jpg)
![Page 5: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/5.jpg)
Canguilhem
“machines only as theorems in concrete form”Georges Canguilhem “Machine and Organism”
![Page 6: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/6.jpg)
Inteligencia Artificial
Construir Máquinas Inteligentes
![Page 7: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/7.jpg)
¿Para qué construir máquinas que piensan?1. Como modelos (explicativos) del pensamiento
humano Para entender mejor cómo es que efectivamente
pensamosn Para ayudarnos (“mejorar la eficiencia” p. 64) a
pensar (Thinking Appliances) Para pensar mejor (reducir riesgos de error) Para ahorrarnos trabajo (reducir recursos)
Por otras razones…
![Page 8: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/8.jpg)
¿Para qué construir máquinas (que piensan)?1. Como modelos (explicativos) del organo
humano (mente)
2. Como herramientas, es decir, extensiones del organo humano (mente)
![Page 9: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/9.jpg)
Simon & Newell 1958[Within the next ten years], “most theories in psychology will take the form of computer programs, or of qualitative statements about the characteristics of computer programs.”
![Page 10: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/10.jpg)
¿Qué pensamiento modelamos?
El pensamiento humano, con sus limitaciones Simon’s “Bounded Rationality”
El pensamiento ‘correcto, una versión idealizada del pensamiento humano Razonamiento lógico Hacer realidad el sueño de Leibniz
![Page 11: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/11.jpg)
1956: El Nacimiento Herbert Simon: Sociólogo. Estudiante de Carnap,
conocía el trabajo de Carnap, Russell, Whitehead y Wittgenstein. Profesor del Carnegie Institute of Technology. Premio Nóbel de Economía 1978. RAND (un ‘think tank’ de la Fuerza Aérea de los EEUU), contribuía con su conocimiento del razonamiento humano
Allen Newell (Físico-Matemático, RAND) contribuía conocimientos de computación
Cliff Shaw (RAND) desarrollo el lenguaje de programación
![Page 12: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/12.jpg)
¿Qué inteligencia artificial? Pensamiento = Resolución de Problemas (Aplicación) ¿Qué problemas, por ejemplo?
Simon & Newell Para empezar:
Jugar Ajedrez Resolver problemas de geometría Probar teoremas de lógica
Problemas difíciles Probar teoremas matemáticos Descubrimiento de leyes científicas a partir de datos Entender el significado del lenguaje natural en prosa Escribir piezas musicales de valor estético considerable
![Page 13: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/13.jpg)
!Ojo!
El probar teoremas lógicos surge, en esta historia, como un ejemplo del tipo de problemas que una máquina pensante debe poder resolver, no cómo el medio general para resolver todo tipo de problemas. Hacer lógica es una de las cosas que una máquina inteligente debe poder hacer, pero no es todo lo que debe poder hacer.
![Page 14: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/14.jpg)
The Logic Theory Machine:A Case Study in Heuristic
Necesidad de Reglas Heurísticas: Desarrollo (descubrimiento, sistematización), implementación y programación computacional
“Newell and Simon’s central conviction [was] that the study of the heuristics employed by human beings, with their “bounded rationality” was the central resource for the development of artificial intelligence” (MacKenzie 2001, 69)
![Page 15: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/15.jpg)
The Logic Theory Machine:A Case Study in Heuristic
“. . . not interested in methods that guarantee solutions, but which require vast amounts of computation. Rather, we wish to understand how mathematician, for example, is able to prove a theorem even though he does not know when he starts how, or if, he is going to succeed.”
(Newell, Shaw & Simon1956 74-78)
![Page 16: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/16.jpg)
The Logic Theory Machine:A Case Study in Heuristic
“Our central interest is: How does the human mind manage to do these things?”
(Simon1958)
![Page 17: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/17.jpg)
. . . y John McCarthy (Matemático. MIT AILab y Stanford.
Pionero de las semánticas computacionales. LISP) Marvin Minsky Hebert Gelernter et. al. Geometry Machine
![Page 18: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/18.jpg)
. . . y en esta otra esquina: Los Lógicos
Martin Davis (Princeton) Abraham Robinson (Argonne) Hao Wang (Oxford) Branford Dunham (IBM) Evert Berth (Holanda) Dag Prawitz (Suecia) Paul Gilmore (IBM) Evert W. Beth
![Page 19: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/19.jpg)
. . . y en esta otra esquina: Los Lógicos
Pero su interés no era en inteligencia artificial (el objetivo amplio de Simon y Newell), sino en la prueba automatizada de teoremas lógicos (el objetivo ‘estrecho’ de la máquina de Simon y Newell)
“I remember explaining to him [Wang] om several occasions that he was in a different business than we were.”
(Simon, en entrevista con MacKenzie 2001, 75)
![Page 20: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/20.jpg)
. . . y en esta otra esquina: Los Lógicos
Automatizar procedimientos algorítmicos de decisión (para cálculos decidibles)
Explotar el ‘poder’ computacional: Hao Wang “persistent plodders” The computer was “a home for the obsessive formal
precision of (the older parts of) mathematical logic which mathematicians tend to find irrelevant and worse, pedestrian and perhaps a hindrance to creativity”
![Page 21: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/21.jpg)
Resolution
Prawitz: Unificación Putnam-Davis: Satisfabilidad Proposicional John Alan Robinson (Filósofo. Argonne Nat’l
Lab) 1963 Regla lógica ‘orientada a las máquinas’ en vez de
‘orientada a los humanos’ Eficiencia computacional → Costo en opacidad
![Page 22: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/22.jpg)
La Convergencia en los 60s:El Boom de la Resolución
Si vemos la lógica de primer orden, ya no como un área de donde sacar ejemplos para ilustrar la posibilidad de una inteligencia artificial, sino como una lingua franca para la formulación de cualquier tipo de problema (como pensaban McCarthy, Cordell Green y Pat Hayes y un gran número de practicantes de IA en los 1960s), los proyectos de automatizar la prueba de teoremas en esta lógica y la inteligencia artificial en sentido amplio convergen en uno solo.
![Page 23: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/23.jpg)
La Divergencia en los 70s:El ‘bust’ de la Resolución Marvin Minsky y Seymour Papert (MIT) Representación Procedimental del Conocimiento Conocimiento de Dominio-Específico Tolerancia a la consistencia
![Page 24: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/24.jpg)
‘Neats’ vs ‘Scruffies’
NEATS: Logicistas Stanford, Argonne Pioneros: McCarthy,
Gordell & Hayes Resolución: Anderson Segunda Generación:
George Robinson, Larry Wos & George Robinson (demodulación y paramodulación)
SCRUFFIES: Procedimentistas MIT Minsky & Papert Lenat’s AM
![Page 25: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/25.jpg)
Complejidad:Segundo golpe contra los ‘neats’
Steven Cook (1971)¿P = NP? ¿Hay un procedimiento de decisión completo para la satisfabilidad de fórmulas del cálculo proposicional en tiempo polinomial?
![Page 26: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/26.jpg)
La nueva convergencia:El Boom de la Heurística Los ‘Scruffies’ re-toman la prueba de teoremas
lógicos y matemáticos por computadora W. W. Bledsoe (U. Texas Austin): 1971
Automatización de Pruebas sin Resolución Sistemas de reglas incompletos, pero más
naturales y poderosos Heurísticas específicas de dominio
![Page 27: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/27.jpg)
¿Qué más es hacer matematicas aparte de probar teoremas? Calcular
Automatizado: calculadoras, MATHEMATICA
Conjeturar Automatizado: . . . ?
![Page 28: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/28.jpg)
Descubrimientos Artificiales
Douglas B. Lenat’s AM (1976) Stanford
Reglas Heurísticas Cyc (1990) Conocimiento de Sentido
Común
![Page 29: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/29.jpg)
¿Qué más falta?
La dimensión social
![Page 30: Matematicas](https://reader033.vdocuments.mx/reader033/viewer/2022052908/5595a8b41a28ab5c4f8b45ec/html5/thumbnails/30.jpg)
¿Qué más falta?
La dimensión social Interés por parte de matemáticos ‘mainstream’