(Declarative) Semantics

• Maps a representation (e.g. description in first order language) to the “real world”

• Requires agreement among all parties past and future

  • on all observations, facts
  • on all rules in vigor

Previous slide

Next slide

Back to first slide

View graphic version