Introduction to Artificial Intelligence TDT4136 - fall 2014 NTNU