Sintetiziranje specifikacija za robote

Obećanje dano ljudskom rodu je da će uskoro doći vrijeme kad će roboti raditi naporne poslove, a mi ćemo biti zabavljeni igrama, umjetnošću, intelektualnim i tjelesnim užitcima.¹ Kako bi osigurali da se roboti ponašaju točno onako kako mi želimo, mnogi znanstvenici radili su na automatskoj sintezi robotskog koda iz (formalne) specifikacije.² Dakle, za danu specifikaciju […]

Continue reading

Kad roboti uzmu stvar u svoje ruke

Roboti tek posljednjih godina sramežljivo polako ulaze u naše kuće i postaju dio života društva, međutim, u industriji su prisutni već desetljećima i današnji svijet bez njih bi bio nezamisliv. Ako se okrenete oko sebe velika većina predmeta koje vidite je barem u nekom stadiju svoje izrade od sirovca do gotovog proizvoda došla „pod ruke“ […]

Continue reading