FOL Resolution

CSC 261 - Artificial Intelligence - Weinman



Answer the following questions. Record your answers in your Reading Journal.
  1. In your own words, briefly explain the importance of the Skolem function.1
  2. Identify the sentence from today's reading that you feel makes the most important distinction between the propositional and FOL resolution rules. Briefly explain your selection.
  3. The resolution algorithm for propositional logic (Fig. 7.12) is analogous (in outline) to an FOL resolution version. This algorithm features the line
    for each pair of clauses Ci, Cj in clauses do
    which is, in effect, a nested pair of for loops. Several resolution strategies address this inefficiency. Identify the one that you would choose to use first and explain your selection.
  4. Identify (and briefly elaborate on) the sentence, section or concept from the current reading that remains the most confusing to you.

Footnotes:

1That it would make an excellent name for a heavy metal band is not an acceptable answer. :-)