I don't think you can solve agi without solving the halting problem first.  You can't design a truth machine and throw power at it, tempting as that may be to believe.