KR in the ‘90’s
Declarative representations
- Easier to change
- Multi-use
- Extendable by reasoning
- Accessible for introspection
Formal semantics
- Defines what the representation means
- Specifies correct reasoning
- Allows comparison of representations/algorithms
KR rooted in the study of logics
temporal, context, modal, default, nonmonotonic, ...
Rigorous theoretical analysis