Topic introductions for Symbolic Pattern Recognition

1. Representations for Symbolic Reasoning

   1. Blackboards
   2. Decision Trees
   3. Frames
   4. Graphs
   5. Language, Formal and Informal
   6. Modal Logic
   7. Predicate calculus
   8. Production Rules
   9. Semantic Nets
   10. Situation Calculus

2. Methods for Symbolic Reasoning

   1. Case-based Reasoning
   2. Grammar Induction
   3. Graph matching
   4. Logic Programming
   5. Parsing
   6. Planning
   7. Rule matching
   8. Search
   9. Theorem Proving

3. Applications

   1. Natural Language Processing
   2. Semantic Networks

Return to Student/Researcher Resource page

© 2008 Robert Fisher