CSE 571 Spring 2001
PROFESSOR: Dr. Chitta Baral
OFFICE: GWC 366
OFFICE HOURS: Tue: 4:40-5:40pm Thu: 4:40-5:40pm
PHONE: 480 727-6047
CLASS SCHEDULE: TuTh 10:40 --11:55 SCOB 302
PREREQUISITE: CSE 471 (UG AI) recommended.
S0. Introductory slides.
S1. Slides on search, heuristics, MDPs, and POMDPs. (application to planning)
S2. Slides on probability, Bayes nets, and causality. (predictions, abductions and counterfactuals)
B2. Causality. Judea Pearl. (Chapter 1 and 2)
Computational Intelligence: a
Mackworth, Goebel and Poole.
Introduction to AnsProlog. B1: Ch1.1, 1.2, 1.3, 2, 3.2, 3.3.1,3.3.4
Smodels system for AnsProlog. B1: Ch 8.1.1-8.1.5
of AnsProlog in reasoning and knowledge representation. B1 Ch2.2, 4.11
(common-sense reasoning, reasoning with defaults, reasoning with incomplete information,
reasoning with priorities and preferences, inheritance hierarchies.)
problem solving with AnsProlog and Smodels. B1 Ch4.1, 4.2, 4.3, 4.7-4.10,4.12,
(reasoning about actions, temporal reasoning, planning;
tournament scheduling, job shop scheduling, supply chain planning;
abductive reasoning, explanation generation, diagnosis;
constraint satisfaction problems, DCSP;
Search, heursistics, HSP and HSP-R planning, MDPs
and POMDPs. (S1, B1 Ch 7.3)
(about 3 weeks)
Basic search, heuristics serach
HSP and HSP-R planning;
MDP, POMDP and their solution using Real time dynamic programming;
Computing answer sets of AnsProlog programs. (the Smodels algorithm.)
Probability, Bayes nets and Causality. (S2, B2:
Ch1 and 2)
(about 3 weeks)
notions, Bayes nets, Inference with Bayes nets;
Causal Bayes nets, Functional causal models (prediction, intervention and counterfactuals);
Learning Bayes nets and causal models.
Home works and programming assignments: 25%
Project and project report: 30%
(Examples of acceptable projects are: Implement a substantial knowledge representation, reasoning or
declarative problem solving problem -- from the literature -- in AnsProlog.)
Class participation: 5%
LATE ASSIGNMENTS WILL NOT BE ACCEPTED!
MAKE-UP EXAMS ARE NOT GIVEN!