Knowledge Representation

• Defining a KR

  • Syntax
  • Semantics
  • Inference

• Evaluating a KR

  • How expressive?
  • Inference: soundness, completeness & speed

• You can’t have it all

Nodes, Arcs, cProb Tables

Joint probability distribution

Polytree algo, clustering, monte carlo

Propositional Logic

First Order Logic

Datalog

STRIPS Actions

Bayes Networks

Decision Networks

Previous slide

Next slide

Back to first slide

View graphic version