CS 561: Artificial Intelligence - Usc
CS 561: Artificial Intelligence - Usc
CS 561: Artificial Intelligence - Usc
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Inference in first-order logic<br />
• Reducing first-order inference to<br />
propositional inference<br />
• Unification<br />
• Generalized Modus Ponens<br />
• Forward and backward chaining<br />
• Logic programming<br />
• Resolution<br />
<strong>CS</strong><strong>561</strong> - Lecture 26 - Macskassy - Spring 2010 12