Problems with propositionalization Propositionalization seems to generate lots of irrelevant sentences. ·E.g,from: ● Vx King(x)^Greedy(x)Evil(x) King(John) Vy Greedy(y) Brother(Richard,John) it seems obvious that Evil(John),but propositionalization produces lots of facts such as Greedy(Richard)that are irrelevant With p k-ary predicates and n constants,there are pnk instantiations.Problems with propositionalization • Propositionalization seems to generate lots of irrelevant sentences. • E.g., from: • • x King(x)  Greedy(x)  Evil(x) King(John) y Greedy(y) Brother(Richard,John) • it seems obvious that Evil(John), but propositionalization produces lots of facts such as Greedy(Richard) that are irrelevant • • With p k-ary predicates and n constants, there are p·n k instantiations. •