bits, àtoms i màquines virtuals
TRANSCRIPT
![Page 1: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/1.jpg)
Bits, àtoms i màquines virtualsJordi Vitrià i Marca
Dept. de Matemàtica Aplicada i AnàlisiFacultat de Matemàtiques
![Page 2: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/2.jpg)
RecercaDocència
Recerca
Professió
De que parlaré?De que parlaré?
![Page 3: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/3.jpg)
Bits (la disciplina), àtoms (sobre la seva relacióBits (la disciplina), àtoms (sobre la seva relació amb la realitat) i màquines virtuals (la recerca).
![Page 4: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/4.jpg)
BitsBits
![Page 5: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/5.jpg)
La informàtica, està morint d’èxit?a o àt ca, està o t d è t?
Causes?
![Page 6: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/6.jpg)
Qui pot fer informàtica?
![Page 7: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/7.jpg)
Què fa un{a} informàtic{a}?
![Page 8: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/8.jpg)
Qui pot fer informàtica?Què pot fer la informàtica?Qu pot e o àt ca?
![Page 9: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/9.jpg)
El diagnòstic i com arreglar‐ho...d ag òst c co a eg a o...
Ampliant la imatge dels d f i f àti !Geeks freakies etc que poden fer informàtica!Geeks, freakies, etc.
Imatge: Qui pot fer informàtica?
i b id d à
La informàtica ofereix un marc intel∙lectuall (
Si tens bones idees, sempre podràs contractar un/a
informàtic/a per a que les implementi!
Imatge: Què és la informàtica?
privilegiat (i un conjunt absolutament inigualable
d'eines!)per resoldre problemes a
implementi!
Imatge: Què és la informàtica? per resoldre problemes a nivell personal
(problemes "socials") i anivell de tota la societat ( bl "S i l ")è f l (problemes "Socials").● Ciència: imaginar com funciona la natura.
● Enginyeria: imaginar com fer coses útils.
![Page 10: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/10.jpg)
Els objectius de la recerca en informàticaWing J Five Deep Questions in Computing January 2008/Vol 51 No 1 Communications of the ACMWing, J. Five Deep Questions in Computing, January 2008/Vol. 51, No. 1 Communications of the ACM.
Hi ha nombres reals que poden ser descrits ò t t ?
1. Què és computable? Si! Hi ha nombres reals que es poden definir però d b i ió
però no computats?
Q pno es poden computar amb una precisió determinada per cap algorisme finit.
Si la resposta a un problema binari “si/no” es2. P = NP? Si la resposta a un problema binari si/no es pot verificar de forma eficient, es poden computar les respostes mateixes de forma
eficient també?
Donat un conjunt d’enters, hi ha algun subconjunt no
3. Què és la informació?4. Què és la intel∙ligència?
d d l l ?
buit que sumi 0?
5. Com podem desenvolupar sistemes complexes?
![Page 11: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/11.jpg)
Els àtomsInformació i intel∙ligència
![Page 12: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/12.jpg)
Al principi.... (fa més de 4.000.000.000 anys)
Els objectes inerts estan al món però no l'habiten. Ni el pateixen. Ni
el frueixen Només hi sónel frueixen. Només hi són.
Qualsevol canvi en un entorn és el resultat de les forcesés el resultat de les forces físiques que hi actuen.
![Page 13: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/13.jpg)
Però fa 3.800.000.000 anys...
Apareixen uns objectes especials (els éssers vius) que fan alguna cosa més que ser‐hi...q
Gràcies a disposar de dipòsits d’energia poden obtenir un cert grau de llibertat respecte de les lleis físiques.de llibertat respecte de les lleis físiques.
Aquests éssers "descobreixen"que l'acció, la capacitat de modificar el seu entorn immediat té avantatges reproductius i demodificar el seu entorn immediat, té avantatges reproductius i de
supervivència.
HAN NASCUT ELS PRIMERS PROCESSADORS D’INFORMACIÓ!HAN NASCUT ELS PRIMERS PROCESSADORS D’INFORMACIÓ!
![Page 14: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/14.jpg)
Els ingredients de la intel∙ligència
Aquests éssers són capaços de seleccionar respostes (accions) a estímuls externs (energia), i per fer‐ho
necessiten adquirir, processar i usar informació del seu entorn i d’ells mateixos.
La percepció del món és sempre limitada, pel que han
de viure en una certa incertesa
La seva capacitat d’acció és limitada i s’ha d’optimitzar
incertesa.
Mitjançant ALGORISMEStanquen el cicle entretanquen el cicle entre
percepció i acció, i d’això en diem cognició.
![Page 15: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/15.jpg)
Agents
I l’activitat, per a què?, p q
Per tant l'observador ha d'estar motivat ha de tenir un conjunt
L’agent actiu té una certa capacitat de canviar el
món mitjançant les seves
motivat, ha de tenir un conjunt d'objectius ‐complexes, de molts
tipus i a molts nivells‐ que el moguin a actuar d'una determinada manera
accions. a actuar d una determinada manera
i no d'una altra. Sinó, per què actuar?
![Page 16: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/16.jpg)
El desafiament
Qualsevol ésser natural o artificial que barregi adequadamentQualsevol ésser, natural o artificial, que barregi adequadament aquests ingredients i habiti un món complex estarà dotat
d’intel∙ligència.
![Page 17: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/17.jpg)
El termòstat no és un ésser intel∙ligent!g
No viu en un món incert i per tant no en necessita!
![Page 18: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/18.jpg)
El desafiament
Qualsevol ésser natural o artificial que barregi adequadamentQualsevol ésser, natural o artificial, que barregi adequadament aquests ingredients i habiti un món complex estarà dotat
d’intel∙ligència.
Quina arquitectura?Q qQuins algorismes?
Quines representacions?Q p
La resposta és interdisciplinar i la informàtica hi juga un paper fonamental!juga un paper fonamental!
![Page 19: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/19.jpg)
El desafiament
![Page 20: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/20.jpg)
![Page 21: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/21.jpg)
![Page 22: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/22.jpg)
A PROPOSAL FOR THE DARTMOUTH SUMMER RESEARCH PROJECT ON ARTIFICIAL INTELLIGENCE
J. McCarthy, Dartmouth College M. L. Minsky, Harvard University N. Rochester, I.B.M. Corporation
C.E. Shannon, Bell Telephone LaboratoriesAugust 31, 1955
We propose that a 2 month 10 man study of artificial intelligence be carried outWe propose that a 2 month, 10 man study of artificial intelligence be carried outduring the summer of 1956 at Dartmouth College in Hanover, New Hampshire.The study is to proceed on the basis of the conjecture that every aspect oflearning or any other feature of intelligence can in principle be so preciselyg y g p p p ydescribed that a machine can be made to simulate it. An attempt will be made tofind how to make machines use language, form abstractions and concepts, solvekinds of problems now reserved for humans, and improve themselves. We thinkp pthat a significant advance can be made in one or more of these problems if acarefully selected group of scientists work on it together for a summer.
http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html
![Page 23: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/23.jpg)
Pl i Knowledge Representation Speech Production
Super Vector MachinesLocomotion Pattern Recognition
Artificial Intelligence PerceptionAction
PlanningRobotics
R i
Agents
g p
Machine Learning
Speech Production
Artificial Intelligence PerceptionCognitionConstraints Satisfaction
Computer Vision
Speech UnderstandingReasoning
Expert SystemsCase-based Reasoning Computer VisionExpert SystemsCase based ReasoningFace Processing Reinforcement Learning
![Page 24: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/24.jpg)
Pl i Knowledge Representation Speech Production
Super Vector MachinesLocomotion Pattern Recognition
Artificial Intelligence PerceptionAction
PlanningRobotics
R i
Agents
g p
Machine Learning
Speech Production
Artificial Intelligence PerceptionCognitionConstraints Satisfaction
Computer Vision
Speech UnderstandingReasoning
Expert SystemsCase-based Reasoning Computer VisionExpert SystemsCase based ReasoningFace Processing Reinforcement Learning
![Page 25: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/25.jpg)
Mà i Vi l i Vi ióMàquines Virtuals i Visió
Quina arquitectura?Quins algorismes?Quins algorismes?
Quines representacions?
![Page 26: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/26.jpg)
Visió i Informàtica?
![Page 27: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/27.jpg)
Visió i Informàtica?
![Page 28: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/28.jpg)
Visió i Informàtica?
![Page 29: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/29.jpg)
El món realL’entorn és complex i la incertesa alta
...no accessible, continu, dinàmic i no Àdeterminista. I això és una component BÀSICA
del problema.
![Page 30: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/30.jpg)
Les dades
![Page 31: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/31.jpg)
De les dades a les accions
![Page 32: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/32.jpg)
De les dades a les accions
![Page 33: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/33.jpg)
De les dades a les accions
![Page 34: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/34.jpg)
De les dades a les accions
![Page 35: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/35.jpg)
Màquines Virtuals
MàquinaMàquina
Entitat complexa i persistent amb parts que interactuen causalment amb altres parts (o entitats) quan canviencausalment amb altres parts (o entitats) quan canvien
les seves propietats o relacions.
E d d i i t d b l ll i dEs poden descriure i entendre amb les lleis de la física.
Màquina Virtual
Màquina abstracta, les instàncies de la qual poden córrer en una màquina física.
Cal entendre el processament de la informació
![Page 36: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/36.jpg)
Màquines Virtuals: Exemples
![Page 37: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/37.jpg)
Màquines Virtuals: Exemples
![Page 38: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/38.jpg)
Màquines Virtuals: Exemples
![Page 39: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/39.jpg)
La Hipòtesi:p
La millor manera d’entendre la intel∙ligènciaLa millor manera d entendre la intel ligència (natural i artificial) és com un conjunt de màquines virtuals que descomponen elmàquines virtuals que descomponen el problema de forma vertical i horitzontal.
![Page 40: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/40.jpg)
Processos reflexiusProcessos reflexiusióió
Processos reflexiusProcessos reflexiusrcep
circep
ci
Acció
Acció
Processos deliberatiusProcessos deliberatius
Per
Per AA
Processos reactiusProcessos reactius
Consciència, emocions, propiocepció, reconeixement, etc. p p p
![Page 41: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/41.jpg)
La visió és un conjunt MOLT granLa visió és un conjunt MOLT gran de processos perceptius p p p
implementats en aquestes MV.
Exemples: tocar agafar aixecar navegarExemples: tocar, agafar, aixecar, navegar, estimar distàncies, reconèixer objectes,
estimar formes, etc.
![Page 42: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/42.jpg)
Tocar
Procés horitzontal simple que només requereix p q qreconeixement i càlcul de la distància.
![Page 43: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/43.jpg)
Agafarg
Procés horitzontal intermedi que requereix TOCAR i q qestimació local de la forma.
![Page 44: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/44.jpg)
Aixecar
Procés horitzontal complex que requereix TOCAR, p q qAGAFAR i estimació de paràmetres complexes.
![Page 45: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/45.jpg)
Visió
Quins processos i a quins nivells? Com estimem paràmetres del món? Quines representacions? Quines iparàmetres del món? Quines representacions? Quines i quantes màquines virtuals? Quines interaccions? Quin model temporal? Quin model d’interacció entre MV?model temporal? Quin model d interacció entre MV?
Etc.
![Page 46: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/46.jpg)
Conclusions
Les aproximacions clàssiques al problema de la intel∙ligència fa temps que han deixat de ser
suficients.
Ara mateix, la informàtica ofereix un marc conceptual privilegiat per estudiar (científicament)
aquest problema i per generar aplicacions interessants.
Les dificultats són grans, però el problema s’ho val!
![Page 47: Bits, àtoms i màquines virtuals](https://reader031.vdocuments.pub/reader031/viewer/2022020116/558ecbb21a28ab2f3c8b4740/html5/thumbnails/47.jpg)
"Computers in the future may weighComputers in the future may weigh no more than 1.5 tons."
Popular Mechanics, forecasting the relentless march of science, 1949
"I think there is a world market for maybe five computers."
Thomas Watson, chairman of IBM, 1943
"640K ought to be enough for anybody."Bill Gates, 1981 apocryphal
"There is no reason anyone would want i h i h "a computer in their home."
Ken Olson, president, chairman and founder of Digital Equipment Corp., 1977