Artificial Intelligence A New Synthesis - Nilsson, Nils J (Elsevier, 1998)