Today I talked with a friend from ANU online, who is interested in AIT. The following is the reading list from his blog:

Here is the list of books I’m current reading, most of them, if not all, are recommended by Prof. Marcus Hutter.

  • D. P. Bertsekas and J. N. Tsitsiklis. Neuro-Dynamic Programming
    Athena Scientific, Belmont, MA (1996) [If you want to know the formal proofs in RL, there is really no replacement for this book]
  • G. Restall. Logic: An Introduction
    Fundamentals of Philosophy, Routledge (2006) [Again an introductory book for logic.]
And I also find the following useful resources: