Artificial Intelligence: A New Synthesis - Nils Nilsson (Elsevier, 1997)