• 1 -> representation languates in general
• 2 -> syntax and sematics of fitst-order logic
• 3, 4 -> use of first-order logic for simple representations

1. Representation Revisited

2. Syntax and Semantics of First-Order Logic

3. Using First-Order Logic

Now that We have defined an expressive logical language, let’s learn how to use it. We provide example sentences in some simple domains

• Domain: in knowledge representation a domain is just some part of the world about which we wish to express some knowledge

3.1 Assertions and queries in first-order logic

Sentences are added

4. Knowledge Engineering in First-Order Logic