Russell & Norvig 14.3, 14.4, 14.10 15.1 16.2