3 Mar 2004
CS3243 - Inference
5
Reduction to propositional inference
lSuppose the KB contains just the following:
¡"x King(x) Ù Greedy(x) Þ Evil(x)
¡King(John)
¡Greedy(John)
¡Brother(Richard,John)
l
lInstantiating the universal sentence in all possible ways, we have:
¡King(John) Ù Greedy(John) Þ Evil(John)
¡King(Richard) Ù Greedy(Richard) Þ Evil(Richard)
¡King(John)
¡Greedy(John)
¡Brother(Richard,John)
¡
lThe new KB is propositionalized: proposition symbols are
Ÿ
¡ King(John), Greedy(John), Evil(John), King(Richard), etc.
l