Artificial intelligence : foundations of computational agents - Poole, David L.; Mackworth, Alan K. (Cambridge University Press, 2011)