KR&R Formalisms as Logics

• Syntax

  • The rules for well-formed expressions (wfes)

• Semantics

  • What wfes mean

• Inference

  • How to derive wfes from other wfes
  • Preserving some important property
  • such as Truth (??)

Previous slide

Next slide

Back to first slide

View graphic version