Multiple Choice

Identify the choice that best completes the statement or answers the question.

$1.\_\_\_\_$ are statements that are assumed to be true and from which other true statements can be

proved.

a$.$ Axioms c$.$ Logical statements

b$.$ Predicates d$.$ Universal statements

$2$ The $\_\_\_\_$ quantifier represents all things in the universe named by the variable.

a$.$ existential c$.$ global

b$.$ universal d$.$ general

$3.$ A$($n$)\_\_\_\_$ quantifier states that a predicate is true of at least one thing in the universe, indicated

by the variable.

a$.$ existential c$.$ global

b$.$ universal d$.$ logical

$4.\_\_\_\_$ is the process of pattern matching to make statements identical.

a$.$ Unification c$.$ Instantiation

b$.$ Resolution d$.$ Equalization

$5.$ Which of the following is not a technology or application of AI$?$

A$)$ speech understanding B$)$ linguistics

C$)$ machine learning D$)$ smart homes