A Brief Review of AQ Learning Programs and Their Application to the MONKS Problems