Knowledge Repr. Summary

• All KR systems ? logic or probability theory

• Propositional Logic

  • Syntac
  • Semantics
  • Inference
    • DPLL
    • GSAT

• First Order Predicate Calculus

  • Terms, ?, ?, ...

• Bayesian Belief Networks

Previous slide

Next slide

Back to first slide

View graphic version