Teaching materials for symbolic pattern recognition

Framework

1. General

2. Representations for Symbolic Reasoning

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

3. Methods for Symbolic Reasoning

   1. Case-based Reasoning
   2. Graph matching
   3. Planning
   4. Parsing
   5. Rule-Based Systems
   6. State-space Search
   7. Theorem Proving
4. Applications
   1. Natural Language Processing

Details of the content

1. General

   Notes	Slides	Reading	Homework
   	John Quinn	Myers/Subramanian/Zabih Doherty	Alison Cawsey

2. Representations for Symbolic Reasoning

   1. Blackboards

      Notes	Slides	Reading	Homework
      		Karl Pfleger	Dave Marshall

   2. Decision Trees

      Notes	Slides	Reading	Homework
      J E Beasley	Andrew Moore BizEd	Newman	J E Beasley (solution)

   3. Frames

      Notes	Slides	Reading	Homework
      	Alison Cawsey Isaac Pak-Wah Fung

   4. Graphs

      Notes	Slides	Reading	Homework
      Bell College	Edward S. Blurock		Edward S. Blurock

   5. Formal and Informal Languages

      Notes	Slides	Reading	Homework
      Rob van Glabbeek	Santosh Pande Bonnie Webber/Stuart Anderson	Misc	Anderson/Webber/Korte/Yallop I Anderson/Webber/Korte/Yallop II Shallit (1) (2) (3) (4) (5)

   6. Modal Logic

      Notes	Slides	Reading	Homework
      Ilkka Niemela	Dix/Jamroga Wiebe van der Hoek Natasha Alechina	Wiebe van der Hoek Natasha Alechina	Wiebe van der Hoek Natasha Alechina

   7. Predicate Calculus

      Notes	Slides	Reading	Homework
      Alison Cawsey	Alison Cawsey Isaac Pak-Wah Fung		Oxford Uni

   8. Production Rules

      Notes	Slides	Reading	Homework
      Richard Griffiths	Isaac Pak-Wah Fung

   9. Semantic Nets

      Notes	Slides	Reading	Homework	Video Lecture
      	Alison Cawsey Isaac Pak-Wah Fung Marko A. Rodriguez		Isaac Pak-Wah Fung (Solutions )	Stumme Gerd Bettina Hoser

   10. Situation Calculus

       Notes	Slides	Reading	Homework
       Sandewell	Maurice Pagnucco Kungas

3. Methods for Symbolic Reasoning

   1. Case-based Reasoning

      Notes	Slides	Reading	Homework
      Shepperd	Andrew Moore Mitchell Langseth

   2. Graph matching

      Notes	Slides	Reading	Homework	Video Lectures
      Meyer/Smyth	Greenblatt			Smola

   3. Parsing

      Notes	Slides	Reading	Homework
      Wilks	McQuain McQuain	Arora Rehm	Anderson/Hutchins-Korte Webber/Yallop

   4. Planning

      Notes	Slides	Reading	Homework
      Misc Simmons Szepesvari	Thad Starner Fahiem Bacchus	Haslam Szepesvari	Rintanen

   5. Rule-Based Systems

      Notes	Slides	Reading	Homework
      Jocelyn Paine	Davis Langseth		Jocelyn Paine

   6. Search

      Notes	Slides	Reading	Homework
      Giorgio Ingargiola Ralph Morelli Chris Atkeson	RMIT University	Robert Holte

   7. Theorem Proving

      Notes	Slides	Reading	Homework
      Frank Pfenning Tomas Recio1	Gerwin Klein	Gerwin Klein	Frank Pfenning J A Goguen and G Malcolm Gema Diaz1 Martin Kreuzer1

4. Applications
   1. Natural Language Processing

      Notes	Slides	Reading	Homework
      Klein/Lascarides Christal Kemke	Klein/Lascarides Jim Martin	Klein/Lascarides Arora Georg Rehm	Klein/Lascarides Christal Kemke

Return to Teaching Resource page

© 2008 Robert Fisher