gromit píše:možná se brzy dočkáme nějakého toho překvapení:
"...Their results are still unpublished, but "we've found some interesting laws already, some laws that are not known," said Lipson. "What we're working on now is the next step — ways in which we can try to explain these equations, correlate them with existing knowledge, try to break these things down into components for which we have clues."
počítačový program analyzuje data a nachází v nich nové "zákony":
http://blog.wired.com/wiredscience/2009/04/newtonai.html
žeby návrat ke klasickému přístupu experiment - data - analýza - teorie(rovnice, zákon...)?
karkulka si to nechala přeložit....a těší se , že ten motor zas nebude uplnej blábol......
Počítačový program Self - Discovers zákony fyziky
Od Brandon Keim Duben 02, 2009 | 5:09:59 PM Kategorie: Umělá inteligence , Vědecké nástroje , Biologie systémů , Web/technika
V právě po dni, silný počítačový program udělal výkon který vzal fyziky staletí k tomu, aby dokončili: extrapolující zákony pohybu z houpání kyvadla .
Vyvinutý Cornell výzkumníci, program vydedukovaná přirozená práva bez kusu znalosti o fyzice nebo měřičství .
Výzkum je ohlášený jak potenciální průlom pro vědu v Petabyte Age, kde počítače zkusí najdou pravidelnosti v masivní datasets které jsou příliš velké a komplex pro lidskou mysl. (podívejte se na Drátovaný časopisový červenec 2008 kryt příběh na " Konec vědy .")
"jeden z největších problémů ve vědě dnes posouvá vpřed a nalezení podložní principů v oblastech kde tam je části a mnoho dat, ale tam je teoretická mezera. My nevíme, jak to na světě chodí, " řekl Truhlík Lipson , Cornellova univerzita výpočtový výzkumník kdo spolu-- psal program. "myslím si, že toto bude důležitým nástrojem."
Kondenzační pravidla z prvotních dat dlouho byl považovaná provincie lidského jasnozření, ne strojovou inteligenci. To může naznačovat věk v kterém vědci a programy pracují jako stejný jako k tomu, aby dešifrovaly datasets příliš složitý pro lidskou analýzu .
Lipsonův program, spolu-- navrhl s Cornell výpočtový Michael biolog Schmidt a popsaný v papíru publikovaném ve čtvrtek v Věda , smí představovat průlom v starý, nenaplněný hledání použít umělá inteligence k tomu, aby objevila matematické poučky a vědecké zákony:
Půlstoletí předtím, IBM'S Herbert Gelernter autorský program ty údajně nově objevené Euclidovy poučky měřičství, ale kritici řekli, že to spoléhalo se příliš mnoho na programátorovi- dodávaná pravidla .
V 1970s, Douglas Lenat- ovo Automatizovaný matematik automaticky vygenerované matematické poučky, ale oni ukázali se být velkou měrou zbytečný .
Stanfordská univerzita- ovo Dendral projekt, byly počatý v roce 1965 a užívaný pro dvě dekády k tomu, aby extrapolovaly možné struktury pro organické molekuly z chemických měření shromážděných NASA kosmickým plavidlem. Ale to bylo nakonec neschopné k tomu, aby ohodnotilo pravděpodobnost různých odpovědí těch to vygenerovalo .
$100,000 Leibnizova cena , ustanovený v 1980s, byl slíbený prvnímu programu k tomu, aby objevil poučku tu "hluboce ovlivňuje" matematiku. To nebylo nikdy prohlášené.
Ale nyní umělá inteligence experti říkají Lipson a Schmidt možná má naplněný polní nepolapitelný slib .
Ne jako Automated Mathematician a jeho dědici, jejich program je připravený jen se sadou jednoduchý, základní matematický funkce a data to je požádaný o analyzovat. Ne jako Dendral a jeho protějšky, to může čistit obilí možné vysvětlivky do pravděpodobně málo. A to přijde na příhodnému okamžiku - vědci mají nesmírně větší data než teorie k tomu, aby popisovaly to .
Lipson a Schmidt navrhl jejich program k tomu, aby identifikoval spojené faktory uvnitř dataset krmení do programu, pak generuje rovnosti k tomu, aby popisovaly jejich vztah. Dataset popsal pohyby jednoduchých mechanik jako odpružené oscilátory, matematická kyvadla a dvojitý kyvadla - mechanismy užívaný mistry k tomu, aby ilustrovali fyzické zákony .
Program začínal s blízkými- náhodnými kombinacemi základních matematických procesů - dodatek, odčítání, násobení, dělení a několik algebraických operátorů .
Zpočátku, rovnosti vygenerovaný programem selhal ve vysvětlit data, ale nějaká selhání byla mírně méně špatně než jiní. Používání genetického algoritmu, program upravená nejslibnější selhání, testoval je znovu, vybral nejlepší, a opakoval proces dokud sada rovností vyvinutých k tomu, aby popisovaly systémy. Vytáčí, některý z těchto rovností byly velmi důvěrně známý: zákon zachování hybnosti , a Newtonův druhý zákon pohybu .
"to je silný přístup, " řekla univerzita Michigan pracovníka v informatice Marta Pollack , s " potenciálem k tomu, aby aplikoval na nějaký typ dynamického systému." Jak je to možné rozsahy použití, treska pojmenovaný okolní systémy, povětrnostní vzory, populační genetika, kosmologie a oceánografie. "jen o nějaké přírodní vědě má typ struktury který by byl odpovědný, " ona řekla .
Ve srovnání se zákony pravděpodobnými k tomu, aby řídily mozek nebo genom, zákony pohybu objeveného programem jsou extrémně jednoduchý. Ale principy Lipsona a Schmidtova programu by měly pracovat na vyšších stupnicích .
Výzkumníci již použili program nahrávky fyziologických států jedinců a jejich úrovní metabolit, celulární proteiny to souhrnně běžet naše těla ale zůstávat, molekula molekulou, velkou měrou uncharacterized - dokonalým příkladem data chybění teorie .
Jejich výsledky jsou ještě nepublikované, ale "my jsme našli nějaké zajímavé zákony již, nějaké zákony které nejsou známé, " řekl Lipson. "co my pracujeme na nyní je další krok - způsoby, jakým my můžeme zkusit vysvětlit tyto rovnosti, korelovat jim s existující znalostí, zkusit zhroutit se tyto věci do součástí pro které my máme záchytné body."
Lipson přirovnal hledání k "detektivnímu románu" - špetka výměny role výzkumníků v křížené počítačové- lidské vědě. Programy produkují sady rovností - popisování role srážek na pouštní rovině, nebo znečišťování ovzduší v spouštění astmatu, nebo souběžné zpracování úloh na poznávací funkci. Výzkumníci testují rovnosti, určí zda oni jsou ještě neúplní nebo založený na špatných datech, užívat je identifikovat nové otázky, a použije je k nepořádné realitě .
Human Genome Project, například, produkovala dataset velkou měrou nepřipouštějící tradiční analýzu. Funkce téměř každého genu závisí na funkci dalších genů, které závisí na ještě větších genech, které mění s časem a místem. Stejná úroveň složitosti konfrontuje výzkumníky studování tělesného nesčetný proteiny, lidský mozek a dokonce ekosystémy .
" pravidla jsou matematická rovnice které zachytí pravidelnosti v systému, " řekla treska, "ale vědec potřebuje interpretovat ty pravidelnosti. Potřebují, například, vysvětlit" proč populace zvířat je ovlivněná změnami v srážkách, a co by mohlo být udělaný pro chránit to .
Michael Atherton , poznávací vědec kdo nedávno předpovídal tu počítačovou inteligenci by ne brzo by nevypíchla lidský umělecký a vědecký pohled, řekl , že program "by mohl být ohromný nástroj, stejně vizualizační software je: To pomáhá generovat perspektivy ty nesmí být intuitivní."
Ať tak nebo onak, řekl Atherton, " tvořivost, odborná znalost, a rozpoznání významu je ještě závislý na lidském soudu. Hlavní problém zůstává stejný: jak systematicky utřídit komplexní souřadný systém."
"nakonec, my ještě potřebujeme vědce k tomu, aby díval se na toto a říct, toto je zajímavý, " řekl Lipson .
Lidé jsou, jinými slovy, ještě důležitý .
Citace: "destilující volná přirozená práva z experimentálních dat." Od Michael Schmidt a truhlík Lipson .Věda , sv. 324, duben 3, 2009.
"automatizační věda." Od Davida valčík a Bruce Buchanan .Věda , sv. 324, duben 3, 2009.
všechny zraví martin11
... věřím, že se " TO " povede ......