Overview of Logic and Computation

This page contains information on the second half of the MICT course Overview of Logic and Computation offered in Semester 1, 2007. In this part of the course we discuss automated reasoning using propositional logic, with a focus on the fields of satisfiability (SAT) and knowledge compilation.

Instructor: Jinbo Huang
Time: Wed 3–4, Thur 11–12, Fri 10–11
Place: A203, RSISE Building

Some class rescheduling

  • No class on Fri 11 May; Mon 14 May, 11–12 instead
  • No class on Fri 18 May; Tue 22 May, 11–12 instead
  • No class on Wed 23 May; Mon 28 May, 11–12 instead
  • No class on Thur 31 May or Fri 1 June; Mon 4 June, 11–12 instead

    • Tentative Schedule

  • Week 1: Inference in propositional logic
  • Week 2: SAT by systematic and local search
  • Week 3: SAT by clause learning
  • Week 4: Propositional languages based on negation normal form
  • Week 5: Compilation of knowledge into target languages
  • Week 6: Applications of SAT and knowledge compilation

    • Final Assignment

    Lecture Notes by Adnan Darwiche

  • Propositional Logic
  • Propositional Resolution
  • Satisfiability as Systematic Search
  • Negation Normal Form
  • Model-Based Diagnosis