Kien iras Artefarita Inteligenteco? Leciono 1/3
-
Upload
federico-gobbo -
Category
Education
-
view
30 -
download
7
Transcript of Kien iras Artefarita Inteligenteco? Leciono 1/3
Akademio Internacia de la Sciencoj ndash Sanmarino
Kien iras Artefarita Inteligenteco 13Ekde la entuziasmo al la realeco
Federico GobboAmsterdamo Milano-Bicocca Torino
〈FGobbouvanl〉
27 Julio 2015 ndash Internacia Kongresa Universitato Lille FR
1 de 27
Origine estis logiko
2 de 27
Informadiko la nevolita ido de logiko-matematiko
Alan Turing (1912-1954) estas la fondinto de informadiko kiel sciencode modernaj komputiloj antau li kalkulmasinoj estis konstruitaj defilozofoj kiel Pascal kaj Leibniz kaj de aliaj sciencistoj Menciindasalmenau Charles Babbage
En 1936 kiam li publikigis sian fakartikolon pri komputeblaj nombrojte la nombroj kiuj povas esti enmetitaj en modernaj komputiloj livolis solvi la problemon redukti matematikon al logiko te laprogramo de Hilbert kiu estis bremsita de la rezulto obtenita deGodel en 1930
3 de 27
Por jarcentoj komputi estis afero por homoj kun abako
Komputistinoj laboras en la grandaj magazenoj de Moskvo 1958
Sur armiloj de milita vento
Estis John von Neumann (1903-1957) ndash kiu nehazarde abandonislogikon en 1930 ndash kiu komprenis la eblajn aplikojn delogiko-matematiko en konkretaj masinoj
Dummilite Alan Turing en Britio kaj John von Neumann en Usonolaboris por siaj statoj tiel ke ili povis venki la militon Komputilojludis gravan rolon en la malcifrado de la enkodigo uzita de la naziojpor cifri siajn mesagojn
El tiu sperto Turing komprenis ke komputiloj estis nova speco demasinoj kompare kun ciuj aliaj konstruitaj antaue
5 de 27
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Origine estis logiko
2 de 27
Informadiko la nevolita ido de logiko-matematiko
Alan Turing (1912-1954) estas la fondinto de informadiko kiel sciencode modernaj komputiloj antau li kalkulmasinoj estis konstruitaj defilozofoj kiel Pascal kaj Leibniz kaj de aliaj sciencistoj Menciindasalmenau Charles Babbage
En 1936 kiam li publikigis sian fakartikolon pri komputeblaj nombrojte la nombroj kiuj povas esti enmetitaj en modernaj komputiloj livolis solvi la problemon redukti matematikon al logiko te laprogramo de Hilbert kiu estis bremsita de la rezulto obtenita deGodel en 1930
3 de 27
Por jarcentoj komputi estis afero por homoj kun abako
Komputistinoj laboras en la grandaj magazenoj de Moskvo 1958
Sur armiloj de milita vento
Estis John von Neumann (1903-1957) ndash kiu nehazarde abandonislogikon en 1930 ndash kiu komprenis la eblajn aplikojn delogiko-matematiko en konkretaj masinoj
Dummilite Alan Turing en Britio kaj John von Neumann en Usonolaboris por siaj statoj tiel ke ili povis venki la militon Komputilojludis gravan rolon en la malcifrado de la enkodigo uzita de la naziojpor cifri siajn mesagojn
El tiu sperto Turing komprenis ke komputiloj estis nova speco demasinoj kompare kun ciuj aliaj konstruitaj antaue
5 de 27
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Informadiko la nevolita ido de logiko-matematiko
Alan Turing (1912-1954) estas la fondinto de informadiko kiel sciencode modernaj komputiloj antau li kalkulmasinoj estis konstruitaj defilozofoj kiel Pascal kaj Leibniz kaj de aliaj sciencistoj Menciindasalmenau Charles Babbage
En 1936 kiam li publikigis sian fakartikolon pri komputeblaj nombrojte la nombroj kiuj povas esti enmetitaj en modernaj komputiloj livolis solvi la problemon redukti matematikon al logiko te laprogramo de Hilbert kiu estis bremsita de la rezulto obtenita deGodel en 1930
3 de 27
Por jarcentoj komputi estis afero por homoj kun abako
Komputistinoj laboras en la grandaj magazenoj de Moskvo 1958
Sur armiloj de milita vento
Estis John von Neumann (1903-1957) ndash kiu nehazarde abandonislogikon en 1930 ndash kiu komprenis la eblajn aplikojn delogiko-matematiko en konkretaj masinoj
Dummilite Alan Turing en Britio kaj John von Neumann en Usonolaboris por siaj statoj tiel ke ili povis venki la militon Komputilojludis gravan rolon en la malcifrado de la enkodigo uzita de la naziojpor cifri siajn mesagojn
El tiu sperto Turing komprenis ke komputiloj estis nova speco demasinoj kompare kun ciuj aliaj konstruitaj antaue
5 de 27
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Por jarcentoj komputi estis afero por homoj kun abako
Komputistinoj laboras en la grandaj magazenoj de Moskvo 1958
Sur armiloj de milita vento
Estis John von Neumann (1903-1957) ndash kiu nehazarde abandonislogikon en 1930 ndash kiu komprenis la eblajn aplikojn delogiko-matematiko en konkretaj masinoj
Dummilite Alan Turing en Britio kaj John von Neumann en Usonolaboris por siaj statoj tiel ke ili povis venki la militon Komputilojludis gravan rolon en la malcifrado de la enkodigo uzita de la naziojpor cifri siajn mesagojn
El tiu sperto Turing komprenis ke komputiloj estis nova speco demasinoj kompare kun ciuj aliaj konstruitaj antaue
5 de 27
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Sur armiloj de milita vento
Estis John von Neumann (1903-1957) ndash kiu nehazarde abandonislogikon en 1930 ndash kiu komprenis la eblajn aplikojn delogiko-matematiko en konkretaj masinoj
Dummilite Alan Turing en Britio kaj John von Neumann en Usonolaboris por siaj statoj tiel ke ili povis venki la militon Komputilojludis gravan rolon en la malcifrado de la enkodigo uzita de la naziojpor cifri siajn mesagojn
El tiu sperto Turing komprenis ke komputiloj estis nova speco demasinoj kompare kun ciuj aliaj konstruitaj antaue
5 de 27
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Generala modelo de komputebla informado
sendantoformali gominusminusminusminusminusminusrarr enigo
komputadominusminusminusminusminusminusrarr eligointerpretadolarrminusminusminusminusminusminusminus ricevanto
6 de 27
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Brita komputilo Colossus
Operaciumistinoj enkodigas datumojn dum la dua mondmilito
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La entuziasmo pri la novaj bitkomputiloj
Ci speciala propreco de bitkomputiloj te la fakto ke ili povasimiti cian diskret-statan masinon estas priskribita asertante keili estas universalaj masinoj La ekzisto de masinoj kun tiujproprecoj havas la gravan konsekvencon ke aparte dekonsideroj pri rapideco ne estas necese desegni variajn novajnmasinojn por diversaj komputaj procesoj Ili povas esti faritaj deunu bitkomputilo kondice ke ili estas programitaj lerte porciu celo Konsekvence ciuj bitkomputiloj estas iusenceekvivalentaj [ ] Nun ni povas denove konsideri la demandonldquo Cu masinoj scipovas pensirdquo
Turing 1950
8 de 27
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Kio estus lsquopensanta masinorsquo
Estis John McCarthy (1927-2011) kiu inventis en 1956 la esprimonldquoArtefarita Inteligentecordquo (ekde nun AI) Tiam en kurso ce MIT liinventis la esprimon kaj aparte programlingvaon LISP kiu estisrevolucia tiutempe gi havis abstraktan sintakson nemonotonanlogikan teknikon nomata cirkauskribadon kaj rubujkolektanton
Lau li AI esprimas sin per logiko kiu estas la plej pura perfektamaniero pensi de la homoj ndash lau la filozofia linio kiun komencisLeibniz gis Turing tra Frege kaj Hilbert
9 de 27
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La patro de Artefarita Inteligenteco sakludas
McCarthy en 1966 sakludas kun kvar kolegoj en Sovetio per komputila transsendo de informoj
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La ambigueco de ArtefaritaInteligenteco
11 de 27
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La unua interpreto forta AI
Cu la homa penso estas pure logika
Por la jesrespondanta skolo ciu formo de homa inteligentecolastanalize bazigas je logiko ec emocioj Do la masino povas imiti laprocezon de la homa cerbo ndash alivorte reprodukti spegule la homanmenson Tio signifas la ricevanto de la eliga (postkomputita) informopovas esti kaj homo kaj masino sen esencaj ontologiaj diferencoj
Tio levis etikajn problemojn por tiu ci skolo la etika rezonado estas ndashdenove ndash parto de logiko do suficas programi la ldquolegojn dehumanistikordquo similajn al tiuj en la fantasciencaj1 robotoj de Asimovpor havi etikan agenton kiu povas konduti samkiel homa agento
1same kiel lsquosciencfikciarsquo sed pli belsona Proponis William Auld12 de 27
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Isaac Asimov literature modelas AI
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Post la printempa entuziasmo la AI-vintro
Ju pli fantasta kaj fantascienca literaturo popularigis des pli la realajrezultoj de la forta AI estis mizeraj rapide bugetoj por esplorado estisforprenitaj cie
En 1966 la revo pri general-cela Per-Automata Tradukado drastefalis pro manko de rezultoj
En la 1970aj registaroj tra Europo maldonis bugetojn por AI
En la 1980aj la japana projekto pri kvina generacio de komputilojkie logiko trovigis rekte en la aparataro estis kompleta malsukceso
14 de 27
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Cu elefantoj sakludas
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La dua interpreto malforta AI
En tre influa fakartikolo publikigita en jaro 1990 Rodney Brooks(naskigis en 1954) sangas la vidpunkton AI devas imiti la rezulton dela naturo ne la procezon La ekzemplo estas la elefanto gi estasinteligenta specio ec sen kapablo sakludi La esplorado komencu ekdepli simplaj animaloj ol la homa kaj iom post iom alsupri la evoluanstuparon
Konsekvence AI ne estas abstrakta rezonado sed korpa robotojinteragu kun homoj kaj aliaj robotoj en la sama medio
16 de 27
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Robotoj eliras fantasciencon kaj eniras nian mondon
Rodney Brooks interagas kun roboto Cog en la 1990aj ce MIT
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Sinfoto de robota veturilo esplorante Marson
ccopyNASA 31 Oktobro 2012 robota veturilo Curiosity
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Generalaj konsideroj
19 de 27
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Konkretaj rezultoj cefe ne venas de forta AI
Post la AI-vintro kelkaj konceptoj pluvivis sed ekster AI cefe eningenierio de programaro au en informadiko sed sen tro da sukceso
la semantika TTT au lsquoVebo 30rsquo
logik-semantika programado (projekto CYC)
automataj babililoj ne sajnas homoj foje homoj sajnas masinaj(Loebner-Premio por relaigi la Turing-teston)
Neniu el tiuj projektoj eliris la kabinetan akademian fazon Tamenestis pozitiva rezulto flanke de tio la cefa ideo ke masinoj povas estiinteligentaj igis homojn pridemandi kio estas inteligenteco generale
20 de 27
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Malforta AI montris ke inteligenteco povas estiimitita
Tute male la malforta AI produktis diversajn konkretajn rezultojnte ekster la akademia mondo car gi
ne pretendas speguli la procezon sed nur atingi akcepteblanrezulton
Ofte programoj automate lernas (au lsquomasinlernasrsquo) de la enigajdatumoj fare de la uzantoj kaj plibonigas la eligajn rezultojn pere destatistiko Alivorte
inteligenteco en la masino estas la sumo de la uzado de laprogramoj fare de inteligentaj homoj
Klara ekzemplo de tio estas la uzo de Esperanto en la malfortaAI-programo Guglo Tradukado21 de 27
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
sed homa inteligenteco estas pli ol lanci kubon
La teamo de Guglo Tradukado vere surprizigis pri la kvalito deperautomata tradukado kaze de Esperanto En Esperanto lakvanto de ekzistaj tradukoj estas kompare malgranda Lagermana au la hispana ekzemple havas pli ol centoblajndatumojn aliaj lingvoj kiujn ni ekzamenas por esplorado havassimilan kvanton da datumojn kiel Esperanto sed ili ne atingaskompareblan kvaliton ankorau Esperanto estis konstruita poresti facile lernebla fare de homoj kaj versajne tio helpisperautomatan tradukadon same
Thorsten Brants Sciencisto Esploristo Blogo de Guglo Tradukado
22 de 27
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Kiu estas la reala telerlavmasino
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
La revo pri mastruma masino
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
kaj la realeco
ccopyiRobots Roomba
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-
Dume fantascienco daure revas
Homandroido Chappie membro de araco en la samnoma filmo
Dankon por via atento
Se ne nun sendu ilin poste al
〈FGobbouvanl〉
Desutu kaj disvastigu ci prezenton de ci-tie
httpfedericogobbonameeo2015php
CCcopy BYcopy $copy Ccopy Federico Gobbo 2015
27 de 27
- Origine estis logiko
- La ambigueco de Artefarita Inteligenteco
- Generalaj konsideroj
-