Umělá inteligence 1., Úvod, metody řešení úloh, rezoluční metoda - Sedláček, Václav (Skriptá, 1987)