This is material that is meant to support and provide background to the topics covered in the lectures, especially on applications (robotics, autonomous vehicles, game-playing), possibility of intelligent AI, consciousness and AI, and the relation between symbolic (logical) and non-symbolic AI.
Material that covers the logic prerequisites and part of the logic-related lectures (Chapter 2 + Section 3.1 suffices):
- J. Rintanen, Propositional Logic and Its Applications in Artificial Intelligence (last modification: April 5, 2017)
Recent media coverage on A.I.:
- The Great A.I. Awakening, New York Times, December 14, 2016
Possibility of AI
- Robert Penrose's Shadows of Mind (Wikipedia)
- Chinese room (Wikipedia)
- Hubert Dreyfus' views on Artificial Intelligence (Wikipedia)
- R. Brooks, Intelligence without Representation, 1990.
- M. Hutter, Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decisions, 2001.
- T. Sandholm, Expressive Commerce and its Application to Sourcing, AI Magazine, 2007.
Intelligent software (game-playing AI, quiz show AI):
- D. Ferrucci et al., Building Watson, 2010.
- J. Schaeffer et al., Checkers is solved, 2007.
- M. Bowling et al., Heads-up limit hold'em poker is solved, 2015.
- G. Marcus, Go, Marvin Minsky, and the Chasm that AI Hasn’t Yet Crossed, January 28, 2016
Autonomous vehicles and robots:
- (highly automated)
- M. Reibert et al., BigDog, the Rough-Terrain Quadruped Robot, 2008.
- D. Dolgov et al. Path-planning for autonomous vehicles in semi-structured unknown environments, 2010.
- Humans are slamming into driverless cars, The Age, January 2, 2016
- US marines reject BigDog robotic packhorse because it's too noisy, The Guardian, December 30, 2015
- (walking human-shaped robot)
- (walking dog-like robot)
- (robots not displaying much intelligence)