Slide 1Artificial Intelligence 8. The Resolution Method Course V231 Department of Computing Imperial College, London Jeremy Gow Slide 2 Soundness & Completeness Want…