Problems with propositionalization Propositionalization seems to generate lots of irrelevant sentences. E.g.,from Vx King(x)∧Greedy(x)→Evil(c) 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 p.n instantiations With function symbols,it gets nuch much worse! Chapter 99Problems 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 · nk instantiations With function symbols, it gets nuch much worse! Chapter 9 9