LAAFAI Mod2

Links:

• Course webpage

---

Table of Contents

• Symbolic AI and the need for logic
• Introduction to logic
  • Propositional logic
  • First Order Logic (FOL)
  • Resolution
  • Unification
• Logic programming
• Procedural interpretation
  • Declarative interpretation
  • Prolog (1st part, 2nd part in another course)
• Constraint programming
  • CLP
  • MiniZinc (1st part, 2nd part in CDMO course)

Lab lectures

List of lectures:

• Introduction

Homework assignments

Exam

Reading material

Book

1. Handouts (uploaded on Virtuale with slides and other material)
2. Dirk van Dalen. Logic and structure. 4th edition, Springer (available e.g. here)
3. Bratko. Prolog programming for artificial Intelligence
4. Triska. The power of Prolog
5. Russell, Norvig. Artificial Intelligence: A Modern Approach
6. The MiniZinc Handbook

Resources

• https://risorse.students.cs.unibo.it/dash/artificial-intelligence