Artificial intelligence:a new synthesis - Nilsson, Nils J (Elsevier, 1998)