|
Topic schedule:
(see below for expectations and other details)
| Week of |
Topic |
| Jan 4 |
Introduction, motivation, definitions, and a brief history of AI |
| Jan 11 |
KR in biology: Eco-Cyc, BioPax and the Gene Ontology. Also, build your own Protege ontology! |
| Jan 18 |
KR in decision support: Mycin |
| Jan 25 |
KR in anatomy: FMA, Galen, Mouse anatomy. |
| Feb 1 |
Inference & Theorem proving |
| Feb 8 |
Tractability vs Expressivity: a tradeoff. QUIZ on logic & theorem proving |
| Feb 15 |
The Semantic Web, RDF triples, Databases |
| Feb 22 |
Description logic & subsumption. Classic, Loom and OWL. |
| March 1 |
Knowledge sharing: OKBC. |
| March 8 |
The Cyc Project, Project Halo |
| March 16 |
Final presentations |
See assignments for further details.
|