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.
Propositionalization<br />
K<strong>in</strong>g(John) ∧ Greedy(John) → Evil(John)<br />
K<strong>in</strong>g(Richard) ∧ Greedy(Richard) → Evil(Richard)<br />
K<strong>in</strong>g(John)<br />
Greedy(John)<br />
Brother(Richard,John)<br />
The new KB is propositionalized: proposition symbols are<br />
K<strong>in</strong>g(John), Greedy(John), Evil(John),K<strong>in</strong>g(Richard) etc.<br />
<strong>Inference</strong> <strong>in</strong> <strong>first</strong>-<strong>order</strong> <strong>logic</strong> – 7
Change language