ICS-381 Principles of Artificial Intelligent Week 12 First-Order-Logic Inference in First-Order-Logic
Chapters 8-9
Dr.Tarek Helmy El-Basuny
DR. Tarek Helmy@KFUPM-ICS
First Order Logic / Predicate Logic
Problem of Propositional Logic FOL Syntax Universal Quantifiers Existential Quantifiers Connections between and Thinking in FOL Knowledge Engineering in FOL A Simple Family Tree KB by FOL Inference in FOL Universal Instantiation Existential Instantiation Universal Modus Ponens & Tollens Testing Validity with Diagrams Reducing First-Order Inference to Propositional Inference Quantified Inference Rules Resolution Refutation Converting FOL Sentences to CNF 2