Artificial intelligence: a new synthesis - Nilsson, Nils J (Morgan Kaufmann(Ind ed), 1998)