CSSE 413: Day 9

Outline

• Quantifiers
• Introduction to First-order logic: Quantifiers and predicates.
• Syntax of First-order logic
• Rules of FOL

Materials

• Syntax and semantics of FOL
• Inference rules for quantifiers

Assignments

• Day 12, BC: Presentation proposal
• Day 17, BC: Multi-agent pacman