Resolution in Propositional Logic
{"Image DocumentName": "Resolution in Propositional Logic", "Image ImageDescription": "Resolution is one method for automated theorem proving. It is important to Artificial Itelligence because it helps logical agents to reason about the world. It helps them to prove new theorems, and therefore helps them to add to their knowledge.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}