17 Mar 2005
CS 3243 - Logical Inference
46
Problems with propositionalization
lPropositionalization seems to generate lots of irrelevant sentences.
l
lE.g., from:

¡"x King(x) Ù Greedy(x) Þ Evil(x)
¡King(John)
¡"y Greedy(y)
¡Brother(Richard,John)
l
lit seems obvious that Evil(John), but propositionalization produces lots of facts such as Greedy(Richard) that are irrelevant
l
lWith p k-ary predicates and n constants, there are p·nk instantiations.