Online demonstrations for symbolic pattern recognition

Framework

1. Representations for Symbolic Reasoning

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

2. Methods for Symbolic Reasoning

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

Details of the content

1. Representations for Symbolic Reasoning

   1. Blackboards
      1. Opening the "Closed World" of Prolog - scroll down to A Blackboard Application, Arvindra Sehmi
   2. Decision Trees
      1. Decision Trees, CI Space
      2. Decision Tree Classifier Demo, Rosella
      3. Decision Tree Demo, Prediction Works
   3. Frames
   4. Graphs
   5. Modal Logic
   6. Predicate calculus
   7. Production Rules
   8. Semantic Nets
      1. VerbOcean, broad-coverage semantic network of verbs
      2. Actual examples of semantic networks, Dave Jonassen, University of Missouri
   9. Situation Calculus

2. Methods for Symbolic Reasoning

   1. Case-based Reasoning
      1. Case-based Reasoner: Applet Demo, Stuart Aitken, University of Edinburgh
   2. Graph matching
      1. Representing Images by Graphs, Institute of Computer Aided Automation
   3. Logic Programming
      1. Internet TRiLOGI Version 5.0, click on Run Ladder editor for demo
   4. Parsing
      1. C&C Tools, Stephen Clark and James Curran
      2. Recursive-Descent Parser Applet, Java, Zerksis D. Umrigar
      3. Demonstration of Parsing Algorithms, Java, Zerksis D. Umrigar
   5. Planning
      1. Steadtler Planner Game AI Demo, YouTube video
      2. O-Plan AAAI-2000 Intelligent Systems Demonstration Support Page, AIAI, University of Edinburgh
   6. Rule matching
   7. Search
      1. Graph Searching, AI Space
      2. Breadth First Search, Java, Duke University
      3. Depth First Search, Java, Duke University
      4. State-space Search
         1. AI-Search Algorithm Animation software, RMIT University
         2. Verisoft , BellLabs
   8. Theorem Proving

Return to Student/Researcher Resource page

© 2008 Robert Fisher