Inference in first-order logic
Inference in first-order logic
Inference in first-order logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Backward cha<strong>in</strong><strong>in</strong>g<br />
♦ When a query q is asked<br />
♦ if a match<strong>in</strong>g fact q ′ is known, return the unifier<br />
♦ for each rule whose consequent q ′ matches q attempt to<br />
prove each premise of the rule by backward cha<strong>in</strong><strong>in</strong>g<br />
♦ returns the unifiers (value for variables)<br />
♦ two versions: f<strong>in</strong>d any solution, f<strong>in</strong>d all solutions<br />
<strong>Inference</strong> <strong>in</strong> <strong>first</strong>-<strong>order</strong> <strong>logic</strong> – 17
Change language