- Docente: Andrea Omicini
- Credits: 6
- SSD: IINF-05/A
- Language: English
- Moduli: Andrea Omicini (Modulo 1) Giovanni Ciatto (Modulo 2)
- Teaching Mode: In-person learning (entirely or partially) (Modulo 1); In-person learning (entirely or partially) (Modulo 2)
- Campus: Cesena
-
Corso:
Second cycle degree programme (LM) in
Computer Science and Engineering (cod. 6699)
Also valid for Second cycle degree programme (LM) in Computer Science and Engineering (cod. 6699)
-
from Sep 17, 2026 to Nov 13, 2026
-
from Nov 19, 2026 to Dec 18, 2026
Learning outcomes
At the end of the course, students get acquainted with the fundamental issues of intelligent systems, the most relevant computational models and technologies, and the most effective methods. In particular, students become familiar with the fittest solutions, languages, technologies, architectures, and methodologies to design intelligent systems, and are capable of - devising the problems requiring artificial intelligence techniques for their solution; - determining the most proper conceptual and methodological approaches; - selecting and integrating the fittest technologies for implementing the solutions detected.
Course contents
Foundations of Artificial Intelligence
- Intelligence and Truth
- Symbolic vs Subsymbolic vs Nonsymbolic Techniques
Symbolic AI
- Logic & Logic Programming / Prolog
- Constraint Programming / MiniZinc
- Automatic Reasoning
- Planning / STRIPS
Foundations of Agency
- Intelligence vs. Autonomy
- BDI Logic & Architectures / Jason
- Reasoning with uncertainty: Probabilistic Reasoning, Fuzzy Logic, Bayesian Reasoning
Multi-Agent Systems
- Agreement Technologies: Communication, Cooperation, Coordination
Neuro-symbolic Agents
- Neuro-symbolic Techniques / SKI/SKE
- XAI, Self-explaining Agents
Agentic AI
- Sub-symbolic Agents & MAS
- Generative AI Agents
- Distributed Learning in MAS
- LangGraph / AutoGen / Crew AI
Readings/Bibliography
The bibliography is made available through the course web site.
Teaching methods
- Lessons with slides
- Examples discussed and built by the teachers
- Lab activity
Assessment methods
- On-campus written exam
- Project (optional)
Teaching tools
- Web site of the professor
- Web page of the course with slides (PDF), other materials and useful links
Links to further information
https://apice.unibo.it/xwiki/bin/view/Course/Iag2627/
Office hours
See the website of Andrea Omicini
See the website of Giovanni Ciatto
SDGs
This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.