COGS 526
Meaning and Logic
Spring 2026
Umut Özge (✉️), Anıl Öğdül (TA, ✉️)
🕐 W 2:40-5:30, II04
Check the current syllabus for course information and policies.
Make sure you are on odtuclass to get announcements and updates.
✳️ marks optional material.
| Week | Content |
|---|---|
| 1 (18/2) | Why logic is still relevant for cognitive science and AI (Lake et al. 2017, AIMA Sec. 7.1-7.3, Bhuyan et al. 2024✳️) |
| 2 (25/2) | Propositional logic; syntax and sematics; inference and proof; resolution (AIMA Sec. 7.4-7.5) |
| 3 (4/3) | Resolution (cont.); model checking; SAT solvers (AIMA, Sec. 7.6-7.7) |
| 4 (11/3) | First-order logic; syntax and semantics; (AIMA Sec. 8.1-8.2, Geurts, 2003✳️) |
| 5 (18/3) | Knowledge representation in FOL (specific) (AIMA Sec. 8.3-8.4, ) |
| 6 (25/3) | Inference in FOL AIMA Ch. 9. |
| 7 (1/4) | Inference in FOL (cont.) AIMA Ch. 9. |
| 8 (8/4) | Knowledge Representation (general) AIMA Ch. 10, McCarthy, 1980, McCarthy and Hayes, 1969✳️ |
| 9 (15/4) | KR (cont.) AIMA Ch. 10, Reiter, 1980 |
| 10 (22/4) | tags: [] |
| 11 (29/4) | tags: [] |
| 12 (6/5) | tags: [] |
| 13 (13/5) | tags: [] |
| 14 (20/5) | tags: [] |