Συλλογιστική με κανόνες
  1. forward και backward chaining
  2. ο αλγόριθμος Rete
  3. σχεδίαση και υλοποίηση συστημάτων κανόνων
  4. συλλογισμός βασισμένος σε περιπτώσεις (case-based reasoning)