Introduction to Artificial Intelligence (ARIN)

Logic Practical

  1. Logic exercises
  2. Graph colouring
  3. Fun with WalkSAT
  4. First-order reasoning by computer

Logic exercises

Answers are here.

Graph colouring

CNF encoding are towards the end of this document. My hand-drawn search trees are here.

Fun with WalkSAT

My CNF files are here and here.

Last modified: Mon Feb 13 16:57:18 GMT 2012

Valid XHTML 1.1!