Artificial Intelligence: A new synthesis - Nilsson, Nils J (Morgan Kaufmann Publishers, 2002)