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.

What is the term used for describing the judgmental or commonsense part of problem solving?

A. Heuristic

B. Critical

C. Value based

D. Analytical

E. None of the above

What stage of the manufacturing process has been described as "the mapping of function onto form"?

A. Design

B. Distribution

C. project management

D. field service

E. None of the above

Which kind of planning consists of successive representations of different levels of a plan?

A. hierarchical planning

B. non-hierarchical planning

C. All of the above

D. project planning

E. None of the above

What was originally called the "imitation game" by its creator?

A. The Turing Test

B. LISP

C. The Logic Theorist

D. Cybernetics

E. None of the above