Advanced Artificial Intelligence: Course Content

Introduction
- Foundations
- The Status of Knowledge
State Space Search
Knowledge Representation
- Knowledge Representation with Classical Logic
  - Propositional logic
  - 1st order logic
    - Online KBs ... SUMO, WordNet, Cyc
    - Conversion to CNF (FOF to CNF tables)
    - Inference with resolution
- Knowledge Representation with Non-classical Logic
- Uncertain epistemic status
- Imprecise assertional status
- Taxonomies, ontologies, and knowledge bases
Machine Learning