January 17, 2007: Introduction to the course
January 22, 2007: Illustrating the usefulness of a general purpose Knowledge Representation and Reasoning system: Solving puzzles using Smodels. (Puzzle1, Puzzle 2, Planning 1)
January 24, 2007: Going over NLP slides from the MIT class
January 29, 2007: Presentation by Luis Tari on Link Grammar
January 31, 2007: Presentation by Bob Leaman on his puzzle solver. (puzzle examples)
February 5, 2007: Propositional logic, First order logic and Semantics of natural language.
February 7, 2007: Logic form related slides.
February 12, 2007: ATM architecture, RTE HT pairs.
February 14, 2007: History of Knowledge Representation: classical logic, non-monotonic logic, logic programming. Horn logic programs.
February 19, 2007: Review of the history. AnsProlog-not programs, minimal models, least models.
February 21, 2007: AnsProlog, stable models, answer sets.
February 26, 2007: Stratification, local stratification, splitting.
February 28, 2007: enumeration, choice, there exisits, for all.
March 5, 2007: Puzzles. Getting ready for project.
March 7, 2007: classical negation; reasoning with incomplete information
March 12-16 2007: Spring Break
March 19, 2007: reasoning about actions
March 21, 2007: reasoning about actions, planning
March 26, 2007: reasoning about actions in presence of incomplete information
March 28, 2007: review of class test
April 2, 2007: Class Test 1
April 4, 2007: weight constraints, optmizations in AnsProlog
April 9, 2007: Probabilistic knowledge representation, Bayes nets
April 11, 2007: Bayes net reasoning algorithm
April 16, 2007: Structural causal models, motivation and examples
April 18, 2007: Structural causal models, counterfactuals
April 23, 2007: Project related help, Progol.
April 25, 2007: Learning Bayes nets; Learning Causality.
April 30, 2007: Learning Causality, Finals overview.
May 9, 2007: Finals 2:40-4:30 PM