80-521: Seminar on
Methodology
http://www.andrew.cmu.edu/user/kk3n/complearnclass/complearn2004.html
Current News:
Welcome! Look here for current news and
corrections between classes.
Syllabus
- LRI 1: Introduction
- LRI 2: Reliable Inquiry
- LRI 3: Demon Arguments
- LRI 4: Topology of Induction
- LRI 5: Games against Nature
- Ockham's Razor
- Infinite Regresses
- LRI 6: Demons of Computability
- LRI 7: Computable Inquiry
- Uncomputable Predictions
- LRI 8: Automaton Inquiry
- LRI 9: Discovery
- LRI 10: Computerized Discovery
- LRI 13: Probability
Other important topics (perhaps for final papers):
- LRI 11: Prediction
- LRI 12: Learning theories expressed in first-order logic
- LRI 15: Learning relative truths
- Statistical retractions and model selection
- Learning power of belief revision (related to Horacio's research)
- Case and Smith's anomaly hierarchy and its equivalents
- PAC learnability
Basic Information:
Time: M
1:30-3:50
Instructor: Kevin
T. Kelly.
E-mail:
kk3n@andrew.cmu.edu.
Phone:
X8567.
Office:135
BH.
Office
hours: Mon: 4:00-5:00, Wed 1:00-2:00, or by appointment. I'm
around a lot more than this and I will be happy to meet with you any
time I am free..
Required text: Kevin
Kelly, The Logic of Reliable Inquiry, Oxford.
Resource:
Relevant texts:
Computability theory (strongly
recommended):
Hierarchy theory:
Computational Complexity
Garey
and Johnson, Computers and Intractability.
Level of the Course:
Graduate seminar.
Self-contained, but will draw on ideas from computability, topology,
probability and philosophy of science. Familiarity with those
areas will help you keep up.
Aims of the Course:
To provide a research
level introduction to issues in computational learning theory that are
relevant to the philosophy of science.
General Requirements
Seminar
presentations and participation (30%): Each seminar will be
assigned to a student to present. You will be amazed how much
easier it is to learn when you are the teacher.
Exercises (30%) Answers
to be printed in LaTex format. HSS computing now supports LaTex,
so you can load it from their CD. I recommend the Winedt editor
(don't confuse with the Winedit editor).
Final project (40%): Due
on the last day of class. A philosophical application of the
course material, an extension of one of the results, or a raft of
extra exercises if you aren't inspired (about fifteen). I urge
the first two options. You stand an excellent chance of
publishing any original result, since the area is so open-ended.
Reading and Exercise Assignments
(posted as assigned)
Reading for 1-19 (need to
reschedule this meeting to avoid MLK day).
LRI Chapter 1: Introduction
LRI Chapter 2: Reliable Inquiry
Reading for 1-26:
LRI Chapter 3: Demons of Passive Observation
Exercise Due 2-2: Exercises
3.1-3.4