AI Recommended Readings / Possible. Minds

added a section for Artificial / computational / machine intelligence recommended readings on the main site — here.

noted also that  “We’re also paying attention to the applicability of AI/MI concepts to the space of What Sloman calls ‘possible minds’. “The idea is that the space of possible minds encompasses not only the biological minds that have arisen on this earth, but also extraterrestrial intelligence, and whatever forms of biological or evolved intelligence are possible but have never occurred, and artificial intelligence in the whole range of possible ways we might build AI”

The initial list of principal textbooks include:
1. Russell, S. J., & Norvig, P. (2016). Artificial intelligence: a modern approach.
This is an updated edition of the 2010 version containing extensive current references.
[note the book is getting hard to find sometimes due to demand, and its being the definitive AI textbook, check the edition you are using/getting]

2. Sutton, R. S., & Barto, A. G. (2018). Reinforcement learning: An introduction. MIT Press. This is an updated (2nd) edition of the 1998 version.
In addition to his University of Alberta academic appointment, Richard Sutton is now the head of Alphabet/Google DeepMind Alberta operations.

3. Nilsson, N. J., & Nilsson, N. J. (1998). Artificial intelligence: a new synthesis. Morgan Kaufmann.

4. Poole, D. L., Mackworth, A. K., & Goebel, R. (1998). Computational intelligence: a logical approach (Vol. 1). New York: Oxford University Press.

5.  Artificial Intelligence: Foundations of Computational Agents 2nd Edition by the same authors.

 

Advertisements

Voevodsky and Computer verification of mathematical reasoning

 

Vladimir Alexandrovich Voevodsky Winner of the 2002 Fields Medal passed away earlier this year. Way too early.   Explore his UNIVALENT FOUNDATIONS (2014), where he stated:

I   think it was at this moment that I largely stopped doing what is called “curiosity-driven research” and started to think seriously about the future.  … It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.