IA
Logical methods for AI
Lecture slides
This work is licensed under CC BY 4.0
Teaser lecture
Lectures
- Lecture 1. Logic and AI 2. Logic and AI
- Lecture 2. Valid inference 2. Valid inference
- Lecture 3. Formal languages 2. Formal languages
- Lecture 4. Boolean algebra 2. Boolean algebra
- Lecture 5. Boolean satisfiability 2. Boolean satisfiability
- Lecture 6. Logical conditionals 2. Logical conditionals
- Lecture 7. Logical proofs 2. Logical proofs
- Lecture 8. FOL 2. FOL
- Lecture 9. FOL inference 2. FOL inference
- Lecture 10. Many-valued logics 2. Many-valued logics
- Lecture 11. Logic and probability 2. Logic and probability
- Lecture 12. Logical learning 2. Logical learning