Documents For Monday

For Monday Read “lectures” 6,9-12 of Learn Prolog Now: http://www.coli.uni-saarland.de/~kris/learn-prolog-now/ Prolog Handout 2 Exam 1 Next Monday Covers through chapter…

Documents For Friday No new reading Logic and Resolution Homework.

Introduction to Artificial Intelligence For Friday No new reading Logic and Resolution Homework Program 2 Any questions? Resolution Propositional version. {a Ú b, ¬b Ú…

Documents For Wednesday Finish reading chapter 10 – can skip chapter 8 No written homework.

For Wednesday Finish reading chapter 10 – can skip chapter 8 No written homework Program 2 The Future Resolution Propositional version. {a Ú b, ¬b Ú c} |- a Ú c OR…

Documents For Monday

For Monday Read 10.1-10.2 Prolog handout 4 Homework: Chapter 9, exercises 9-11 Exam 1 Wednesday Covers chapters 1-9 Focus on search and logic No Lisp or Prolog Take home…