Inference in first-order logic
Inference in first-order logic
Inference in first-order logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Outl<strong>in</strong>e<br />
♦ Reduc<strong>in</strong>g <strong>first</strong>-<strong>order</strong> <strong>in</strong>ference to propositional <strong>in</strong>ference<br />
♦ Unification<br />
♦ Generalized Modus Ponens<br />
♦ Forward and backward cha<strong>in</strong><strong>in</strong>g<br />
♦ Resolution<br />
<strong>Inference</strong> <strong>in</strong> <strong>first</strong>-<strong>order</strong> <strong>logic</strong> – 2