|
21. Jun 2012|23:31 |
|
Principā, ir pierādīts (L. A. Levin, Universal sequential search problems, 1973), ka katru problēmu, kurai eksistē programma p ar garumu ℓ(p), kura apstājas laikā t(p), var sliktākajā gadījumā atrisināt ar universālo Tjūringa mašīnu laikā 2ℓ(p)+1t(p). Tas ir vismazāk optimālais gadījums, kurā tiek veikta Levina meklēšana pa koku no visām programmām, kas atbilst iepriekšminētajiem kritērijiem. Jau šobrīd eksistē virkne universālās meklēšanas algoritmu, kas atrod atbildi vai apstājas optimālākā laikā (Hatera meklēšana, pieaugošas varbūtības algoritmiskie ģeneratori) un universāliem tuvu algoritmu, kuru laika optimalitāte ir vēl augstāka (AIξtl aģenti, sakārtotu programmu koku pakāpeniska meklēšana (OOPS sistēma), metaoptimizējošā semantiskā evolucionārā meklēšana (MOSES sistēma)). Parādoties AGI, šai problēmai rodas vēl viens risinājumu virziens - inteliģentas sistēmas, kas spēj saprast uzdevumu un aktīvi ierobežot tā meklēšanas telpu. |
|