Artificial intelligence - Poole, David L (Cambridge University Press, 2017)