Topic and Reading for 1/17

• Topic

  • First order predicate logic
    • Knowledge Interchange Format (KIF)
    • Model theoretic semantics

• Reading

  • Russell and Norvig
    • 6.4 - Propositional Logic: A Very Simple Logic
    • 7.1 - First-Order Logic, Syntax and Semantics
  • KIF
    • Language Description
    • Model Theoretic Semantics

Previous slide

Back to first slide

View graphic version