CSC244/444

Logical Foundations of Artificial Intelligence

Fall 2004

Time & Location: TR 9:40am-10:55am, CSB632.

Textbook: "Knowledge Representation and Reasoning" by Ronnald J. Brachman and Hector J. Levesque

Description
An introduction to the logical foundations of AI including various logics and knowledge representation formalisms, model theoretic semantics, automated reasoning techniques, planning, and probability and decision theory.





Office Hours Where?

Instructor

James Allen

by appt (send email to james at cs dot rochester dot edu )
CSB732

TA

Hao Zhang

Wednesday 10:00am-11:30am or by appointment CSB725

Homework guidelines

Homework statistics



Syllabus




Dates
Topics HWs
1
Introduction
9.2
Chp 1: Knowledge, Representation, and Reasoning,
Sytatic Elements of FOL
1.A, lisp part: Searching, out
2
LISP tutorial
9.7
Class cancelled, LISP tutorial held -
the tutorial handout and some previous lecture notes.

3
Expressing Knowledge
9.9
Chp 3: Encoding Knowledge in FOL

4
Natural Deduction
9.14
Lecture given by Prof. Len Schubert:
Introduction to Formal Semantics and Natural Deduction
1.A, DUE
1.B, written part: Basic  Logic, out
5 Model Theory
9.16
Chp 2: Model Theory for non-quantified Predicte Logic

6
Model Theory
9.21
Chp 2: Model Theory for FOPC: variable assignments; the resolution
(slides) by Dr. George Ferguson
1.B DUE
2.A: Model Theory, out
7
Resolution
9.23
Chp 2: Resolution I - Basics for propositional case, CNF, resolution
(slides) by Dr. George Ferguson

8
Resolution
9.28
Chp 4: Resolution II - Unification and handling of quantifiers, Q&A
(slides) by Dr. George Ferguson
2.A DUE
9
Resolution
9.30
Chp 4: Resolution III - Strategies
2.B: Simple Reasoning, out
10
Reasoning with Horn Clauses
10.5
Chp 5: Reasoning with Horn Clauses


11
Procedural Control of Reasoning 10.7
Chp 6: Procedural Control of Reasoning

12
Situation Calculus 10.12
Chp 14: Situation Calculus

13
Situation Calculus 10.14
Chp 14: Situation Calculus Plannning
2.B DUE
3: Theorem proving and planning, out
14
Planning
10.19
Chp 15: State-based Planning Algorithms

15
Planning
10.21
further reading: Plan-space search techniques

16

10.26
Review Session 3 DUE
17

10.28
MIDTERM

18
Planning
11.2
Notes: Recent Advances in Planning
Readings: 1 , 2
(slides) by Dr. George Ferguson

19
Default Reasoning
11.4
Chp 11: Default Reasoning I: Closed World
4: Planning, out
20
Default Reasoning 11.9
Chp 11: Default Reasoning II: Circumscription
Notes given by Prof. Schubert

21
Frames 11.11
Chp 8: Frames

22
Inheritance 11.16
Chp 10: Inheritence
4 DUE,
Results of evaluation
23
Description Logic 11.18
Chp 9: Description Logic
5.A: Non-monotonic reasoning, out


11.23
CANCELLED



11.25
THANSGIVING

24
Probability and Belief 11.30
Notes: Bayesian Nets 5.B: Prob, out
25
Probability and Belief 12.2
Notes: Dempster-Shafer Theory
26

12.7
Review
Solution to 5
5.A DUE
5.B DUE
27

12.9
FINAL EXAM



Resources



last updated on December 15, 2004

zhanghao @ cs ...
UPHOME
URCS People | URCS Home Page