Readings for 9/28 - 9/30

• First order logic syntax and semantics

  Knowledge Interchange Format (KIF)
  

• Primary readings

  • Russell and Norvig
    • 6.4 - Propositional Logic: A Very Simple Logic
    • 7.1 - First-Order Logic, Syntax and Semantics
    • 8.1-3 - Building a Knowledge Base
  • KIF Manual
    • 1 - Introduction
    • 2 - Syntax
    • 3 - Conceptualization
    • 4 - Semantics

Previous slide

Back to first slide

View graphic version