Archiv článků: algoritmy

Logika prvního řádu a obecná umělá inteligence

Jazyk logiky prvního řádu má větší vyjadřovací sílu než Booleovy logiky. Když sledujeme inteligentního aktéra zvenčí, hraje roli tok činností, které vytváří z toku vstupů. Zevnitř musí být tyto činnosti vybírány programem aktéra. Lze říci, že lidé se rodí s jedním programem aktéra a tento program se během času učí …

více »

Na intuici a chuť znalců vína raději nespoléhat

Kdy jsou předpovědi expertů přesnější než jednoduché algoritmy? Skoro nikdy. Paul Meehl z Minnesotské univerzity otestoval úspěšnost expertů v celé řadě oborů z hlediska jejich schopnosti předvídat na základě svých odborných znalostí, „intuice“ / „zkušenosti“. Ukázalo se, že většinu expertů dokázaly překonat jednoduché algoritmy. Na základě průměrných známek na nižším …

více »

Místo UFO raroh velký

Na záběrech z dronu z roku 2016 byl v americkém státě Utah zachycen neznámý, rychle letící objekt a řada lidí od té doby žila v domnění, že jde o UFO. Pět let poté, 4. června tohoto roku, se podařilo prokázat, že šlo ve skutečnosti o sokolovitého ptáka raroha velkého. K …

více »

Z Gödelova důkazu nevyplývá, že jsme něco víc než stroje

Už prostý fakt, že neumíme naprogramovat „gödelizaci“, by v nás měl vzbudit jisté pochyby, zda ji za všech okolností zvládneme my sami. Možnost trucovitě opakovat Gödelův argument posloužila mnoha lidem jako zbraň při prosazování názoru, že lidské myšlení zahrnuje určité prchavé a těžko pochopitelné prvky, které počítače nedokážou napodobit. Významným …

více »

Další algoritmus ukazuje kvantovou nadvládu

Fermiho-Hubbardův model hraje roli ve fyzice pevných látek, popisuje tzv. silně korelované materiály a má vztah i k hledání vysokoteplotní supravodivosti. V rámci souvisejících výpočtů je často potřeba najít tzv. základní stav modelu. Nová studie ukazuje, že tento výpočet dokáže lépe provést kvantový než klasický algoritmus. Jedná o již o …

více »

Umělá inteligence se může učit i na Rubikově kostce

Na první pohled nemá využití umělé inteligence a souvisejících technologií (strojové/hluboké učení, neuronové sítě…) na Rubikově kostce smysl, když řešení známe. Na rozdíl od šachů existuje určitý optimální postup z nějaké pozice a po jeho nalezení se už není co učit dál a jak se zdokonalovat – například tím, že …

více »

Pohled na vývoj autonomních dronů

Autonomní systémy se postupně stávají součástí našeho každodenního života od robotických vysavačů až po samořiditelné automobily. Vývoj autonomních systémů neobešel ani velmi populární oblast dronů. Tvorba algoritmů pro drony přináší řadu výzev, se kterými se musí jejich autoři vypořádat. Podporu jim poskytují současné simulační a vizualizační nástroje, bez kterých by …

více »

Vzorkování bosonů pro kvantovou nadvládu funguje podle algoritmu z ČVUT

K prokázání takzvané kvantové nadvlády kvantového počítače založeného na fotonech využili čínští vědci řešení výpočtového problému formulovaného na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze (FJFI). Konkrétně jde o protokol Gaussova vzorkování bosonů (Gaussian Boson Sampling), se kterým přišel Craig Hamilton a Igor Jex z FJFI a jejich partneři, …

více »

Dokázali výpočetní nadřazenost kvantového počítače

Tentokrát jde o něco jiného než o demonstraci rychlosti řešení konkrétního problému, jak loni tvrdil Google v menším sporu s IBM. Nyní tu máme mít formální důkaz. Vše ovšem vyžaduje trochu vysvětlování: to, že kvantové počítač využívá superpozici a nachází se během výpočtu „v mnoha stavech současně“, samo o sobě …

více »

Dokázali Kellerovu domněnku pro 7 dimenzí

90 let starý problém z oblasti geometrie padl díky speciálnímu nasazení algoritmu, který převedl matematickou otázku na problém splnitelnosti. Kellerova domněnka spadá do kategorie populárních problémů dláždění. Otázka zní, zda rovinu můžeme pokrýt jedním typem dlaždic, aniž by se překrývaly jejich hrany (viz obrázek pro čtverce; jindy se problém formuluje …

více »

Používáme soubory cookies pro přizpůsobení obsahu webu a sledování návštěvnosti. Data o používání webu sdílíme s našimi partnery pro cílení reklamy a analýzu návštěvnosti. Více informací

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close