
| 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 |
| 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 |

