First-Order Logic.

Question 1

Sentence vs Formula

Answer 1

A sentence has no free variables; each variable is universally or existentially quantified.

Question 2

Ground Atom

Answer 2

Interpreted as being true or false

Question 3

Ground Term

Answer 3

Simply a “data structure” (and is equivalent to something in the domain via the pre-interpretation).

Question 4

What does it mean for a theory in first-order logic to be inconsistent?

Answer 4

None of the interpretations is a model; that is, it has no model

Question 5

State something that is in first-order logic but not in the logic-programming paradigm.

Answer 5

Existential quantification.

Question 6

State something that is in the logic-programming paradigm but not in first-order logic.

Answer 6

Non-monotonic negation.

Question 7

Interpretations

Answer 7

(number of choices) ^ (number of variables)

Question 8

Model

Answer 8

An interpretation that makes a formula or a set of formulas true.

Question 9

Backtracking

Answer 9

Find another possible solution(False if no other possible solution) (;)