IES 503 ARTIFICIAL INTELLIGENCE INFERENCE IN FIRST-ORDER LOGIC IES 503 ARTIFICIAL INTELLIGENCE İPEK SÜĞÜT CONTENTS PROPOSITIONAL VS. FIRST-ORDER LOGIC INFERENCE RULES…