Class notes and Slides

CSE 571 Graduate AI at ASU

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