Artificial Intelligence Inference in first-order logic Fall 2008 professor: Luigi Ceccaroni.
Proof methods Proof methods divide into (roughly) two kinds: –Application of inference rules Legitimate (sound) generation of new sentences from old Proof.
Proof methods
Start with atomic sentences in the KB and apply Modus Ponens, adding new atomic sentences, until “done”.