What is Skolem constant? How is Skolemization done during resolution? Represent the following statements into FOPL. All movies are not hit. Sarangi is a movie. All movies which have good script are hi
Marks: 10
Year: 2081 Final TU
1. Skolem Constant and Skolemization Skolem Constant - A Skolem constant is a new constant symbol used to eliminate existential quantifiers in FOL. - Example: ∃x Movie(x) → Movie(m1) (where m1 is Sko
