Knowledge Representation
Defining a KR
Syntax
Semantics
Inference
Evaluating a KR
How expressive?
Inference: soundness, completeness & speed
You can’t have it all
Previous slide
Next slide
Back to first slide
View graphic version