ORAUE - Optimal Rational Agents in Unknown Environments

Scopo del progetto è lo sviluppo di una teoria universale della decisione sequenziale analoga alla nota teoria universale dell´induzione di Solomonoff.Egli derivò un metodo ottimo per prevedere dati futuri sulla base di precedenti osservazioni, applicabile a eventi caratterizzati da una distribuzione di probabilità computabile in maniera ricorsiva. Ci si propone di estendere tale approccio fino ad ottenere un agente razionale ottimo in grado di apprendere per rinforzo dall´interazione con un ambiente ottenuto dal campionamento di una distribuzione computabile. Un ragguardevole e sorprendente prodotto secondario di tale ricerca è rappresentato dall´algoritmo asintoticamente più breve e più rapido per risolvere qualunque problema ben definito.