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.
Forward cha<strong>in</strong><strong>in</strong>g<br />
♦ When a new fact p is added to the KB<br />
♦ for each rule such that p unifies with a premise<br />
♦ if the other premises are known then add the conclusion to<br />
the KB and cont<strong>in</strong>ue cha<strong>in</strong><strong>in</strong>g<br />
♦ Forward cha<strong>in</strong><strong>in</strong>g is data-driven<br />
E.g., <strong>in</strong>ferr<strong>in</strong>g properties and categories from percepts<br />
<strong>Inference</strong> <strong>in</strong> <strong>first</strong>-<strong>order</strong> <strong>logic</strong> – 13