The corresponding Existential Instantiation rule: for the existential quantifier is slightly more complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in the knowledge base.

A. Heuristic B. Critical C. Value based D. Analytical E. None of the above

A. Design B. Distribution C. project management D. field service E. None of the above

A. hierarchical planning B. non-hierarchical planning C. All of the above D. project planning E. None of the above

A. The Turing Test B. LISP C. The Logic Theorist D. Cybernetics E. None of the above