Schedule
Week 1
Monday, August 24
- Overview of the course and logistics
- Paul presents his research
Wednesday, August 26
- Propositional logic: syntax, semantics, resolution, compactness, lecture notes
- Exercise 1 (due Sep 9): refutation completeness of propositional logic
Week 2
Monday, August 31
- First-order logic: syntax, semantics, limitations, main results
Wednesday, September 2
- FOL validity is recursively enumerable, example of quantifier instantiation, lecture notes
- Exercise 2 (due Sep 16)
Week 3
Monday, September 7
- No lecture (Labor Day)
Wednesday, September 9
- Finite model theory, lecture notes
- First-order logic with recursive definitions (FOL+LFP), lecture notes
Week 4
Monday, September 14
- FOL+LFP continued
Wednesday, September 16
- Second-order logic, descriptive complexity, MSO
- Interlude: discussion on AI art and creativity, Why AI Isn’t Going to Make Art
- Exercise 3 (due Sep 30)
Week 5 (set schedule for paper presentations)
Monday, September 21
- Conclude discussion on AI art and creativity
Wednesday, September 23
- Symbolic learning, learning in finite-variable logics, lecture notes
Week 6
Monday, September 28
- Bottom-up tree automata, lecture notes
Wednesday, September 30
- Bottom-up tree automata (continued)
Week 7
Monday, October 5
- Two-way alternating tree automata, decidability of FOL(k)-separation, lecture notes
- Exercise 4 (due Oct 28)
Wednesday, October 7
- Tanner presents compilers for quantum programs
Week 8 (project proposals due)
Monday, October 12
- Continued discussion on AI in art, Saunders on AI writing
Wednesday, October 14
- Raihan presents Securing Agents with Tracked Capabilities
Week 9
Monday, October 19
- Manasvi presents Language-based Agent Control
Wednesday, October 21
- Continued discussion on AI in art, Holyoak on AI poetry
Week 10
Monday, October 26
- Jake presents Memo
- optional reading Representing Goals in a DSL of Thought and Gauguines
Wednesday, October 28
- Federico presents Combining Induction and Transduction for Abstract Reasoning
- optional reading On the Measure of Intelligence and ConceptARC
Week 11
Monday, November 2
- Kshama presents VeriPlan
Wednesday, November 4
- Aloken presents Clover
- optional reading Guardians of the Agents
Week 12 (project progress updates)
Monday, November 9
- Matthew presents Learning-based Axiom Synthesis
Wednesday, November 11
- Guest lecture from Harvard PhD student Simon Henniger on Djinnlang.