powerplay

Last updated: 2015-10-09 01:57:35 +0100

Upstream URL: git clone http://chriswarbo.net/git/powerplay.git

Repo

View repository

View issue tracker

Contents of follows


This is an implementation of J├╝rgen Schmidhuber's PowerPlay[1] architecture for 'Universal Artificial Intelligence', implemented in the dependently-typed language Coq[2]. Using a system like Coq gives us two things:

The repository is layed out as follows:

[1] http://www.idsia.ch/~juergen/interest.html [2] http://coq.inria.fr