Computational Intelligence
A Logical Approach

Problems for Chapter 2

Here are some problems to help you understand the material in Computational Intelligence: A Logical Approach. They are designed to help students understand the material and practice for exams.

This file is available in html, or in pdf format, either without solutions or with solutions. (The pdf can be read using the free acrobat reader or with recent versions of Ghostscript).

  • 1 Models and Logical Consequences (ground)
  • 2 Interpretations and Models (with variables)
  • 3 Proofs and Logical Consequences (ground)
  • 4 Unification
  • 5 Proofs (with variables)

  • Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998