CPS 570: Artificial Intelligence Logic Instructor: Vincent Conitzer Logic and AI Would like our AI to have knowledge about the world, and logically draw conclusions from…