Introduction to Artificial Intelligence For Friday No new reading Logic and Resolution Homework Program 2 Any questions? Resolution Propositional version. {a Ú b, ¬b Ú…